Grupos abelianos finitamente generados[editar]

El conjunto de los elementos de torsión de un grupo arbitrario forman un subgrupo que se

denomina subgrupo de torsión, y se denota como . Si el único elemento de torsión es
la identidad, entonces se dice que el grupo está libre de torsión. En tal caso, todo elemento
distinto de la identidad es de orden infinito. El siguiente resultado indica la manera en que
se puede descomponer un grupo abeliano en dos partes: una de torsión y una libre de
torsión:
Para todo grupo  abeliano, el cociente  está libre de torsión.10

Si el grupo abeliano  está finitamente generado entonces su subgrupo de torsión está

también finitamente generado, y de hecho es finito. Por tanto puede ser clasificado
conforme al apartado anterior. Además , donde  es un grupo abeliano finitamente
generado y libre de torsión. El siguiente resultado nos permite caracterizar este grupo :
Todo grupo abeliano finitamente generado y libre de torsión es un grupo abeliano libre. 11

Un grupo abeliano finitamente generado  es un grupo abeliano libre si es isomorfo al

producto directo , para cierto entero positivo , denominado rango de . En consecuencia
Teorema de estructura para grupos abelianos finitamente generados 12
Todo grupo abeliano finitamente generado  es la suma directa de grupos cíclicos finitos e
infinitos, y el número de sumandos de cada clase depende únicamente de .

En resumen, todo grupo abeliano finitamente generado es isomorfo a la suma directa

donde el número de factores  es el rango y los números  son los coeficientes de
torsión de , que verifican que .

Véase también[editar]
 Grupo (matemáticas).
 Conmutatividad.
 Categoría de grupos abelianos.
 Grupo abeliano libre.
 Anillo conmutativo.
------------------------------------------------------------------------------------------------------------------------------
--