Clasificación de los grupos abelianos finitamente

generados[editar]
Se dice que un grupo está finitamente generado si existe un conjunto generador del
grupo que es finito. Todo grupo finito está finitamente generado, puesto que el propio
grupo es un conjunto generador de sí mismo. Los grupos abelianos finitos y finitamente
generados están totalmente clasificados por el llamado teorema de estructura, del que
existen varias versiones. Según este teorema, todo grupo abeliano finitamente generado
es la suma directa de grupos cíclicos, los cuales pueden ser de dos tipos:6
 el grupo cíclico infinito, caracterizado por los números enteros bajo la adición, .
 grupos cíclicos finitos, caracterizado por los enteros módulo  n bajo la suma
módulo  n, .
Grupos abelianos finitos[editar]
Resulta de interés estudiar primero el caso de grupos finitos, pues este resultado se aplica
directamente al caso general. El teorema de estructura en el caso finito afirma lo siguiente:
Teorema de estructura para grupos abelianos finitos7
Todo grupo abeliano finito  es isomorfo a , donde  son enteros mayores que 1 que verifican .

Los números  se denominan coeficientes de torsión de , y son invariantes del grupo. En

particular, el orden de  es igual al producto .8 Se dice que un elemento  de un grupo es un
elemento de torsión si su orden es finito. Análogamente, se dice que un grupo en el cual
todos los elementos son de torsión es un grupo de torsión. Naturalmente, todos los grupos
finitos son de torsión.
Este teorema se deduce del siguiente resultado, utilizando que  es isomorfo
a  cuando n y m son coprimos:
Teorema de descomposición primaria de grupos abelianos 9
Todo grupo abeliano finito G es isomorfo a , donde  son números primos (no
necesariamente distintos) y .
Los enteros  son únicos salvo por el orden.

Los siguientes ejemplos ilustran la forma de aplicar el teorema de estructura, a partir de

los factores primos del orden del grupo:
 Salvo isomorfismo existen cinco grupos abelianos con 16 elementos. Partiendo de
que , las posibles elecciones para los coeficientes de torsión son . En consecuencia,
un grupo abeliano de 16 elementos es isomorfo a uno y sólo uno de los siguientes:
.
 Todo grupo abeliano de orden 30 es isomorfo al grupo cíclico . Esto se debe a que
no hay forma de descomponer 30 como producto de dos números mayores de 1
tales que uno sea divisor del otro.