Está en la página 1de 1

Supongamos que tenemos un conjunto A y que en ese conjunto definimos una operacin, que llamaremos *, sobre los elementos

del conjunto. Si la operacin * tiene las propiedades: Interna para todo x e y, el elemento x * y pertenece al conjunto A asociativa x*(y*z) = (x*y)*z elemento neutro: x*1 = x elemento inverso: x*x' = 1 Ejemplo: Sea A el conjunto de los nmeros enteros (Z), y la operacin * sea la suma (+). Repasemos ahora la definicin: El conjunto de los nmeros enteros y la suma cumple la propiedad asociativa (dados varios nmeros, podemos sumarlos en cualquier orden) , el cero es el elemento neutro y todos los nmeros tienen inverso (el inverso del nmero a es -a), por lo tanto el conjunto de los nmeros enteros y la operacin suma tiene estructura de grupo. Tambin tiene estructura de grupo el conjunto de los nmeros reales (R) y la operacin multiplicacin. En cambio, el conjunto de los enteros positivos, Z , junto con la operacin suma, no tiene + estructura de grupo porque no hay elemento neutro (el cero no est dentro de Z ). Aunque incluysemos el cero tampoco tendra estructura de grupo porque no habra elemento inverso, + porque en Z nos estn los nmeros negativos. El conjunto de los enteros positivos, Z , junto con la operacin multiplicacin, no tiene estructura de grupo porque aunque existe elemento neutro (el 1) no hay inversos (porque seran nmero fraccionarios del tipo 1/n).
+ +