Teorema Fundamental de los Grupos Abelianos Finitos

Daniel Antonio Gómez Oviedo

Harley David Pérez Benı́tez
Walys Emilcen Vera Herrera
Huber Andrés Lopera Taborda

Matemáticas - Caucasia - Álgebra I

Debido a la complejidad de esta prueba, la dividiremos en una serie de lemas.

Lema 1: Sea G un grupo Abeliano finito de orden pn m, donde p es un primo que no divide a m. Entonces
 n
G = H × K, donde H = x ∈ G|xp = e y K = {x ∈ G|xm = e}. Además, |H| = pn .
Demostración: Considere las hipótesis y veamos que G = H × K, es decir, veamos que H C G, K C G,
G = HK y H ∩ K = {e}. En primer lugar veamos que H ≤ G y K ≤ G. Note que H ⊆ G y K ⊆ G, y como
G finito, entonces H y K son finitos, esto quiere decir que basta ver que la operación es cerrada en dichos
n n
conjuntos. Para ver esto, sean x, y ∈ H y veamos que xy ∈ H. Como x, y ∈ H entonces xp = e y y p = e.
n n n n n n
Ası́, xp y p = ee y como G es Abeliano, luego xp y p = (xy)p por lo cual (xy)p = e, esto es, xy ∈ H. Por
otro lado, sean x, y ∈ K y veamos que xy ∈ K. Como x, y ∈ K luego xm = e y y m = e. Ası́, xm y m = ee
y como G es Abeliano, entonces xm y m = (xy)m de donde (xy)m = e, es decir, xy ∈ K. Por tanto, por el
criterio de subgrupo para conjuntos finitos, H ≤ G y K ≤ G. Dado que H ≤ G, K ≤ G y G es Abeliano se
sigue que H C G y K C G. Para mostrar G = HK, solo basta ver que G ⊆ HK, puesto que la otra contención
se deduce de el hecho de que estos son elementos del grupo G; ası́ pues, sea x ∈ G y veamos que x ∈ HK.
Como mcd (pn , m) = 1, luego por el teorema de Bezout existen enteros s, t tales que sm + tpn = 1. Note que
n n
x = x1 = xsm+tp = xsm xtp .
n pn pn m pn m
Afirmación: xsm ∈ H y xtp ∈ K. En efecto, (xsm ) = (xs ) , como xs ∈ G por corolario (xs ) = e, ası́
n n m n n
p
p m p m
(xsm ) = e, es decir xsm ∈ H. También xtp = (xt ) , como xt ∈ G por corolario (xt ) = e, por lo
n
m n
cual xtp = e, esto es xtp ∈ K. De lo anterior se sigue que x ∈ HK y por tanto G = HK. Por último,
n
sea x ∈ H ∩ K, luego x ∈ H y x ∈ K, ası́ pues xp = e = xm , por corolario |x| divide a pn y también divide
n n n
t s
a m y dado que p no divide a m, entonces por Bezout se tiene que x1 = xsm+tp = xtp xm = xp (xm ) =
et es = ee = e por consiguiente |x| = 1 y por tanto x = e, es decir, x ∈ {e}. Por otro lado, sea x ∈ {e},
n n
esto es x = e, luego xp = ep = e, y xm = em = e, ası́ x ∈ H y x ∈ K, es decir x ∈ H ∩ K, por lo cual
H ∩ K = {e}. Por lo tanto G = H × K.
Para probar la segunda afirmación del lema, note que pn m = |HK| = |H||K|/|H ∩ K| = |H||K|. Como
G es Abeliano y finito por teorema de Cauchy, existe un elemento x ∈ G tal que xp = e con p primo, ası́
n n−1
xp = ep = e, luego x ∈ H, de donde |x| no divide al |K|. Entonces |x| divide al |H|, esto es p divide a

1
|H| y como pn m = |H||K|, entonces |H| = pn .

Ası́, dado G grupo Abeliano con |G| = pn1 1 pn2 2 · · · pnk k , donde los p0 s son primos distintos denotamos G(pi ) =
n ni
o
x ∈ G|xpi = e . Veamos que G = G(p1 ) × G(p2 ) × · · · × G(pk ) y |G(pi )| = pni i . Procedamos por inducción
sobre k.
n n1
o n n2
o
Paso base (k=2): Supongamos G(p1 ) = x ∈ G|xp1 = e y G(p2 ) = x ∈ G|xp2 = e , note que p1 no
divide a pn2 2 , puesto que p1 6= p2 , entonces por el lema 1 G = G(p1 ) × G(p2 ) y |G(p1 )| = pn1 1 y |G(p2 )| = pn2 2 .
Paso inductivo: Supongamos que la propiedad se cumple para k, es decir, G = G(p1 )×G(p2 )×· · ·×G(pk ), y
n
veamos que esto se cumple para k + 1, esto es, para |G| = pn1 1 pn2 2 · · · pk+1
k+1
, G = G(p1 ) × G(p2 ) × · · · × G(pk+1 )
n nk+1 o
ni
con |G(pi )| = pi con 1 ≤ i ≤ k + 1. Para esto, definamos G(pk+1 ) = x ∈ G|xpk+1 = e , G1 =
n n1 nk
o
x ∈ G|xp1 ···pk = e , como pk+1 no divide a pn1 1 · · · pnk k , pues estos son primos distintos, luego por hipótesis
inductiva y el lema 1 se tiene que G = G(p1 ) × G(p2 ) × · · · × G(pk+1 ) y |G(pi )| = pni i para 1 ≤ i ≤ k + 1.

Lema 2: Sea G un grupo Abeliano de orden pn con p primo y sea a ∈ G un elemento de orden máximo.
Entonces G = hai × K para algún K ≤ G.
Demostración: Para probar este lema, suponiendo que |G| = pn , procederemos por inducción sobre n.
Paso base (n=1): Entonces |G| = p, tomemos a K = {e}, y veamos que G = hai{e} y hai ∩ {e} = {e} .
Note que para a ∈ G, |a| = p y ası́ hai = G, y como hai = hai{e} se sigue que G = hai{e}. Por otro lado, sea
x ∈ hai ∩ {e} luego x ∈ {e}. Ahora sea x ∈ {e}, de donde x = e y como e ∈ hai se sigue que x ∈ hai ∩ {e}.
Por lo tanto G = hai × hei, lo cual demuestra el paso base.
Paso inductivo: Supongamos que G = hai × K para G Abeliano de orden pk con k < n. Tomemos a ∈ G
m
tal que |a| = pm sea el orden más grande. Entonces xp = e para todo x ∈ G. Podemos asumir que G 6= hai,
pues en caso contrario m = n, entonces G = hai × hei. Ahora, entre todos los elementos de G, tome b de
/ hai. Veamos que hai ∩ hbi = {e}. Como |G| = pn y b ∈ G, por corolario
orden más pequeño tal que b ∈
|b| divide |G|, luego |b| divide a pn , como |b| es el orden más pequeño se sigue que |b| = p, por lo cual
m m−1 m−1
bp = e ∈ hai, ası́ bp = ai . Note que e = bp = (bp )p = (ai )p , ası́ que |ai | ≤ pm−1 . Ası́, hai i =
6 hai
y por corolario mcd(pm , i) 6= 1, por lo cual pm divide a i, como p divide a pm , entonces p divide a i, se
sigue que i = pj para algún entero j y ası́ bp = ai = apj . Considere al elemento c = a−j b, note que c ∈
/ hai
de lo contrario c = aq , aq = a−j b, aq aj = b y ası́ aq+j = b, de donde b ∈ hai lo cual es absurdo. Además,
cp = (a−j b)p = a−jp bp = a−i bp = b−p bp = e lo cual implica que |c| = p. Se sigue que hai ∩ hbi = {e},
porque cualquier elemento diferente de la identidad deberı́a generar a hbi y esto contradice que b ∈
/ hai. Por
lo tanto, concluimos que hai ∩ hbi = {e}. Ahora consideremos el grupo cociente G = G/hbi y definamos a
m−1 m−1 m−1
x := xhbi en G. Si |a| < |a| = pm , entonces ap = e. Esto significa que (ahbi)p = ap hbi = hbi (pues,
pm−1
e = hbi) ası́ que a ∈ hai ∩ hbi = {e}, contradiciendo el hecho de que |a| = p . Ası́, |a| = |a| = pm y por
m

lo tanto a es un elemento de orden máximo en G. Por hipótesis inductiva G = hai × K para algún K ≤ G.
Sea K = π −1 K con π : G → G el homomorfismo natural. Note que K = x ∈ G|x ∈ K . Veamos que



hai ∩ K = {e}, sea x ∈ hai ∩ K, entonces x ∈ hai ∩ K = {e} = hbi y x ∈ hai ∩ hbi = {e} y ası́ x ∈ {e}. Por
otro lado sea x ∈ {e}, luego x = e y como e ∈ hai y e ∈ K (pues K ≤ G) entonces e ∈ hai ∩ K, es decir
x ∈ hai ∩ K.
   
Ahora veamos que G = haiK, como G es finito luego G = |G|/|hbi|, entonces |G| = G · p; dado que
   
K = K/hbi se tiene que K  = |K|/hbi por lo cual |K| = K  · p. Ası́,

|hai||K|    
|haiK| = = |a||K| = |a| K  · p = G = |G|
|hai ∩ K|

Se sigue que G = haiK, y por lo tanto G = hai × K.

Lema 3: Un grupo Abeliano finito de orden pn con p primo es un producto interno directo de grupos cı́clicos.
Demostración: Sea G grupo Abeliano finito tal que |G| = pn con p primo. Procedamos por inducción sobre
n y tomemos a ∈ G de orden máximo en G.
Paso base (n=1): Tenemos entonces G = hai × hei, ası́ G es producto interno directo de grupos cı́clicos.
Paso inductivo: Ahora supongamos que se cumple para k < n, es decir, G = H1 × H2 × · · · Hk donde Hi
es cı́clico con 1 ≤ i ≤ k. Ahora bien, como |G| = pn con n > 1 por el lema 2 G = hai × K donde K ≤ G;
analicemos el orden de K. Tenemos que |K| = |G|/|hai|, luego |K| = pn−m , entonces n − m < n. Ası́ pues,
K = S1 × S2 × · · · × Sn−m donde Sj es cı́clico para 1 ≤ j ≤ n − m. Por lo cual G = hai × S1 × S2 × · · · × Sn−m ,
por tanto G es producto interno directo de grupos cı́clicos.

Veamos qué tenemos hasta ahora en nuestro camino por demostrar el Teorema Fundamental de los Grupos
Abelianos Finitos. En el Lema 1 mostramos que G = G(p1 ) × G(p2 ) × · · · × G(pn ), donde cada G(pi ) es un
grupo de orden potencia de primo y en el Lema 3 mostramos que cada uno de estos factores es un producto
interno directo de grupos cı́clicos. Por lo tanto, hemos demostrado que G es un producto interno directo de
grupos cı́clicos de orden potencia de primo. Todo lo que falta por demostrar es la unicidad de estos factores.
Claramente los grupos G(pi ) son determinados unicamente por G ya que ellos constan de elementos de G
cuyos órdenes son potencias de los pi . Ası́ que debemos probar que solo hay una forma (hasta el isomorfismo
y la reorganización de los factores) para escribir cada G(pi ) como producto interno directo de grupos cı́clicos.
Antes de demostrar el lema 4, enunciemos y probemos las siguientes proposiciones.

Proposición 1: Sean G un grupo Abeliano finito y n ∈ N. Considere Gn = {g n |g ∈ G}, con Gn ⊆ G.

Entonces Gn ≤ G. Además, Gn es subgrupo propio si n es primo y n divide al |G|.
Demostración: Para ver esto, sean x, y ∈ Gn luego x = an y y = bn con a, b ∈ G. Ahora xy −1 = an b−n =
(ab−1 )n ∈ Gn puesto que ab−1 ∈ G. Concluimos que, por el criterio 2 de subgrupo, Gn ≤ G. Para demostrar
la segunda parte de esta proposición, note que G es un grupo Abeliano finito luego, por el teorema de Cauchy,
G tiene un elemento de orden n; llamemos este elemento a. Ahora, an = e, y ası́ |Gn | < |G|, por tanto Gn
es un subgrupo propio de G.

Proposición 2: Sea G un grupo Abeliano y considere el subconjunto Gn = {g ∈ G|g n = e para algún n impar}.
Entonces Gn ≤ G.
Demostración: Sean g, g1 ∈ Gn y veamos que gg1 ∈ Gn . Como g, g1 ∈ Gn , luego g, g1 ∈ G, g p = e y
g1q = e para algún p, q impares. Note que pq es impar, ası́

(gg1−1 )pq = g pq g1−pq pues G es Abeliano

= (g p )q (g1q )−p

= eq e−p

=e

de donde qq1−1 ∈ Gn , ası́ por el criterio 2 de subgrupo, Gn ≤ G.

Proposición 3: Sean G Abeliano, n ∈ Z+ , Gn = {g ∈ G|g n = e} y Gn = {g n |g ∈ G}. Entonces G/Gn ∼

= Gn .
Demostración: Definamos ϕ : G → Gn tal que ϕ(g) = g n para g ∈ G. Veamos que ϕ es un homomorfismo.
Sean g1 , g2 ∈ G y veamos que ϕ(g1 g2 ) = ϕ(g1 )ϕ(g2 ). Como g1 , g2 ∈ G luego g1 g2 ∈ G, ası́

ϕ(g1 g2 ) = (g1 g2 )n

= g1n g2n pues G es Abeliano

= ϕ(g1 )ϕ(g2 )

por tanto ϕ es un homomorfismo.

Hallemos Kerϕ. Kerϕ = {g ∈ G|ϕ(g) = e} = {g ∈ G|g n = e} = Gn , por lo cual Kerϕ = Gn . Ahora veamos
que ϕ es sobreyectiva, para esto sea y ∈ Gn y veamos que existe x ∈ G tal que ϕ(x) = y. Como y ∈ Gn
entonces y = g n para algún g ∈ G. Tomemos x = g, ası́ ϕ(x) = ϕ(g) = g n = y. Se sigue pues que ϕ es
sobreyectiva; y por tanto Imϕ = Gn . Ası́, por el primer Teorema de Isomorfismo, G/Kerϕ ∼
= Imϕ, es decir,
G/Gn ∼
= Gn .

Lema 4: Suponga que G es un grupo Abeliano de orden potencia de primo. Si G = H1 × H2 × · · · Hm y

G = K1 × K2 × · · · Kn , donde los H 0 s y K 0 s son subgrupos cı́clicos no triviales con |H1 | ≥ |H2 | ≥ · · · ≥ |Hm |
y |K1 | ≥ |K2 | ≥ · · · ≥ |Kn |, entonces m = n y |Hi | = |Ki | para todo i.
Demostración: Supongamos que |G| = pn . Procedamos por inducción sobre n.
Paso base (n=1): Entonces |G| = p, luego G es ası́ mismo un grupo cı́clico de orden potencia de primo, lo
cual demuestra nuestro paso base.
Paso inductivo: Supongamos que el lema se cumple para cualquier grupo Abeliano de orden pk < |G|. Por
hipótesis inductiva Gp = H1p × H2p × · · · × Hm
p
0 y G
p
= K1p × K2p × · · · × Knp0 donde m0 es el entero i más
grande tal que |Hi | > p, y n0 es el entero j más grande tal que |Kj | > p. Lo anterior garantiza que nuestros
dos productos directos para Gp no tengan factores triviales. Dado que, por la proposición 1, |Gp | < |G| por
hipótesis inductiva m0 = n0 y |Hip | = |Kip | para i = 1, . . . , m0 . Por lema 1, Hip  = p y por la proposición 3,
 

Hi /Hip ∼ p p p
   
= Hi y por el teorema de Lagrange |Hi | = |Hi |/ Hip , por lo cual |Hi | = |Hi | Hip  y por tanto
|Hi | = p|Hip |. Análogamente para Ki , |Ki | = p|Kip |, entonces |Hi | = |Ki | para cada i = 1, . . . , m0 . Pero
|Hi | = p y |Ki | = p para cada i > m0 y
0
|H1 ||H2 | · · · |Hm0 |pm−m = |H1 ||H2 | · · · |Hm |

= |G|

= |K1 ||K2 | · · · |Kn |

0
= |K1 ||K2 | · · · |Kn0 |pn−n

Ası́ que m = n y |Hi | = |Ki | para todo i.

Y ası́ pues, queda completa la prueba de nuestro Teorema Fundamental para Grupos Finitos Abelianos.