Algebra Moderna I

Lunes 17 de abril de 2023

Ingrid Martínez

Universidad de El Salvador
Facultad de Ciencias Naturales y Matemática
Escuela de Matemática
Estructura de los grupos abeliano finitos

Estudiaremos la estructura de los grupos abelianos finitos

describiendolos en término del producto directo de grupos (Zk , +).
Estructura de los grupos abeliano finitos

Definición
Sea A un grupo abeliano con un número finito de elementos n. Si p es
un factor primo de n definimos el conjunto

Sp = {a ∈ A : a tiene como orden una potencia de p}

Estructura de los grupos abeliano finitos

Proposición
El conjunto Sp = {a ∈ A : a tiene como orden una potencia de p} es un subgrupo
de A.
Estructura de los grupos abeliano finitos

Sea A un grupo abeliano de orden finito n = (p1 )n1 · (p2 )n2 . . . (pk )nk .
Entonces
A∼= Sp1 × Sp2 × · · · × Spk
Estructura de los grupos abeliano finitos

Ahora se mostrara una analogía con espacios vectoriales. Para ello

cambiaremos a la notación aditiva de potencia na = a + a + · · · + a.
Definición
Dado un grupo abeliano A diremos que a1 , a2 , . . . , ar es un sistema de
generadores de A si todo elemento de A puede escribirse de la forma
x = n1 a1 + n2 a2 + · · · + nr ar con nj ∈ Z para todo j = 1, 2, . . . , r
Estructura de los grupos abeliano finitos

Definición
Un sistema de generadores de A es una base de A si la expresión
x = n1 a1 + n2 a2 + · · · + nr ar , que expresa a x como combinación de
a1 , a2 , . . . , ar es única, lo que se traduce que si hay otra forma de
escribir a x = n1′ a1 + n2′ a2 + · · · + nr′ ar se tendería necesariamente que
nj aj = nj′ aj para todo j = 1, 2, . . . , r .
Estructura de los grupos abeliano finitos

Ejemplo: En (Z2 ⊕ Z2 ⊕ Z2 ) tomamos los elementos a = ([1], [0], [0]),

b = ([0], [1], [0]) y c = ([0], [0], [1]) forman un sistema de generadores
ya que si tomamos un elemento cualquiera ([k], [n], [m]) de
(Z2 ⊕ Z2 ⊕ Z2 ) se tiene:
([k], [n], [m]) = (k[1], n[1], m[1])
= (k[1], [0], [0]) + ([0], n[1], [0]) + ([0], [0], m[1])
= k([1], [0], [0]) + n([0], [1], [0]) + m([0], [0], [1])
= ka + nb + mc
Estructura de los grupos abeliano finitos

Lema
Sea A un grupo abeliano y {a1 , . . . , ar } un sistema de generadores de
A las siguientes condiciones son equivalentes:
1 {a1 , . . . , ar } es una base de A.
2 Si existen n1 , n2 , . . . , nr ∈ Z tal que n1 a1 + n2 a2 + · · · + nr ar = 0,
se debe tener nj aj = 0 para todo j = 1, 2, . . . , r

1 implica 2: Supongamos que {a1 , . . . , ar } es una base de A y que

existen n1 , n2 , . . . , nr ∈ Z tal que n1 a1 + n2 a2 + · · · + nr ar = 0, como
0 = 0a1 + 0a2 + · · · + 0ar se tiene que
n1 a1 + n2 a2 + · · · + nr ar = 0a1 + 0a2 + · · · + 0ar
por la unicidad de la descomposición se tiene:
nj aj = 0, j = 1, . . . , r
Estructura de los grupos abeliano finitos

2 implica 1 Por hipótesis {a1 , . . . , ar } es un conjunto generador, solo

falta probar que cada elemento x de A puede escribirse de forma única
como combinación lineal de {a1 , . . . , ar }.
Supongamos que tenemos dos descomposiciones de x

n1 a1 + n2 a2 + · · · + nr ar = n1′ a1 + n2′ a2 + · · · + nr′ ar

(n1 − n1′ )a1 + (n2 − n2′ )a2 + · · · + (nr − nr′ )ar = 0
Por la hipótesis (nj − nj′ )aj = 0 , lo que equivale a que nj aj = nj′ aj
Estructura de los grupos abeliano finitos

Lema
Si {a1 , a2 , . . . , ar } es una base de un grupo abeliano A, se tiene que A
es isomorfo a la suma directa de ⟨a1 ⟩ ⊕ ⟨a1 ⟩ ⊕ · · · ⊕ ⟨ar ⟩, donde ⟨ai ⟩
es el grupo cíclico generado por ai .
Estructura de los grupos abelianos finitos

Teorema (Teorema de estructura para grupos abelianos finitos)

Todo grupo abeliano finito es isomorfo a una suma directa de grupos
cíclicos de órdenes potencias de primos.
Ya hemos demostrado que todo grupo abeliano finito es isomorfo al
producto directo de sus subgrupos de Sylow. Para demostrar el
teorema solo se debe mostrar que todo subgrupo de Sylow tiene una
base y luego aplicar el lema anterior.