Capítulo 1

La estructura de grupo abeliano

“Si la gente no piensa que las matemáticas son simples, es solo porque no se dan cuenta de
lo complicada que es la vida”.
John von Neumann
Introducción
Los grupos abelianos son las estructuras algebraicas fundamentales en la mayor parte del
álgebra abstracta1, y en particular en el álgebra lineal, la teoría de módulos2, álgebras, etc.

Con esta estructura como base se construyen otras estructuras con más de una operación3,
en particular los anillos4, los dominios de integridad, los campos y los espacios vectoriales,
los módulos, las álgebras asociativas y no asociativas5, álgebras de Lie, de Grassmann, de
Banach, etc.

El álgebra lineal es el estudio de algunas de estas estructuras algebraicas: los espacios

vectoriales y los módulos. En este libro haremos énfasis en los espacios vectoriales; ambos
son casos particulares de ensambles (vía propiedad distributiva) de grupos abelianos, en el
primero se ensamblan campos con grupos abelianos y en el segundo anillos con grupos
abelianos.

Los campos están formados por dos grupos abelianos ensamblados y los anillos son
producto de ensamblar un grupo abeliano con un semigrupo. De aquí la importancia de
estudiar la estructura de los grupos abelianos.

Adicionalmente, como pretendemos ser constructivos desde el punto de vista matemático,

debemos estudiar algunos procedimientos de construcción de estructuras algebraicas, que
también son universales, (incluso para otros tipos de estructuras): construcción en
subconjuntos (subestructuras), en el conjunto de partes de una estructura, en el conjunto
cociente formado por una relación de equivalencia definida sobre la estructura, en el
producto cartesiano de dos estructuras, por copia a través de funciones biyectivas y no
biyectivas (isomorfismos y homomorfismos), en el conjunto de las funciones definidas de

1
Campos, Myriam , Garzón, Maximiliano, Pérez, Jesús Hernando y de Villamarín, Gilma (1990).
Fundamentos de Álgebra Abstracta. Bogotá : Universidad Nacional de Colombia.
2
Hartley, B; Hawks, T. Rings, Modules and linear algebra, Chapman and Hall, London
3
Notables excepciones de esta situación son la teoría de retículos, las algebras de Boole, de Heyting y en
general las estructuras vinculadas con las lógicas.
4
Castro I. (1986). Temas de teoría de cuerpos, teoría de anillos y números algebraicos. Bogotá: Universidad
Nacional de Colombia.
5
Kostrikin A. I., Shafarevich I.R. (1995). Algebra VI. Berlin: Springer Verlag.
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. Definición de grupo abeliano

Las operaciones algebraicas se caracterizan por sus propiedades; inicialmente se estudian
las más conocidas, las propiedades que cumplen las operaciones básicas de los números
naturales, la suma y la multiplicación; esto es las propiedades asociativa, conmutativa y la
de tener un elemento idéntico o neutro.

Lamentablemente las otras dos operaciones que se estudian en la escuela, la sustracción y la

división, no son operaciones6 en el sentido del álgebra moderna, pues no están definidas
para todas las parejas de números naturales; pero hay una forma de incluirlas en la suma y
la multiplicación respectivamente; el truco está en convertir la sustracción o la división
usuales en una suma o una multiplicación respectivamente, incluyendo en los conjuntos los
inversos aditivos y multiplicativos respectivamente.

La estructura que se forma es la de grupo abeliano cuya definición más conocida es:

Definición 1. Un grupo abeliano7 es una pareja (G, +) donde G es un conjunto y + es una

operación en G de manera que se cumplen las siguientes propiedades:

GA1. Asociativa: (∀x, y, z∈ G) ((x + (y + z) = (x + y)+ z).

GA2. Existencia de elemento idéntico: (∃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 idéntico cuya existencia garantiza GA2.
GA4. Conmutativa: ∀x, y ∈ G se tiene que x + y = y + x.

Es habitual notar la operación con el símbolo +, sin que el símbolo tenga algún significado,
ni relación con la suma de los conjuntos numéricos usuales. Si no hay lugar a confusión en
relación con la operación +, nos referimos al grupo abeliano (G, +) simplemente como G.

La propiedad conmutativa nos permite despreocuparnos por el orden en que escribimos los
elementos a operar.

La propiedad asociativa nos libera del uso de paréntesis y da lugar a la definición sin
ambigüedad de la suma de tres o más elementos (no necesariamente diferentes); por
ejemplo, en un grupo abeliano (G, +),

x + y + z = x + (y + z) = (x + y) + z

6
Una operación binaria interna en un conjunto A es una función con dominio en el producto cartesiano A×A
y codominio en A.
7
La definición de grupo abeliano por medio de axiomas fue formulada inicialmente por Krönecker en 1870.
(Van der Waerden, (1985). A history of algebra. Berlin: Springer Verlag. P. 137). En 1878 Cayley introduce
la noción de grupo abstracto y en 1882 Van Dick presenta la primera definición explícita de esta noción.
(Wussing H. (1984). The génesis of the abstract concept of group.New York: Dover).
o más generalmente
!
𝑥! + 𝑥! +   … + 𝑥! = !!! 𝑥! .

que no depende de la posición de los paréntesis y se conoce como propiedad asociativa

generalizada.

El símbolo se define recursivamente para todo número natural n como

!
i. !!! 𝑥! = 𝑥!
!!! !
ii. !!! 𝑥! = !!! 𝑥! +   𝑥!!! .
! ! !!!
Teorema 1. Para todo número natural n, m se tiene que !!! 𝑥! + !!! 𝑥!!! = !!! 𝑥!    

Prueba

Sea n un número natural fijo pero arbitrario, hagamos inducción sobre m. Por definición la
afirmación es cierta para m = 1.

Supongamos que es cierta para m = r y probémosla para m =r + 1.

! !!! ! !

𝑥! + 𝑥!!! =   𝑥! + 𝑥!!! +   𝑥!!!!!  

!!! !!! !!! !!!

! !

= 𝑥! + 𝑥!!!     +   𝑥!!!!!
!!! !!!

!!!

= 𝑥!   +   𝑥!!!!!
!!!
!!!!!

= 𝑥!
!!!

∎
Una suma cualquiera puede verse como una suma de dos sumandos:
! ! !

𝑥! = 𝑥! + 𝑥!
!!! !!! !!!!!

y si cambiamos la variable k en el segundo sumando por m + j, la nueva variable j debe

empezar en 1, y como el límite superior para k es n entonces j debe tener como límite
superior n – m, y la suma queda
 ! ! !!!

𝑥! =   𝑥! + 𝑥!!!
!!! !!! !!!

y podemos aplicar el teorema 1 para obtener la igualdad; 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 paréntesis.

Notemos que el elemento e de GA2 es uno para todos los elementos de G, pero el elemento
y de GA3 es uno para cada elemento x de G.

Una pareja (A, +) donde A es un conjunto y + es una operación en A que cumpla la

propiedad asociativa lo llamamos un semigrupo.

El axioma GA3 depende del axioma GA2, puesto que el elemento idéntico que aparece en
GA2 es el mismo que aparece en GA3.

Un semigrupo (A, +) donde exista un elemento idéntico lo llamamos un monoide y un

monoide (A, +) donde cada elemento tenga un elemento inverso lo llamamos un grupo.

Ejemplos

Son grupos abelianos:

a. (Z, +) donde Z es el conjunto de los números enteros, + es la suma usual y el

elemento idéntico es 0.

b. (Q, +) donde Q es el conjunto de los números racionales, + es la suma usual y el

elemento idéntico es 0.

c. (Q*, ×) donde Q*es el conjunto de los números racionales diferentes de 0, × es

la multiplicación usual y el elemento idéntico es 1.

d. (R, +) donde Res el conjunto de los números reales, + es la suma usual y el

elemento idéntico es 0.

e. (R*, ×) donde R* es el conjunto de los números reales diferentes de 0, × es la

multiplicación usual y el elemento idéntico es 1.

f. (C, +) donde Ces el conjunto de los números complejos, + es la suma usual y el

elemento idéntico es 0.

g. (C*, ×) donde C* es el conjunto de los números complejos diferentes de 0, × es

la multiplicación usual y el elemento idéntico es 1.
 h. (Zn, +) donde Zn es el conjunto de las clases de congruencia módulo n con la
suma de congruencias, el elemento idéntico es la clase de 0.

i. (Zp*, ×) donde Zp* es el conjunto de las clases de congruencia módulo p (p un

número primo) diferentes de 0 con la multiplicación de congruencias, el
elemento idéntico es la clase de 1.

No son grupos abelianos:

a. (N, +) donde N es el conjunto de los números naturales y + es la suma usual; es

asociativa, conmutativa, el elemento idéntico es 0, pero no todo elemento tiene
inverso aditivo, en particular 3.

b. (N*, ×) donde N* es el conjunto de los números naturales diferentes de 0 y × es

la multiplicación usual; es asociativa, conmutativa, el elemento idéntico 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 operación

potenciación usual; no es asociativa, ni conmutativa, ni tiene elemento idéntico.

d. (Z*, ×) donde Z*es el conjunto de los números enteros diferentes de 0 y × es la

multiplicación usual; es asociativa, conmutativa, el elemento idéntico es 1, pero
no todo elemento tiene inverso multiplicativo, en particular 5.

e. (H*, ×) donde H*es el conjunto de los números cuaternios8 diferentes de

(0, 0, 0, 0) y × es la multiplicación; es asociativa, el elemento idéntico es
(1, 0, 0, 0) todo elemento tiene inverso multiplicativo, pero no es conmutativa.

f. (Rn*, +) donde Rn * es el conjunto de las n-plas de números reales diferentes de

(0,0, …, 0) con la multiplicación componente a componente; es asociativa,
conmutativa, el elemento idéntico es (1, 0, …, 0), pero no todo elemento tiene
inverso multiplicativo, en particular (0, 2, 0,…, 0).

Ejercicio

¿Cuáles de las siguientes estructuras son grupos abelianos? Los que no, ¿por qué fallan?

a. El conjunto ℕ de los números naturales con la multiplicación ℕ, ⋅ .

b. El conjunto ℤ de los números enteros con la resta ℤ, − , o con la multiplicación

(ℤ,⋅).

c. El conjunto ℚ∗ de los números racionales sin el cero con la división (ℚ∗ , /).

8
Conway John y Smith Derek. (2003). On Quaternions and octonions: their Geometry, Arithmetic and
Symmetry. Natick Massachusetts: A K Peters Ltda.
 d. El conjunto ℝ de los números reales con la resta ℝ, − o con la multiplicación
(ℝ,  ⋅).

e. El conjunto ℂ∗ de los números complejos sin el cero con la división (ℂ∗ , /).

f. El conjunto ℤ! de las clases de congruencia módulo 𝑛 con con la multiplicación

de congruencias ℤ! ,⋅ .

g. Para un conjunto cualquiera 𝐴, el conjunto de sus partes 𝓅(𝐴) con la unión

(𝓅 𝐴 ,∪), con la intersección (𝓅 𝐴 ,∩), con la diferencia (𝓅 𝐴 , −) o con la
diferencia simétrica(𝓅 𝐴 , ∆).

h. En geometría plana la operación construcción del punto medio que a cada par de
puntos 𝑃 y 𝑄 de un planoα, le asigna el punto medio del segmento 𝑃𝑄, y a la
pareja (𝑃, 𝑃) le asigna el mismo punto 𝑃.

i. El conjunto ℝ! de los reales positivos con la potenciación

1.1.1. Independencia de las propiedades que definen un grupo abeliano

Uno de los requisitos que debe cumplir un conjunto de axiomas es que sean independientes
unos de otros, esto significa que no sea posible deducir uno de ellos de los demás, y para
demostrar que una propiedad P es independiente de las demás basta mostrar un ejemplo
(modelo) de una operación donde se cumplan las otras propiedades y no se cumpla la
propiedad P. Si P se pudiera deducir de las demás y las demás se cumplen debería
cumplirse P.

Por ejemplo en la definición de grupo abeliano, GA4 es independiente de GA1, GA2 y

GA3. La operación * en el conjunto 𝐺 = 0, 1, 2, 3, 4, 5 , con elemento idéntico  𝑒 = 0
dada por siguiente tabla:

* 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

Cumple GA1, GA2 y GA3 (como la verificación de una propiedad en un conjunto finito en
general requiere numerosos cálculos, recurrimos a un software diseñado por el Grupo de
algebra y programado por Leonardo Ángel que llamamos Álgebra finita versión 1.0. pero
no GA4, pues 4 ∗ 3 ≠ 3 ∗ 4.
De manera similar tenemos que GA1 es independiente de GA2, GA3 y GA4 como se
muestra en la siguiente operación en 0,1,2 :

* 0 1 2
0 0 1 2
1 1 2 0
2 2 0 0

No se cumple GA1 ya que por ejemplo 2 ∗ 1 ∗ 1 ≠ 2 ∗ 1 ∗ 2, pero podemos verificar

que sí se cumplen GA2, GA3 y GA4.

El conjunto de los números naturales con la suma usual (ℕ, +) muestra que GA3 es
independiente de GA1, GA2 y GA4. Una estructura que cumpla estas tres propiedades la
llamamos un monoide conmutativo.

Por último la operación ⊥ en G = {0, 1} dada por

⊥ 0 1
0 1 0
1 1 0

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.

1.1.2. Teoremas básicos sobre grupos abelianos

Hay propiedades que se cumplen para cualquier grupo abeliano independientemente del
significado de sus elementos, veamos:

Teorema 2. Sea (G, +) un grupo abeliano entonces para todo a, b, c ∈ G si

Si a = b entonces a + c = b + c y c + a = c + b
Prueba

Como + es una operación en G, es una función con dominio G×G 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 como c = d, obtenemos la conclusión. También se cumple que
c + a = c + b, con un argumento similar.
∎
Notemos que la demostración del teorema no usamos los axiomas de grupo abeliano, solo
la definición de operación; esto implica que el teorema 1 es válido en cualquier conjunto
donde este definida una operación, estas estructuras se conocen como grupoide9 o
magma10.

Teorema 3. Sea (G, +) un grupo abeliano, el elemento idéntico cuya existencia garantiza
GA2 es único.

Prueba

Supongamos que existen dos elementos idénticos 0 y 0′, entonces

0   +  0′   =  0′ porque 0 es elemento idéntico

y
0   +  0´   =  0   porque 0′ es elemento idéntico

y como + es una función entonces 0 = 0′.

∎
Como el elemento idéntico en un grupo abeliano es único, lo llamaremos 0.

Notemos que la unicidad del elemento idéntico no depende de los demás axiomas; en
cualquier grupoide donde haya elemento idéntico, él es único.

Teorema 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 idéntico

=   (𝑦’     +  𝑎)   +    𝑦 Por ser 𝑦’ un inverso aditivo de a

=    𝑦’     +   (𝑎   +  𝑦) Por GA1

=  𝑦’   +  0 Por ser 𝑦 un inverso aditivo de a

     =    𝑦’ Por ser 0 el elemento idéntico

∎
Como para todo a ∈ G, el elemento inverso es único lo llamaremos −𝑎.

9
Ilse, D., Lehmann, I. &Schulz, W., (1984). Gruppoide und Funktionalgleichungen. Berlín: VEB
DeutscherVerlag der Wissenschaften. p. 14.
10
El término magma fue introducido por Bourbaki N. (1970) Éléments de Mathématique. Algébre. AI 1. París:
Hermann. La palabra grupoide también se usa en teoría de categorías para aquellas donde todos los
morfismos son isomorfismos. (Brown R, Groupoids and Van Kampen’stheorem, Proc. London Math.Soc. (3)
17 (1967) 385-40.
Corolario 1. Para todo a, b ∈ G, si

𝑎 + 𝑏 = 0    entonces 𝑏 =  – 𝑎.

Notemos que la unicidad de los elementos inversos, en nuestra presentación, solo requiere
de la propiedad asociativa11; en cualquier monoide si un elemento tiene inverso, este es
único. En particular el teorema 4 y el corolario 1 valen en un grupo no abeliano.

Teorema 5. Sea (G, +) un grupo abeliano, para todo a ∈ G se tiene que

𝑎   =  – (– 𝑎).
Prueba

Por el axioma GA3 sabemos que

(–  𝑎) + 𝑎   = 0  
y por el corolario 1,
𝑎   =  – (– 𝑎).
∎
Teorema 6. Sea (G, +) un grupo abeliano, para todo a, b ∈ G

a = b si y solo si – a = – b.

Teorema 7. Sea (G, +) un grupo abeliano, para todo a, b en G se tiene que

– (a + b) = (– a) + (– b).
Prueba

Por el axioma GA3, tenemos que

a + (– a) = 0
y
b + (– b) = 0
por el teorema 2,
(a + (– a)) + (b + (– b)) = 0 + 0.

De acuerdo con los axiomas GA1, GA2 y GA4,

(a + b) + ((– a)) + (– b)) = 0

Finalmente, por el corolario1,
– (a + b) = (– a) + (– b).
∎

Teorema 8. (Propiedad cancelativa). Sea (G, +) un grupo abeliano, para todo a, b ∈ G

11
Por supuesto esto depende de la demostración presentada, si en una demostración alternativa usamos la
propiedad asociativa y la propiedad cancelativa, eventualmente conjeturamos que se requieren las dos.
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 existe (– a) ∈ G y por el teorema 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 se tiene que si b + a = c + a entonces b = c.

∎
Corolario 2. Para todo a, b en G, la ecuación a + x = b tiene a lo más una solución.

Prueba: Si la ecuación a + x = b no tiene solución, 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 z = z’.

∎
Definición 3. Una estructura (D, *) donde para todo a, b en D, cada una delas ecuaciones
a * x = b y y*a = b tienen a lo más una solución se llama12K-grupoide.

El corolario 2 implica que todo grupo abeliano es un K-grupoide, y si observamos la prueba

notamos que solo usamos la propiedad cancelativa, pero también se tiene la implicación
recíproca, todo K-grupoide es cancelativo.

Teorema 9. Sea (D, *) un K-grupoide entonces se cumple la propiedad cancelativa.

Teorema 10. Sea (G, +) un grupo abeliano, para todo a, b en G, la ecuación a + x = b tiene
al menos una solución.

Prueba.

Sea y = (– a) + b, y es solución de la ecuación a + x = b, pues

12
Ilse, Lehmann y Schulz, (1984) p. 21.
 a +((– a) + b) =(a +(– a)) + b =0 + b = b.
∎
Definición 4. Una estructura (B, *) donde para todo a, b en B, cada una delas ecuaciones
a * x = b y y*a = b tienen al menos una solución se llama13D-grupoide.

Ejemplo

Sea (Z, *) donde Z es el conjunto de los números 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.

Por el corolario 2 y el teorema 10 tenemos que se cumple,

Teorema 11. (Propiedad de Hilbert14). Sea (G, +) un grupo abeliano, para todo 𝑎, 𝑏 ∈ 𝐺 las
ecuaciones 𝑎 + 𝑥 = 𝑏 y 𝑦 + 𝑎 = 𝑏 tienen solución única. En nuestro caso, como la
operación es conmutativa, las dos ecuaciones se reducen a una.

Definición 5. 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 solución se llama Cuasigrupo15.

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 presentación 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 9 garantiza que
se cumple la propiedad cancelativa.

Teorema 12. (Asociativa cíclica I) Sea (G, +) un grupo abeliano, para todo a, b, c ∈ G,
𝑎 + (𝑏 + 𝑐)   =  𝑐 + (𝑎 + 𝑏)

Prueba.

Por el axioma GA1 tenemos que,

𝑎+ 𝑏+𝑐 = 𝑎+𝑏 +𝑐
Por el axioma GA4,
𝑎 + 𝑏 + 𝑐 = 𝑐 + (𝑎 + 𝑏)
∎

13
Ilse, Lehmann y Schulz, (1984). p. 19.
14
Esta propiedad fue presentada como parte de una axiomatización para los números reales en un apéndice del
libro: Hilbert, D. (1953). Fundamentos de la Geometría. Madrid: Publicaciones del Instituto Jorge Juan de
Matemáticas. [Traducción de la séptima edición alemana por Francisco Cebrian]. p.p. 244-250.
15
El concepto fue introducido B. A. Hausmann y O. Ore en 1937. (Ilse, Lehmann y Schulz, (1984). p. 22.).
Teorema 13. (Asociativa cíclica II) Sea (G, +) un grupo abeliano, para todo 𝑎, 𝑏, 𝑐   ∈  𝐺,
𝑎+ 𝑏+𝑐 = 𝑐+𝑎 +𝑏

Teorema 14. (Abel-Grassmann I) Sea (G, +) un grupo abeliano, para todo 𝑎, 𝑏, 𝑐   ∈  𝐺,
𝑎 + 𝑏 + 𝑐 = 𝑐 + (𝑏 + 𝑎)

Teorema 15. (Abel-Grassmann II) Sea (G, +) un grupo abeliano, para todo 𝑎, 𝑏, 𝑐   ∈  𝐺,
𝑎 + 𝑏 + 𝑐 = (𝑏 + 𝑎) + 𝑐

Teorema 16. (Bisimetría). Sea (G, +) un grupo abeliano, para todo 𝑎, 𝑏, 𝑐, 𝑑   ∈  𝐺,

𝑎 + 𝑏 + 𝑐 + 𝑑 = 𝑎 + 𝑐 + (𝑏 + 𝑑)

Teorema 17. (Propiedad del producto reducido). Sea (G, +) un grupo abeliano, para todo
𝑎, 𝑏, 𝑐   ∈  𝐺, se cumple que 𝑎 + 𝑏 + 𝑐 = 𝑎 + (𝑐 + 𝑏)).

Teorema 18. (Permutable a derecha) Sea (G, +) un grupo abeliano, para todo 𝑎, 𝑏, 𝑐   ∈  𝐺,
se cumple que 𝑎 + 𝑏 + 𝑐 = 𝑎 + 𝑐 + 𝑏 .

Teorema 19. (Permutable a izquierda) Sea (G, +) un grupo abeliano, para todo
 𝑎, 𝑏, 𝑐   ∈  𝐺, se cumple que   𝑎 + 𝑏 + 𝑐 = 𝑏 + 𝑎 + 𝑐 .

Teorema 20. (Elasticidad) Sea (G, +) un grupo abeliano, para todo  𝑎, 𝑏, 𝑐   ∈  𝐺, se cumple
que   𝑎 + 𝑏 + 𝑎 = 𝑎 + 𝑏 + 𝑐 .

Notemos que en todo semigrupo conmutativo se cumplen las propiedades asociativa cíclica
I, asociativa cíclica II, Grassmann I, Grassmann II, bisimetría, producto reducido,
permutable a derecha y permutable a izquierda.

Ejercicios

1. Demostrar los teoremas 6, 9, 13, 14, 15, 16, 17, 18 y 19.

2. Demostrar que un grupoide donde se cumpla la propiedad de Abel Grassmann II
también se cumple la bisimetría.
3. Demostrar que todo semigrupo cumple la propiedad elástica.

1.1.3. Otras caracterizaciones de los grupos abelianos

La caracterización de los grupos abelianos dada por los axiomas GA1, GA2, GA3 y GA4 es
la más conocida pero no es la única, una manera diferente de presentarlos es debilitando las
condiciones de G2 y G3, exigiendo solo que haya elemento idéntico a izquierda (o a
derecha) y que haya solo elementos inversos a izquierda(o a derecha). Otras menos usuales
cambian algunos axiomas por otros que permitan una definición equivalente, presentamos
aquí algunas posibilidades.
1.1.3.1. Debilitando los axiomas iniciales

Como mencionamos GA2 y GA3 pueden debilitarse, si definimos

GA2’ Existencia de elemento idéntico 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 idéntico cuya existencia garantiza GA2’.

GA2’’ Existencia de elemento idéntico 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 idéntico cuya existencia garantiza GA2’.

Es claro que GA2 implica GA2’ y GA2’’y que GA3 implica GA3’y 𝐺𝐴3′′, ahora por GA4
se tendría que GA2’ ó GA2’’ implica GA2 y GA3’ ó GA3’’ implica GA3, incluso se podría
tener neutro derecho e inversos izquierdos y se conservaría la estructura de grupo abeliano
gracias a la conmutativa, sin embargo, es interesante ver que GA2’ y GA3’ implican GA2 y
GA3 usando la propiedad asociativa y no la conmutativa.

Teorema 21. Si (G, *) es un semigrupo con un elemento neutro a izquierda y elementos

inversos a izquierda para cada elemento de G, entonces (G, *) es un grupo.

Prueba.

En la prueba del teorema 3 se puede observar que si en un grupoide (G, *) tiene un

elemento neutro a derecha y un elemento neutro a izquierda estos deben ser el mismo y
además es único, probemos entonces que (G, *) tienen también un elemento neutro a
derecha, por GA3’existe 𝑝 ∈ 𝐺 tal que 𝑝 ∗ 0 = 0 tenemos entonces si 𝑎 ∈ 𝐺:

𝑎 =0∗𝑎 = 𝑝∗0 ∗𝑎 =𝑝∗ 0∗𝑎 =𝑝∗𝑎

y como esto se tiene para todo 𝑎 ∈ 𝐺 entonces 𝑝 es elemento neutro derecho y además
𝑝 = 0.

Ahora bien, sea 𝑎 ∈ 𝐺, existe 𝑏 ∈ 𝐺 talque para 𝑏 ∗ 𝑎 = 0, y para 𝑏 existe un 𝑐 ∈ 𝐺 tal que
𝑐 ∗ 𝑏 = 0, entonces

𝑎 =0∗𝑎 = 𝑐∗𝑏 ∗𝑎 =𝑐∗ 𝑏∗𝑎 =𝑐∗0=𝑐

Es decir que 𝑎 ∗ 𝑏 = 0, por lo tanto para todo 𝑎 ∈ 𝐺 el inverso a izquierda también es

inverso a derecha, entonces (𝐺,∗) es un grupo
∎

Como 𝐺𝐴2′ GA3’ y 𝐺𝐴1 implican 𝐺𝐴2  𝑦  𝐺𝐴3 y además teníamos que 𝐺𝐴3 y 𝐺𝐴2
implican 𝐺𝐴2′ y 𝐺𝐴3′, luego se tiene que un grupo abeliano es una pareja (G, +) donde G
es un conjunto y + es una operación de manera que se cumplen las siguientes propiedades:
 GA1.
GA2’
GA3’
GA4

Por argumentos similares tendríamos que:

GA1.
GA2’’
GA3’’
GA4

También caracterizan a los grupos abelianos.

1.1.3.2. Sustituyendo algunos axiomas

Podríamos intercambiar o sustituir algunos de los axiomas que están en la definición de

grupo abeliano por otras propiedades, buscando que estas nuevas propiedades al mezclarse
con las otras impliquen los axiomas de grupo abeliano que estamos reemplazando.

1.1.3.2.1. Sustituyendo GA1 y GA4.

En la definición de grupo abeliano podemos sustituir las propiedades asociativa y

conmutativa por alguna de las siguientes propiedades: asociativa cíclica I, asociativa cíclica
II, Grassmann I, Grassmann II, bisimetría, producto reducido, permutable a derecha o
permutable a izquierda; cada una de estas combinada con GA2 implican a GA4 y a GA1,
veamos dos ejemplos.

Teorema 22. Sea (G, +) un grupoide con elemento idéntico 0, donde + cumple la
propiedad asociativa cíclica I, entonces + cumple las propiedades asociativa y conmutativa.

Prueba

i. Supongamos que para todo 𝑎, 𝑏, 𝑐 ∈ 𝐺  la operación * cumple que:

𝑎 ∗ (𝑏 ∗ 𝑐) = 𝑐 ∗ (𝑎 ∗ 𝑏)  

En particular, si a = e entonces  𝑒 ∗ 𝑏 ∗ 𝑐 = 𝑐 ∗ 𝑒 ∗ 𝑏  y por tanto

𝑏 ∗ 𝑐 = 𝑐 ∗ 𝑏, lo que significa que la operación * es conmutativa.

Ahora, como tenemos que se cumple que𝑎 ∗ (𝑏 ∗ 𝑐) = 𝑐 ∗ (𝑎 ∗ 𝑏) y * es

conmutativa entonces:
𝑎 ∗ (𝑏 ∗ 𝑐) = (𝑎 ∗ 𝑏) ∗ 𝑐,

lo que significa que la operación * es asociativa.

∎
Con el teorema 21 tenemos que 𝐺𝐴1′ y 𝐺𝐴2 implican GA1 y GA4 y por el teorema 12
sabemos que GA2 y GA4 implican 𝐺𝐴1′ , luego se tiene que un grupo Abeliano es una
pareja (G, +) donde G es un conjunto y + es una operación de manera que se cumplen las
siguientes propiedades:

GA1’: Asociativa cíclica I: (∀𝑥, 𝑦 ∈ 𝐺)  (𝑥 ∗ (𝑦 ∗ 𝑧)   =  𝑧 ∗ (𝑥 ∗ 𝑦))

GA2: Existencia de elemento idéntico: (∃𝑒 ∈ 𝐺)  (∀𝑥 ∈ 𝐺:  𝑥 ∗ 𝑒   =  𝑒 ∗ 𝑥   =  𝑥)
GA3: Existencia de elementos inversos: ∀𝑥 ∈ 𝐺 ∃𝑦 ∈ 𝐺 𝑥 ∗ 𝑦   =  𝑦 ∗ 𝑥   =  𝑒  donde 𝑒
es un elemento idéntico cuya existencia garantiza GA2.

Teorema 23. Sea (A,*) un grupoide con elemento idéntico e; si la operación * cumple la
propiedad bisimétrica, entonces * es asociativa y conmutativa16.

Usando el teorema 23, un grupo abeliano es una pareja (G, *) donde G es un conjunto y *
es una operación de manera que se cumplen las siguientes propiedades:

GA1”. Bisimétrica: (∀x, y, z, u∈ G) ((x * y)*(z * w) = (x * z)*(y * w)

GA2. Existencia de elemento idéntico: (∃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 idéntico cuya existencia garantiza GA2.

Teorema 24. Un grupoide (A,*) que satisfaga los axiomas GA2, GA3 y alguna de las
propiedades: asociativa cíclica II, Grassmann I, Grassmann II, producto reducido,
permutable a derecha y permutable a izquierda es un grupo abeliano.

1.1.3.2.2. Sustituyendo GA3.

Ahora asumamos los axiomas GA1, GA2 y GA4 y cambiemos el axioma GA3 por la
condición que define un D-Grupoide.

Teorema 25. Si (G, +) es un D-grupoide asociativo, conmutativo y con elemento neutro

entonces (G, +) es un grupo abeliano.

Prueba

Para probar que (G, +) es un grupo debemos probar que cada elemento tiene un elemento
inverso, pero esto se tiene ya que si 𝑒 es el elemento idéntico de G, para todo 𝑎 ∈ 𝐴la
ecuación 𝑥 + 𝑎 = 𝑒  tiene solución, luego se cumple 𝐺𝐴3′ y por el teorema 21, (G, +) es un
grupo abeliano.
∎

16
Debemos tener cuidado con las afirmaciones hechas, la propiedad bisimétrica se deduce de las propiedades
asociativa y conmutativa pero la afirmación recíproca no es cierta, por ejemplo la operación construcción del
punto medio en el plano es bisimétrica pero no asociativa, y la sustracción en los números enteros es
bisimétrica pero no conmutativa, ni asociativa.
1.1.3.2.3. Sustituyendo GA2 y GA3.

La propiedad de Hilbert permite sustituir GA2 y GA3 en la definición de grupo abeliano en

la siguiente forma:

Teorema 26. Si (G, +) es un cuasigrupo conmutativo y asociativo es un grupo abeliano.

Prueba

Como (G, +) es un cuasigrupo para todo 𝑎 ∈ 𝐺, la ecuación 𝑎 + 𝑥 = 𝑎 tiene solución única,

llamemos a esta solución 𝑒! , es decir que 𝑎 + 𝑒! = 𝑎, además por la propiedad
conmutativa 𝑎 + 𝑒! = 𝑒! + 𝑎 = 𝑎 para todo 𝑎 ∈ 𝐴. Ahora sea 𝑏 ∈ 𝐺 tenemos que:

𝑎 + 𝑏 = 𝑎 + 𝑒! + 𝑏
= 𝑎 + 𝑒! + 𝑏   Por GA1

y por el teorema 9, (G, +) es cancelativo y en consecuencia  𝑏 = 𝑒! + 𝑏; eso significa que

𝑒!   + 𝑏 = 𝑏 = 𝑒! + 𝑏, y como se cumple la propiedad cancelativa, concluimos que
   𝑒! =   𝑒! . Como esta argumentación es válida para todo 𝑏 ∈ 𝐺, se cumple que 𝑒! es el
elemento idéntico de G. Es decir que (G, +) es un loop asociativo y conmutativo y por el
teorema 25, (G, +) es un grupo abeliano.
∎

Con este resultado podemos definir de manera alternativa un grupo abeliano como una
dupla (G, *) donde G es un conjunto y * es una operación de manera que se cumplen las
siguientes propiedades:

G1. Asociativa: (∀x, y, z∈ G) ((x * (y * z) = (x * y)* z).

G4. Conmutativa: ∀x, y ∈ G se tiene que x * y = y * x.
G2’ ∀𝑎, 𝑏 ∈ 𝐺 la ecuación 𝑥 ∗ 𝑎 = 𝑏 tiene solución única.

Nuevamente se tiene la independencia entre las propiedades G1, G4 y G2’. La operación:

º 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

Muestra que G4 es independiente de G1 y G2’ y la operación:

º 0 1 2
0 1 0 2
1 0 2 1
 2 2 1 0

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

satisface G2’.

La primera condición del teorema 26 puede debilitarse en la siguiente forma:

Teorema 27. Si (G, +) es un D-grupoide conmutativo y asociativo es un grupo abeliano.

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) Por (2)
= (𝑒! * a) * x Por asociativa
=a*x Por (1)
=b Por (2)
También tenemos que
𝑏 * 𝑒! = (y * a) * 𝑒! Por (2)
= y * (a * 𝑒! ) Por asociativa
=y*a Por (1)
=b Por (2)

Como este razonamiento es válido para todo b ∈ G, lo es en particular para 𝑒! y 𝑒! , luego

𝑒! * 𝑒! = 𝑒!
y
𝑒! * 𝑒! = 𝑒!

Por tanto 𝑒! = 𝑒! . Entonces podemos concluir que existe 𝑒!  ∈ G, tal que para todo b ∈ G,

𝑒! * b = b * 𝑒! = b

Por el teorema 3 este elemento idéntico es único y lo llamamos e.

Ahora veamos que G tiene elementos inversos:

Sea a ∈ G y el elemento idéntico e, existen xa y ya en G tales que

a * xa = e y ya * a = e (3)
Luego,
xa = e * xa Pues e es elemento idéntico
= (ya * a) * xa Por (3)
= ya * (a * xa) Por asociativa
= ya * e Por (3)
= ya Pues e es elemento idéntico

Por tanto para cada a ∈ G, existe xa ∈ G tal que a * xa = xa * a = e, es decir G tiene

elementos inversos. Como G es asociativo, por el teorema 4, para cada a ∈ G este
elemento es único y lo llamamos a – 1.

Además, para cada elemento b ∈ G la ecuación 𝑥 ∗ 𝑏 =  e tiene solución, lo que implica que
para todo 𝑏 ∈ 𝐺 existe un elemento inverso y por tanto G cumple GA3
∎
Finalmente, podemos combinar los resultados anteriores para encontrar otras
caracterizaciones de los grupos abelianos.

1.1.3.3. Usando otros axiomas

Teorema 28. Un cuasigrupo (G, +) asociativo cíclico I es un grupo abeliano.

Teorema 29. Un cuasigrupo (G, +) asociativo cíclico II es un grupo abeliano.

Teorema 30. Un cuasigrupo (G, +) que cumple la propiedad de Abel-Grassmann II es un

grupo abeliano.

Teorema 31. Un cuasigrupo (G, +) que cumple la propiedad del producto reducido es un
grupo abeliano.

Las propiedades bisimétrica, de Abel Grassman I, permutable a izquierda, permutable a

derecha, no permiten implican que un cuasigrupo con esas propiedades sea un grupo
abeliano, pues por ejemplo la resta en los enteros es bisimétrica, pero no es grupo abeliano.