Proposición:

Si G es un grupo abeliano y H es subgrupo de G entonces G/H es abeliano.

Demostración
Demostrar que H es subgrupo normal
Inicialmente, es importante notar que todo subgrupo de un grupo abeliano es normal.
1 1
Sea x 2 gHg por definición x = ghg para algún h 2 H, dado que G es abeliano y H por
propiedad conmutativa:

1
x = ghg = gg 1 h = eh = h donde h 2 H

1
por tanto, ghg ✓ H, 8g 2 G

Demostrar que G/H es abeliano

Para demostrar que G/H es abeliano, se debera cumplir las propiedades clausurativa, asocia-
tiva, modulativa, invertiva y además, la conmutativa.
Sea [a] = aH,[b] = bH y [c] = cH elementos de G/H donde a, b, c 2 G. Bajo la operación
multiplicación se cumple:
Clausurativa: [a][b] = [ab]
Asociativa: [a]([b][c]) = [a]([bc]) = [a(bc)] = [(ab)c] = ([a][b])[c]
Modulativa: [a][e] = [a] = [e][a]
Invertiva: [a][a 1 ] = e = [a 1 ][a]

Lo anterior, demuestra que G/H es grupo, por ver que cumple cumple la propiedad conmutativa
para afirmar que es abeliano.
Sea aH y bH elementos de G/H, con a, b 2 G. Luego, por la conmutatividad de G por ser
grupo abeliano.

(aH)(bH) = abH = baH = (bH)(aH)

Finalmente, queda demostrada la proposición de que si G es un grupo abeliano y H  G en-

tonces G/H es abeliano.

Análisis de la reciproca de la proposición

Es importante identificar que la reciproca de la proposición anterior no es cierta y para ello
consideraremos el siguiente ejemplo.

Sea G = S3 y H = A3 = {e, (123), (132)} tenemos que H / G dado que, en general el

grupo alternante An es un subgrupo normal de Sn (Demostración 1). Sabemos que G es de
orden 6 y que H es un grupo de orden 3 y por tanto, es ciclico y abeliano (Demostración
2 y 3). Luego G/H = 6/3 = 2 de esta manera, se tiene que G/H es abeliano por ser de
orden 2 (Demostración 4). Sin embargo, note que en S3 el producto de permutaciones no
conmuta y por esta razón, G no podrı́a ser grupo abeliano.
Finalmente, se puede identificar que no es valido afirmar que la reciproca de la proposición
anterior se cumplirá en todos los casos.

Demostración 1: El grupo alternante An es un subgrupo normal de Sn

An consiste en todas las permutaciones pares de Sn .
1
An sera subgrupo normal siempre que ⌧ 2 An , 8 2 Sn y ⌧ 2 An
1 1
Ahora, como ⌧ es par y , son ambos pares o impares, entonces ⌧ es par y per-
tenece a An . Por lo tanto, An es normal.

Demostración 2: Todo grupo de orden primo es cı́clico.

Sea a 2 G con a 6= e. Entonces hai =
6 e y | hai | divide a |G|. Ası́ que | hai | = |G| y G = hai.

Demostración 3: Todo grupo cı́clico es abeliano.

Sea x, y 2 G entonces, existe k, j 2 Z tal que x = ak y y = aj .
Veamos que xy = ak aj = ak+j = aj+k = aj ak = yx finalmente, tenemos que G es un
grupo abeliano ya que se cumple la propiedad conmutativa.
Demostración 4: Todo grupo de orden 2 es abeliano.
Sea G = {e, a} un grupo de orden 2. Notemos que para que G sea un grupo abeliano, se
debe cumplir que 8a, b 2 G ab = ba. Veamos que ee = e = ee, ea = a = ae y además,
1
como a 2 G entonces tiene inversa y aa = e = a 1 a. Teniendo en cuenta lo anterior,
se puede evidenciar que G cumple la propiedad conmutativa y por tanto, es un grupo
abeliano