Captulo 1

La estructura de grupo abeliano

Si la gente no piensa que las matemticas son simples, es solo porque no se dan cuenta de
lo complicada que es la vida.
John von Neumann
Los grupos abelianos son las estructuras algebraicas fundamentales en la mayor parte del
lgebra abstracta1, y en particular en el lgebra lineal, la teora de mdulos2, lgebras, etc.
Con esta estructura como base se construyen otras estructuras con ms de una operacin, en
particular los anillos3, los dominios de integridad4, los campos y los espacios vectoriales5,
los mdulos, las lgebras asociativas y no asociativas6, lgebras de Lie7, de Grassmann8, de
Banach9, etc.
Notables excepciones de esta situacin son la teora de retculos 10, las algebras de Boole11,
de Heyting y en general las estructuras vinculadas con las lgicas no clsicas12.
El lgebra lineal es el estudio de algunas de estas estructuras algebraicas: los espacios
vectoriales y los mdulos. En este libro haremos nfasis en los espacios vectoriales. Las dos
estructuras son casos particulares de ensambles (va propiedad distributiva) de grupos
abelianos: en el primero se ensamblan campos con grupos abelianos y en el segundo anillos
con grupos abelianos. Los campos estn formados por dos grupos abelianos ensamblados y
los anillos son producto de ensamblar un grupo abeliano con un semigrupo.
De esta perspectiva, surge la importancia de estudiar los grupos abelianos, en particular sus
procedimientos de construccin; que resultan universales en el sentido de presentarse en otro
tipo de estructuras algebraicas. Entre esos procedimientos tenemos: construccin en
subconjuntos (subestructuras), en el conjunto de partes de una estructura, en el conjunto
cociente formado por una relacin de equivalencia definida sobre la estructura, en el producto
cartesiano de dos estructuras, por copia a travs de funciones biyectivas e inyectivas
1

Campos, Myriam, Garzn, Maximiliano, Prez, Jess Hernando y De Villamarn, Gilma (1990). Fundamentos
de lgebra Abstracta. Bogot : Universidad Nacional de Colombia.
2
Faccini Alberto. (1998). Module Theory. Basel: Springer.
3
Castro I. (1986). Temas de teora de cuerpos, teora de anillos y nmeros algebraicos. Bogot: Universidad
Nacional de Colombia.
4
Burton, David. (1970). A First Course in Rings and Ideals. Massachusetts: Addison-Wesley. p.p. 52-70.
5
Beutelspacher Albrecht (2014). Lineare Algebra. 8 Auflage. Wiesbaden: Springer. P.p. 59-139.
6
Kostrikin A. I., Shafarevich I.R. (1995). Algebra VI. Berlin: Springer Verlag.
7
Iachello Francesco (2006). Lie Algebras and applications. Berlin: Springer Verlag.
8
Browne John (2001). Grassmann Algebras. Melbourne: Swinbourne University of Technology.
9
Kaniuth Eberhard (2009). A course in conmutative Banach Algebras. New York: Springer.
10
Graetzer George. (1978). General Lattice Theory. Basel: Birkhauser Verlag.
11
Givant Steven, Halmos Paul. (2009). Introduction to boolean Algebras. New York: Springer.
12
Priest Graham. (2001). An Introduction to Non Classical Logic. Cambridge: Cambridge University Press

(isomorfismos y homomorfismos), en el conjunto de las funciones definidas de un conjunto

cualquiera sobre una estructura (un caso de particular importancia en lgebra lineal son los
espacios de matrices), construcciones a partir de otras estructuras, etc.

1.1. Definicin de grupo abeliano

Las estructuras algebraicas se caracterizan por sus propiedades; inicialmente se estudian las
ms conocidas, las propiedades que cumplen las operaciones bsicas (suma y multiplicacin)
de los nmeros naturales; esto es las propiedades asociativa, conmutativa y la de tener un
elemento idntico o neutro.
Lamentablemente las otras dos operaciones que se estudian en la educacin bsica, la
sustraccin y la divisin, no son operaciones13 en el sentido del lgebra moderna, pues no
estn definidas para todo par de nmeros naturales; pero hay una forma de verlas como una
suma y una multiplicacin respectivamente, incluyendo en el conjunto los inversos aditivos
y multiplicativos de sus elementos.
Si incluimos solo los inversos aditivos obtenemos el conjunto de los nmeros enteros (, +)
y si solo incluimos los inversos multiplicativos resulta el conjunto de los nmeros racionales
positivos (,), pero si incluimos los dos tipos de inversos obtenemos (, +) y ( {0},);
y en todos los casos la estructura que resulta es la de grupo abeliano cuya definicin ms
conocida es:
Definicin 1.1. Un grupo abeliano14 es una pareja (G, +) donde G es un conjunto y + es una
operacin binaria interna en G de manera que se cumplen las siguientes propiedades o
axiomas:
GA1. Asociativa: (x, y, z G) ((x + (y + z) = (x +y)+ z).
GA2. Existencia de elemento idntico: (e G) (x G )( x + e = e + x = x)
GA3. Existencia de elementos inversos: (x G)(y G)(x + y = y + x = e), donde e
es un elemento idntico cuya existencia garantiza GA2.
GA4. Conmutativa: (x, y G) (x + y = y + x).
Es habitual notar la operacin con el smbolo +, sin que el smbolo tenga algn significado,
ni relacin con la suma de los conjuntos numricos usuales. Si no hay lugar a confusin en
relacin con la operacin +, nos referimos al grupo abeliano (G, +) simplemente como G.
Notemos que el elemento e del que se hace referencia en GA2 es el mismo para todos los
elementos de G, pero el elemento y que menciona GA3 es uno para cada elemento x de G,

13

Una operacin binaria interna en un conjunto A es una funcin con dominio en el producto cartesiano AA
y codominio en A.
14
La definicin de grupo abeliano por medio de axiomas fue formulada inicialmente por Krnecker en 1870.
(Van der Waerden, (1985). A history of algebra. Berlin: Springer Verlag. P. 137). En 1878 Cayley introduce
la nocin de grupo abstracto y en 1882 Van Dick presenta la primera definicin explcita de esta nocin.
(Wussing H. (1984). The gnesis of the abstract concept of group.New York: Dover).

donde adems GA3 depende del axioma GA2, puesto que el elemento e de GA2 es el mismo
que aparece en GA3.
Algunas de las propiedades enunciadas nos facilitan la manipulacin de los elementos de G,
por ejemplo, la propiedad conmutativa nos permite despreocuparnos del orden en que
escribimos los elementos a operar; y la propiedad asociativa nos libera del uso de parntesis
y da lugar a la definicin sin ambigedad de la suma de tres o ms elementos (no
necesariamente diferentes). Por ejemplo, en un grupo abeliano (G, +) definimos x + y + z
como
x + y + z = x + (y + z) = (x + y) + z
o ms generalmente
1 + 2 + + = =1 .
que se conoce como propiedad asociativa generalizada y no depende de la posicin de los
parntesis, donde el smbolo de sumatoria =1 se define recursivamente para todo nmero
natural n como
i.

1=1 = 1

ii.

+1
=1 = =1 + +1 .

Podemos demostrar que una suma de dos sumandos donde cada sumando es a su vez una
suma puede verse como una suma de ms de dos sumandos eliminando los parntesis.
Teorema 1.1. Sea (, +) un grupo abeliano entonces para todo par de nmeros naturales n,
+
m se tiene que =1 +
=1 + = =1
Prueba
Sea n un nmero natural fijo pero arbitrario, hagamos induccin sobre m. Por la definicin
de sumatoria, la afirmacin es cierta para m = 1.
Supongamos que es cierta para m = r y probmosla para m = r + 1. Por la definicin de
sumatoria tenemos que

=1 + +1
=1 + = =1 + (=1 + + ++1 )

= (=1 + =1 + ) + ++1 por la propiedad asociativa

= (+
=1 ) + ++1 por hiptesis de induccin
= (++1
) por la definicin de sumatoria
=1

Observemos que para la prueba del teorema solo usamos la definicin de sumatoria y la
propiedad asociativa por el teorema es vlido para cualquier estructura que tenga una
operacin que cumpla la propiedad asociativa.
Del teorema 1.1 podemos deducir que una suma cualquiera puede verse como una suma de
dos sumandos:

= +
=1

=1

=+1

con m n, pues si cambiamos la variable k en el segundo sumando por m + j, la nueva

variable j debe empezar en 1, y como el lmite superior para k es n entonces j debe tener como
lmite superior n m, y al aplicar el teorema 1.1 obtenemos la igualdad,

= + +
=1

=1

=1

Esto significa que todas las sumas de los mismos elementos xi con i entre 1 y n son las mismas
y en consecuencia pueden omitirse los parntesis.
Todo esto parece muy esotrico, pero es necesario sofisticar un poco el lenguaje para ganar
en precisin y evitar ambigedades.
La propiedad asociativa est presente en todos los sistemas numricos usuales y de hecho por
s sola tiene gran inters, tanto que se ha desarrollado una teora para las estructuras
asociativas conocida como la teora de semigrupos15.
Un semigrupo (A, +) donde exista un elemento idntico lo llamamos un monoide y un
monoide (A, +) donde cada elemento tenga un elemento inverso lo llamamos un grupo.

Ejemplos
Son grupos abelianos:
a. (, +) donde es el conjunto de los nmeros enteros, + es la suma usual y el
elemento idntico es 0.
b. (, +) donde es el conjunto de los nmeros racionales, + es la suma usual y el
elemento idntico es 0.
c. ( ,) donde es el conjunto de los nmeros racionales diferentes de 0, es la
multiplicacin usual y el elemento idntico es 1.
15

Un semigrupo es una pareja (A, +) donde A es un conjunto y + es una operacin en A que cumpla la propiedad
asociativa. (Clifford A H, Preston G.B, (1977). The Algebraic Theory of Semigroups. Vol I. American
Mathematical Society).

d. (R, +) donde R es el conjunto de los nmeros reales, + es la suma usual y el

elemento idntico es 0.
e. (R*, ) donde R* es el conjunto de los nmeros reales diferentes de 0, es la
multiplicacin usual y el elemento idntico es 1.
f. (C, +) donde C es el conjunto de los nmeros complejos, + es la suma usual y el
elemento idntico es 0.
g. (C*, ) donde C* es el conjunto de los nmeros complejos diferentes de 0, es
la multiplicacin usual y el elemento idntico es 1.
h. (Zn, +) donde Zn es el conjunto de las clases de congruencia mdulo n con la suma
de congruencias, el elemento idntico es la clase de 0.
i. (Zp*, ) donde Zp* es el conjunto de las clases de congruencia mdulo p (p un
nmero primo) diferentes de 0 con la multiplicacin de congruencias, el elemento
idntico es la clase de 1.
No son grupos abelianos:
a. (N, +) donde N es el conjunto de los nmeros naturales y + es la suma usual; es
asociativa, conmutativa, el elemento idntico es 0, pero no todo elemento tiene
inverso aditivo, en particular 3.
b. (N*, ) donde N* es el conjunto de los nmeros naturales diferentes de 0 y es
la multiplicacin usual; es asociativa, conmutativa, el elemento idntico es 1, pero
no todo elemento tiene inverso multiplicativo, en particular 4.
c. ( , ^) donde es el conjunto de los naturales sin el cero y ^ es la operacin
potenciacin usual; no es asociativa, ni conmutativa, ni tiene elemento idntico.
d. (Z*, ) donde Z* es el conjunto de los nmeros enteros diferentes de 0 y es la
multiplicacin usual; es asociativa, conmutativa, el elemento idntico es 1, pero
no todo elemento tiene inverso multiplicativo, en particular 5.
e. (Z4*, ) donde Z4* es el conjunto de las clases de congruencia mdulo 4 diferentes
de 0 con la multiplicacin de congruencias; es asociativo, conmutativo, tiene
como elemento idntico la clase del 1, pero no todo elemento tiene inverso
multiplicativo, en particular la clase del 2.

Ejercicio
Cules de las siguientes estructuras son grupos abelianos? Los que no, por qu fallan?
a. El conjunto de los nmeros naturales con la multiplicacin (, ).

b. El conjunto de los nmeros enteros con la resta (, ), o con la multiplicacin

(,).
c. El conjunto de los nmeros racionales sin el cero con la divisin ( , /).
d. El conjunto de los nmeros reales con la resta (, ) o con la multiplicacin
(, ).
e. El conjunto de los nmeros complejos sin el cero con la divisin ( , /).
f. El conjunto de las clases de congruencia mdulo con con la multiplicacin
de congruencias ( ,).
g. Para un conjunto cualquiera , el conjunto de sus partes () con la unin
((),), con la interseccin ((),), con la diferencia ((), ) o con la
diferencia simtrica((), ).
h. En geometra plana la operacin construccin del punto medio que a cada par de
, y a la
puntos y de un plano , le asigna el punto medio del segmento
pareja (, ) le asigna el mismo punto .
i. El conjunto + de los reales positivos con la potenciacin (+ , ^).

1.2. Independencia de los axiomas

Cuando se enuncia un conjunto de axiomas uno de los requisitos que debe cumplir es que
sean independientes unos de otros, esto significa que no sea posible deducir uno de ellos de
los dems, y para demostrar que una propiedad P es independiente de las dems basta mostrar
un ejemplo (modelo) de una operacin donde se cumplan las otras propiedades y no se
cumpla la propiedad P, pues si P se pudiera deducir de las dems y las dems se cumplen
debera cumplirse P. Por ejemplo en la definicin de grupo abeliano, GA4 es independiente
de GA1, GA2 y GA3. La operacin * en el conjunto = {0, 1, 2, 3, 4, 5}, con elemento
idntico = 0 dada por la tabla 1.1 cumple16 GA1, GA2 y GA3, pero no GA4, pues
4 3 3 4.
*
0 1 2 3 4 5
0 0 1 2 3 4 5
1 1 0 5 4 3 2
2 2 4 0 5 1 3
3 3 5 4 0 2 1
4 4 2 3 1 5 0
5 5 3 1 2 0 4
Tabla 1.1.
16

Como la verificacin de una propiedad en un conjunto finito en general requiere numerosos clculos,
recurrimos a un software diseado por el Grupo de algebra y programado por Leonardo ngel que llamamos
lgebra finita versin 2.0.

De manera similar tenemos que GA1 es independiente de GA2, GA3 y GA4 como se muestra
en la operacin definida en {0, 1, 2} dada por la tabla 1.2; ya que no se cumple GA1 debido
a que 2 (1 1) (2 1) 1, pero podemos verificar que s se cumplen GA2, GA3 y GA4.
*

0
1
2

0
0
1
2

1
1
2
0

2
2
0
0

Tabla 1.2.

El conjunto de los nmeros naturales con la suma usual (, +) muestra que GA3 es
independiente de GA1, GA2 y GA4. Una estructura que cumpla estas tres ultimas
propiedades la llamamos un monoide conmutativo.
Por ltimo la operacin en G = {0, 1} dada por la tabla 1.3, cumple GA1 y GA4 pero no
satisface GA2, por supuesto al no cumplir esta ltima no tiene sentido pensar en que cumpla
GA3. Una estructura que cumpla GA1 y GA4 la llamamos un semigrupo conmutativo.
0
0 0
1 0

1
0
0

Tabla 1.3.

1.3.

Teoremas bsicos sobre grupos abelianos

Veamos algunas propiedades que se cumplen para cualquier grupo abeliano

independientemente del significado de sus elementos.
Teorema 1.2. Sea (G, +) un grupo abeliano. Para todo a, b, c G,
Si a = b entonces a + c = b + c y c + a = c + b
Prueba
Como + es una operacin en G, es una funcin con dominio GG y codominio G, por lo
tanto para todo a, b, c, d G, si (a, c) = (b, d), esto es, a = b y c = d entonces a + c = b + d;
en particular cuando c = d, obtenemos que a + c = b + c. Con un argumento similar tambin
se cumple que c + a = c + b.

Notemos que en la demostracin del teorema no usamos los axiomas de grupo abeliano, solo
la definicin de operacin; esto implica que el teorema 1.2 es vlido en cualquier conjunto
donde este definida una operacin, estas estructuras se conocen como grupoide17 o magma18.
Teorema 1.3. Sea (G, +) un grupo abeliano. El elemento idntico cuya existencia garantiza
GA2 es nico.
Prueba
Supongamos que existen dos elementos idnticos y , entonces
+ =

porque es elemento idntico

+ =

porque es elemento idntico

y como + es una funcin entonces = .

Como el elemento idntico en un grupo abeliano es nico, lo llamaremos 0.

La unicidad del elemento idntico no depende de los dems axiomas, por tanto en cualquier
grupoide con elemento idntico, este es nico.
Teorema 1.4. Sea (G, +) un grupo abeliano. Para todo elemento x G, el elemento cuya
existencia garantiza el axioma GA3 es nico.
Prueba
Para todo elemento a G el axioma GA3 garantiza la existencia de por lo menos un elemento
inverso ; supongamos que a tiene dos inversos diferentes y entonces,
= 0 +

Por ser 0 el elemento idntico

= ( + ) +

Por ser un inverso aditivo de a

= + ( + )

Por GA1

= + 0

Por ser un inverso aditivo de a

Por ser 0 el elemento idntico

Como para todo a G, el elemento inverso es nico lo llamaremos .

17

Ilse, D., Lehmann, I. &Schulz, W., (1984). Gruppoide und Funktionalgleichungen. Berln: VEB
DeutscherVerlag der Wissenschaften. p. 14.
18
El trmino magma fue introducido por Bourbaki N. (1970). lments de Mathmatique. Algbre. AI 1. Pars:
Hermann. La palabra grupoide tambin se usa en teora de categoras para aquellas donde todos los morfismos
son isomorfismos. (Brown R, Groupoids and Van Kampens theorem, Proc. London Math. Soc. (3) 17 (1967)
385-40.

Corolario 1.1. Sea (G, +) un grupo abeliano. Para todo a, b G, si

+ = 0 entonces = .
Notemos que la unicidad de los elementos inversos, en nuestra presentacin, solo requiere
de la propiedad asociativa19; en cualquier monoide si un elemento tiene inverso, este es nico.
En particular el teorema 1.4 y el corolario 1.1 valen en un grupo no abeliano, es decir una
estructura que cumple GA1, GA2, GA3 pero no GA4.
Teorema 1.5. Sea (G, +) un grupo abeliano. Para todo a G se tiene que
= ( ).
Prueba
Por el axioma GA3 y el teorema 1.4 sabemos que
( ) + = 0
y por el corolario 1.1,
= ( ).
Teorema 1.6. Sea (G, +) un grupo abeliano. Para todo a, b G

a = b si y solo si a = b.
Teorema 1.7. Sea (G, +) un grupo abeliano. Para todo a, b en G se tiene que
(a + b) = ( a) + ( b).
Prueba
Por el axioma GA3 y el teorema 1.4 tenemos que
a + ( a) = 0
y
b + ( b) = 0
por el teorema 1.2,
(a + ( a)) + (b + ( b)) = 0 + 0.
De acuerdo con los axiomas GA1, GA2 y GA4,
(a + b) + (( a)) + ( b)) = 0
Finalmente, por el corolario 1.1,
(a + b) = ( a) + ( b).

19

Por supuesto esto depende de la demostracin presentada, si en una demostracin alternativa usamos la
propiedad asociativa y la propiedad cancelativa, eventualmente conjeturamos que se requieren las dos.

Teorema 1.8. (Propiedad cancelativa). Sea (G, +) un grupo abeliano. Para todo a, b G
si a + b = a + c entonces b = c.
si b + a = c + a entonces b = c.
Prueba
Supongamos que
a+b=a+c
por el axioma GA3 y el teorema 1.4 existe ( a) G y por el teorema 1.2, sumamos ( a) en
ambos lados de la igualdad y obtenemos
( a) + (a + b) = ( a) + (a + c)
y por el axioma GA1
(( a) + a) + b = (( a) + a) + c
ahora, usamos el axioma GA3 para obtener:
0+b=0+c
y por el axioma GA2, concluimos que
b = c.
Por el axioma GA4 y el resultado anterior tenemos que si b + a = c + a entonces b = c.

Corolario 1.2. Sea (G, +) un grupo abeliano. Para todo a, b en G, la ecuacin a + x = b tiene
a lo ms una solucin.
Prueba: Si la ecuacin a + x = b no tiene solucin, ya acabamos. Si tiene, esta debe ser nica.
Para probarlo, supongamos que z y z son soluciones, entonces a + z = b = a + z y por la
propiedad cancelativa, teorema 1.8, z = z.

Definicin 1.2. Una estructura (D, *) donde para todo a, b en D, cada una de las ecuaciones
a * x = b y y * a = b tienen a lo ms una solucin se llama20 K-grupoide.
En un grupo abeliano si la ecuacin a + x = b tiene solucin, por el axioma GA4 la ecuacin
y + a = b tambin tiene una solucin y adems en los dos casos las soluciones son las mismas.
Y si la ecuacin a + x = b no tiene solucin, la ecuacin y + a = b tampoco tendr una
solucin. Luego podemos afirmar que todo grupo abeliano es un K-grupoide.
Sin embargo en un K-grupoide en general, puede suceder que una de las ecuaciones tenga
solucin y la otra no, o que las dos ecuaciones tengan solucin pero que estas sean diferentes,
por ejemplo si en N {0, 1} donde N es el conjunto de los nmeros naturales definimos la
20

Ilse, Lehmann y Schulz, (1984) p. 21.

operacin como x y = xy, tenemos que (N {0, 1}, ) es un K-grupoide, donde la ecuacin
3 x = 9 tiene como nica solucin x = 2 pero la ecuacin y 3 = 9 no tiene solucin. Tambin
se da que cada una de las ecuaciones 2 x = 64 y y 2 = 64 tiene una nica solucin pero
estas son diferentes, en este caso x = 6 y y = 8.
Al observar la prueba del corolario 1.2 notamos que solo usamos la propiedad cancelativa,
esto nos llev a estudiar la propiedad cancelativa en los K-grupoides y concluir que todo Kgrupoide es cancelativo.
Teorema 1.9. Sea (D, *) un K-grupoide entonces se cumple la propiedad cancelativa.
Teorema 1.10. Sea (G, +) un grupo abeliano. Para todo a, b en G, la ecuacin a + x = b tiene
al menos una solucin.
Prueba.
Si hacemos x = ( a) + b, vemos que es solucin de la ecuacin a + x = b, pues
a +(( a) + b) =(a +( a)) + b = 0 + b = b.

Definicin 1.3. Una estructura (B, *) donde para todo a, b en B, cada una de las ecuaciones
a * x = b y y * a = b tienen al menos una solucin se llama21 D-grupoide.

Ejemplo
Sea (Z, *) donde Z es el conjunto de los nmeros enteros, para todo a, b en Z definimos
a * b = |a b|
(Z, *) es un D-grupoide, pues para todo a, b en Z, las ecuaciones = y =
tienen soluciones: x1 = a + b, x2 = a b, y1 = a + b, y2 = a b.
Como vimos en el ejemplo, en los D-grupoides en general las ecuaciones + = y +
= pueden tener mas de una solucin, pero en el caso de los grupos abelianos, por el
corolario 1.2 y el teorema 1.10, estas ecuaciones solo tienen una solucin, es decir, se cumple
que:
Teorema 1.11. (Propiedad de Hilbert22). Sea (G, +) un grupo abeliano. Para todo ,
las ecuaciones + = y + = tienen solucin nica. En nuestro caso, como la
operacin es conmutativa, las dos ecuaciones se reducen a una.

21

Ilse, Lehmann y Schulz, (1984). p. 19.

Esta propiedad fue presentada como parte de una axiomatizacin para los nmeros reales en el libro: Hilbert,
D. (1953). Fundamentos de la Geometra. Madrid: Publicaciones del Instituto Jorge Juan de Matemticas.
[Traduccin de la sptima edicin alemana por Francisco Cebrian]. p.p. 56-58.
22

Definicin 1.4. En un grupo abeliano (G, +) la nica solucin a la ecuacin + = la

llamamos b a.
Definicin 1.5. La propiedad de Hilbert permite definir dos operaciones en G, una que la
llamamos sustraccin o resta donde a cada pareja de elementos (a, b) de GG le corresponde
a b.
Definicin 1.6. La otra operacin en G que definimos usando la propiedad de Hilbert es la
sustraccin o resta recproca donde a cada pareja de elementos (a, b) de GG le corresponde
b a, la notamos a b = b a.
Definicin 1.7. Una estructura (B, *) donde para todo a, b en B, cada una de las ecuaciones
a * x = b y y * a = b tienen una nica solucin se llama Cuasigrupo23.
Cabe resaltar que en un cuasigrupo en general el hecho de que las ecuaciones mencionadas
tengan una nica solucin, no implica que dichas soluciones sean las mismas, por ejemplo si
en el conjunto de los nmeros racionales Q definimos la operacin como x y = 2x + y,
tenemos que (Q, ) es un cuasigrupo donde las ecuaciones 6 x = 14 y y 6 = 14 tienen como
una nica solucin a x = 2 y y = 4 respectivamente.
Hasta ahora hemos demostrado que en los grupos abelianos se cumple la propiedad
cancelativa y con ella probamos la propiedad de Hilbert; pero podemos invertir el orden de
la presentacin y demostrar primero la propiedad de Hilbert y usarla para probar la propiedad
cancelativa; puesto que si (G, +) satisface esta propiedad, es un K-grupoide y el teorema 1.9
garantiza que se cumple la propiedad cancelativa.
Teorema 1.12. (Asociativa cclica I). Sea (G, +) un grupo abeliano. Para todo a, b, c G,
+ ( + ) = + ( + )
Prueba.
Por el axioma GA1 tenemos que + ( + ) = ( + ) + y por el axioma GA4 se cumple
que ( + ) + = + ( + ), por tanto concluimos que
+ ( + ) = + ( + ).

Teorema 1.13. (Asociativa cclica II). Sea (G, +) un grupo abeliano. Para todo , , ,
+ ( + ) = ( + ) +
Teorema 1.14. (Abel-Grassmann I). Sea (G, +) un grupo abeliano. Para todo , , ,
+ ( + ) = + ( + )

23

El concepto fue introducido B. A. Hausmann y O. Ore en 1937. (Ilse, Lehmann y Schulz, (1984). p. 22.).

Teorema 1.15. (Abel-Grassmann II). Sea (G, +) un grupo abeliano. Para todo , , ,
+ ( + ) = ( + ) +
Teorema 1.16. (Bisimetra). Sea (G, +) un grupo abeliano. Para todo , , , ,
( + ) + ( + ) = ( + ) + ( + )
Teorema 1.17. (Propiedad del producto reducido). Sea (G, +) un grupo abeliano. Para todo
, , , se cumple que + ( + ) = + ( + ).
Teorema 1.18. (Permutable a derecha). Sea (G, +) un grupo abeliano. Para todo , ,
, se cumple que + ( + ) = ( + ) + .
Teorema 1.19. (Permutable a izquierda) Sea (G, +) un grupo abeliano. Para todo , ,
, se cumple que ( + ) + = + ( + ).
Teorema 1.20. (Elasticidad) Sea (G, +) un grupo abeliano. Para todo , , se cumple
que + ( + ) = ( + ) + .
Teorema 1.21. Sea (G, +) un grupo abeliano. Para todo , , , , se cumple que
( + ) ( + ) = ( ) + ( ).
En las demostraciones de las propiedades asociativa cclica I, asociativa cclica II, AbelGrassmann I, Abel-Grassmann II, bisimetra, producto reducido, permutable a derecha y
permutable a izquierda solo se requiere de las propiedades asociativa y conmutativa, por tanto
todo semigrupo conmutativo cumple dichas propiedades.

Ejercicios
1. Demostrar los teoremas 1.6, 1.9, 1.13, 1.14, 1.15, 1.16, 1.17, 1.18, 1.19, 1.20 y 1.21.
2. Demostrar que en un grupoide donde se cumpla la propiedad de Abel-Grassmann I
tambin se cumple la bisimetra.
3. Muestre un ejemplo donde se cumpla la bisimetra y no se cumpla la propiedad de
Abel-Grassmann I.
4. Demostrar que en todo semigrupo se cumple la propiedad elstica.

1.4. Otras caracterizaciones de los grupos abelianos

La caracterizacin de los grupos abelianos dada por los axiomas GA1, GA2, GA3 y GA4 es
la ms conocida pero no es la nica, una manera diferente de presentarlos es debilitando las
condiciones de GA2 y GA3, exigiendo solo que haya elemento idntico a izquierda (o a
derecha) y que haya solo elementos inversos a izquierda (o a derecha). Otras menos usuales
consisten en cambiar algunos axiomas por otros que permitan una definicin equivalente,
aqu presentamos algunas posibilidades.

1.4.1. Debilitando los axiomas iniciales

Como mencionamos podemos mantener los axiomas GA1 y GA4, y debilitar los axiomas
GA2 y GA3 de la siguiente manera:
GA2 Existencia de elemento idntico a Izquierda: (0 G) (x G )(0 + x = x)
GA3. Existencia de elementos inversos a Izquierda: (x G)(y G)( y + x = 0),
donde 0 es un elemento cuya existencia garantiza GA2.
GA2 Existencia de elemento idntico a Derecha: (0 G) (x G )(x+0 = x)
GA3. Existencia de elementos inversos a Derecha: (x G)(y G)(x+y = 0),
donde 0 es un elemento cuya existencia garantiza GA2.
Es claro que GA2 implica GA2 y GA2 y que GA3 implica GA3y GA3. Ahora por GA4
se tendra que GA2 GA2 implican GA2, y GA3 GA3 implican GA3. Sin embargo,
es interesante ver que GA2 y GA3 implican GA2 y GA3 usando la propiedad asociativa y
no la conmutativa, pero antes de probarlo, observemos que en la prueba del teorema 1.3 solo
usamos el hecho de que es idntico a derecha y de que es idntico a izquierda para
demostrar la unidad del neutro, por lo que se tiene el siguiente resultado:
Corolario 1.3. Sea (,) es un grupoide con elemento idntico a derecha y elemento
idntico a izquierda entonces = .
Teorema 1.22. Si (G, *) es un semigrupo con un elemento idntico a izquierda y elementos
inversos a izquierda para cada elemento de G, entonces (G, *) es un grupo24.
Prueba.
Por GA2 existe idntico a izquierda. Sea a en G, luego por GA3 existe p en G tal que
p * a = e y existe d en G tal que d * p = e. Luego tenemos que
(d * p) * a = e * a = a
Y de aqu obtenemos que d * e = d * (p * a) = (d * p) * a = a. Por otro lado
a=(d * p) * a = d * (p * a) = d * e = d * (e * e) = (d * e) * e = a * e
Por tanto a * e = a y como esto se cumple para todo a en G, tenemos que e es elemento
idntico a derecha, esto es e es elemento idntico y por el corolario 1.3 concluimos que es
nico.
Ahora bien, tambin se cumple que
= = ( ) = ( ) = =
24

Zassenhaus Hans. (1999). The Theory of Groups. New York: Dover. pag.1.

Por tanto = , luego p es inverso a izquierda y a derecha de a; en consecuencia para

todo el inverso a izquierda tambin es inverso a derecha, entonces (,) es un grupo

Como 2, GA3 y 1 implican 2 3 y adems tenamos que 3 y 2 implican

2 y 3, podemos concluir que un grupo abeliano es una pareja (G, +) donde G es un
conjunto y + es una operacin que cumple las siguientes propiedades:
GA1. Asociativa: (x, y, z G) ((x + (y + z) = (x +y)+ z).
GA2 Existencia de elemento idntico a Izquierda: (0 G) (x G )(0 + x = x)
GA3. Existencia de elementos inversos a Izquierda: (x G)(y G)( y + x = 0),
donde 0 es un elemento cuya existencia garantiza GA2.
GA4. Conmutativa: (x, y G) (x + y = y + x).
Por argumentos similares podemos caracterizar los grupos abelianos como:
GA1. Asociativa: (x, y, z G) ((x + (y + z) = (x +y)+ z).
GA2 Existencia de elemento idntico a Derecha: (0 G) (x G )(x + 0 = x)
GA3. Existencia de elementos inversos a Derecha: (x G)(y G)(x + y = 0),
donde 0 es un elemento cuya existencia garantiza GA2.
GA4. Conmutativa: (x, y G) (x + y = y + x).

1.4.2. Sustituyendo algunos axiomas

Otra estrategia en busca de nuevas caracterizaciones de grupos abelianos es intercambiar o
sustituir algunos de los axiomas que estn en la definicin 1.1 por otras propiedades, de
manera que estas nuevas propiedades al mezclarse con las que quedan fijas impliquen los
axiomas de grupo abeliano que estamos reemplazando.
1.4.2.1 Sustituyendo GA1 y GA4.
En la definicin 1.1 de grupo abeliano podemos sustituir las propiedades asociativa y
conmutativa por alguna de las siguientes propiedades: asociativa cclica I, asociativa cclica
II, Abel-Grassmann I, Abel-Grassmann II, bisimetra, producto reducido, permutable a
derecha o permutable a izquierda; ya que cada una de estas combinada con GA2 implican
GA4 y GA1, veamos dos ejemplos.
Teorema 1.23. Sea (A, *) un grupoide con elemento idntico , donde cumple la propiedad
asociativa cclica I, entonces * cumple las propiedades asociativa y conmutativa.
Prueba
Por hiptesis (A, *) cumple la propiedad asociativa cclica I, esto es, para todo , , se
tiene que:
( ) = ( )

En particular, si a = e entonces ( ) = ( ) y por tanto = , lo que

significa que la operacin * es conmutativa.
Ahora, como se cumple que ( ) = ( ) y * es conmutativa entonces:
( ) = ( ) ,
lo que significa que la operacin * es asociativa.

Por el teorema 1.22 tenemos que la asociativa cclica I que llamaremos 1 y 2 implican
GA1 y GA4; y por la prueba del teorema 1.12 sabemos que GA1 y GA4 implican 1,
luego se tiene que un grupo abeliano es una pareja (G,*) donde G es un conjunto y * es una
operacin que cumple las siguientes propiedades:
GA1: Asociativa cclica I: (, ) ( ( ) = ( ))
GA2: Existencia de elemento idntico: ( ) ( : = = )
GA3: Existencia de elementos inversos: ( )( )( = = ) donde
es un elemento idntico cuya existencia garantiza GA2.
Teorema 1.24. Sea (A,*) un grupoide con elemento idntico e donde la operacin * cumple
la propiedad bisimtrica, entonces * es asociativa y conmutativa25.
Prueba
Por hiptesis (A, *) cumple la propiedad bisimtrica, esto es, para todo , , , se tiene
que:
( ) ( ) = ( ) ( )
Ahora si hacemos = = entonces ( ) ( ) = ( ) ( ) y como e es
elemento idntico, = , lo que significa que la operacin * es conmutativa.
Por otro lado, si = entonces ( ) ( ) = ( ) ( ) y por tanto
( ) = ( ) , lo que significa que la operacin * es asociativa.

Por los teoremas 1.16 y 1.24 se tiene que un grupo abeliano es una pareja (G, *) donde G es
un conjunto y * es una operacin que cumple las siguientes propiedades:
GA1 Bisimtrica: (x, y, z, u G) ((x * y)*(z * w) = (x * z)*(y * w)
GA2. Existencia de elemento idntico: (e G)(x G : x * e = e * x = x)
GA3. Existencia de elementos inversos: (x G)(y G)(x * y = y * x = e), donde
es un elemento idntico cuya existencia garantiza GA2.
25

Debemos tener cuidado con las afirmaciones hechas, la propiedad bisimtrica se deduce de las propiedades
asociativa y conmutativa pero la afirmacin recproca no es cierta, por ejemplo la operacin construccin del
punto medio en el plano es bisimtrica pero no asociativa, y la sustraccin en los nmeros enteros es bisimtrica
pero no conmutativa, ni asociativa.

Los otros casos podemos resumirlos en el siguiente teorema:

Teorema 1.25. Un grupoide (A,*) que satisfaga los axiomas GA2, GA3 y alguna de las
propiedades: asociativa cclica II, Abel-Grassmann I, Abel-Grassmann II, producto reducido,
permutable a derecha o permutable a izquierda, es un grupo abeliano.

Ejercicios
1. Demuestre la independencia entre las propiedades GA2, GA3 y GA1.
2. Demuestre la independencia entre las propiedades GA2, GA3 y GA1.
3. Demuestre el teorema 1.25

1.4.2.2. Sustituyendo GA2 y GA3.

Se puede sustituir GA2 y GA3 en la definicin 1.1 por la propiedad de Hilbert y obtener otra
caracterizacin de grupo abeliano, debido al teorema 1.11 y al siguiente teorema.
Teorema 1.26. Si (G, +) es un cuasigrupo conmutativo y asociativo es un grupo abeliano26
en el sentido de la definicin 1.1.
Prueba
Como (G, +) es un cuasigrupo, para todo la ecuacin + = tiene solucin nica
que llamaremos , es decir, + = ; adems por la propiedad conmutativa + =
+ = para todo . Ahora sea , entonces sustituyendo y por la propiedad
asociativa, tenemos que:
+ = ( + ) + = + ( + )
Por el teorema 1.9, (G, +) es cancelativo y en consecuencia = + . Luego, + =
= + , y nuevamente por la propiedad cancelativa, concluimos que = . Como esta
argumentacin es vlida para todo , se cumple que es el elemento idntico de G, que
llamaremos e.
Falta probar que cada elemento de G tiene un elemento inverso, pero esto se tiene ya que
para todo la ecuacin + = , donde es el elemento idntico de G, tiene solucin;
adems por la propiedad conmutativa a + x = e = x + a. Por tanto (G, +) es un grupo abeliano.

De acuerdo con lo anterior, tenemos que un grupo abeliano es una pareja (G, *) donde G es
un conjunto y * es una operacin que cumple las siguientes propiedades:
26

Hilbert en 1900 incluy la existencia de elemento idntico en los axiomas que definen la suma de los nmeros
reales, pero luego afirma que dicha existencia se deduce de los dems p. 247. Tarski en 1938 lo define como
un cuasigrupo asociativo y conmutativo (Tarski, Alfred. (1938). Ein Beitrag zur Axiomatik der Abelschen
Gruppen, Fundamenta Mathematicae 30, 253256).

GA1 Asociativa: (x, y, z G) ((x * (y * z) = (x * y)* z).

GA2. Para todo x, y G, la ecuacin + = tiene solucin nica.
GA4. Conmutativa: (x, y G) (x * y = y * x).
En este ocasin tambin se tiene la independencia entre las propiedades G1, G4 y G2. Por
ejemplo la operacin que indica la tabla 1.4 muestra que G4 es independiente de G1 y G2.

0
1
2
3
4
5

0
0
1
2
3
4
5

1
1
0
4
5
2
3

2
2
5
0
4
3
1

3
3
4
5
0
1
2

4
4
3
1
2
5
0

5
5
2
3
1
0
4

Tabla 1.4.

Y la operacin que muestra la tabla 1.5 no cumple G1 pero satisface G4 y G2.

0
1
2

0
1
0
2

1
0
2
1

2
2
1
0

Tabla 1.5.

Por ltimo, (N, +) cumple G1 y G4 pero no satisface G2.

La primera condicin del teorema 1.26 puede debilitarse dando lugar al teorema 1.27.
Teorema 1.27. Si (G, +) es un D-grupoide asociativo, entonces es un grupo.
Prueba
Para todo a G existen y en G tales que
a * = a y * a = a

(1)

Sea b G, existen x y y en G tales que

a*x=b

y y*a=b

(2)

Luego,
* b = * (a * x)
= ( * a) * x
=a*x
=b

Por (2)
Por la propiedad asociativa
Por (1)
Por (2)

Tambin tenemos que

* = (y * a) *
= y * (a * )
=y*a
=b

Por (2)
Por la propiedad asociativa
Por (1)
Por (2)

Como este razonamiento es vlido para todo b G, es idntico a derecha y es idntico

a izquierda, luego por el corolario 1.3, = y este es el elemento idntico de G que
llamaremos e.
Adems, para cada elemento b G la ecuacin = e tiene solucin, lo que implica que
para todo existe un elemento inverso a izquierda y por el teorema 1.22, (G, +) es un
grupo.

Por el teorema 1.27 y el teorema 1.10 tenemos que un grupo abeliano es una pareja (G, *)
donde G es un conjunto y * es una operacin que cumple las siguientes propiedades:
GA1 Asociativa: (x, y, z G) ((x * (y * z) = (x * y)* z).
GA2 Para todo x, y G, cada una de las ecuaciones = y = tiene al menos
una solucin.
GA4. Conmutativa: (x, y G) (x * y = y * x).
1.4.2.3. Sustituyendo los cuatro axiomas.
Finalmente, al revisar los resultados anteriores surge, de manera natural, la idea de sustituir
todos los axiomas dados en la definicin 1.1 para encontrar otras caracterizaciones de los
grupos abelianos, obteniendo los teoremas que se enuncian a continuacin.
Teorema 1.28. Un cuasigrupo (G, +) asociativo cclico I es un grupo abeliano.
Teorema 1.29. Un cuasigrupo (G, +) asociativo cclico II es un grupo abeliano.
Teorema 1.30. Un cuasigrupo (G, +) que cumple la propiedad de Abel-Grassmann II es un
grupo abeliano.
Teorema 1.31. Un cuasigrupo (G, +) que cumple la propiedad del producto reducido es un
grupo abeliano.
Sin embargo al estudiar las propiedades bisimtrica, Abel-Grassman I y permutable a
derecha, encontramos que un cuasigrupo con alguna de esas propiedades no es un grupo
abeliano, ejemplo de esto lo constituye la resta en los nmeros enteros, que cumple estas
propiedades pero no es grupo abeliano.

Ejercicio
Demostrar los teoremas 1.28, 1.29, 1.30 y 1.31.