Clasificación de grupos abelianos finitos

Para un orden \(n\) dado, se factoriza \(n=p_1^{a_1}\cdots p_s^{a_s}\). Cada grupo abeliano de orden \(n\) se parte en una componente por primo, de orden \(p_i^{a_i}\), y esa componente es un producto de cíclicos \(\mathbb{Z}_{p_i^{k}}\) cuyos exponentes \(k\) suman \(a_i\). Por eso los grupos abelianos de orden \(p^a\) corresponden uno a uno con las particiones del entero \(a\), y el total para \(n\) es el producto de los números de particiones de los \(a_i\).

Ejemplo guía: para \(n=12=2^2\cdot3\) las particiones de \(2\) son \(2\) y \(1+1\), y la de \(1\) es única. Resultan \(\mathbb{Z}_4\times\mathbb{Z}_3\cong\mathbb{Z}_{12}\) y \(\mathbb{Z}_2\times\mathbb{Z}_2\times\mathbb{Z}_3\cong\mathbb{Z}_2\times\mathbb{Z}_6\). Si cada \(a_i=1\) (orden sin factores cuadrados), solo hay un grupo y es cíclico.

La unicidad significa que dos productos distintos de este tipo nunca son isomorfos: la lista de factores \(\mathbb{Z}_{p^k}\) queda determinada por \(G\). Un error típico es creer que \(\mathbb{Z}_2\times\mathbb{Z}_4\) y \(\mathbb{Z}_8\) coinciden por tener el mismo orden; el primero no tiene elementos de orden \(8\). Otra forma equivalente de presentar el resultado usa factores invariantes \(d_1\mid d_2\mid\cdots\mid d_m\) con \(G\cong\mathbb{Z}_{d_1}\times\cdots\times\mathbb{Z}_{d_m}\).

La demostración usa que el producto directo de cíclicos de órdenes coprimos es cíclico (teorema chino del resto), y el resultado es el caso particular, para \(\mathbb{Z}\)-módulos, del teorema de estructura sobre dominios de ideales principales. Contrasta con los grupos no abelianos, para los que no hay una lista tan simple.