Teorema 13.1.4. Teorema Dasar Grup Abelian Hingga.
Setiap grup abelian hingga \(G\) isomorfik dengan hasil kali langsung grup-grup siklik berbentuk
\begin{equation*}
{\mathbb Z}_{p_1^{ \alpha_1 }} \times {\mathbb Z}_{p_2^{ \alpha_2 }} \times \cdots \times {\mathbb Z}_{p_n^{ \alpha_n }}
\end{equation*}
dengan \(p_i\) bilangan-bilangan prima (yang tidak harus berbeda).