Algebra Moderna I

Martes 18 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

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
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.
Estructura de los grupos abelianos finitos

Ejemplo: Sea A un grupo abeliano generado por los elementos a y b

tales que a3 = e y b 4 = e.
Estructura de los grupos abelianos finitos

Ejemplo: Sea A un grupo abeliano generado por los elementos a y b y

c tales que a2 = e y b 3 = c 3 = e.
Estructura de los grupos abelianos finitos

Un A un grupo abeliano de orden p t , con p primo se denomina p-

grupo.
Teorema
Si A es un p− grupo abeliano, entonces se puede escribir de manera
única como

A ≃ A1 ⊕ A2 ⊕ · · · ⊕ Ar ,
con Aj grupo cíclico, |Aj | = p ej , j = 1, 2, . . . , r y Σej = t.

Los números (p e1 , p e2 , · · · , p er ) son llamados invariantes del p− grupo.

Estructura de los grupos abelianos finitos
Estructura de los grupos abelianos finitos
Estructura de los grupos abelianos finitos
Estructura de los grupos abelianos finitos
Estructura de los grupos abelianos finitos