Explanation

Since \(12=2^2\cdot3\), the part of order \(4\) is either \(\mathbb{Z}_4\) or \(\mathbb{Z}_2\times\mathbb{Z}_2\) and the part of order \(3\) is unique: there are 2 groups.

Study Modern algebra I in ZWMath →

Review the concept: Classification of finite abelian groups

Every finite abelian group \(G\) is isomorphic to a direct product of cyclic groups \(\mathbb{Z}_{p^k}\), with \(p\) prime and \(k\ge1\), unique up to order.

\[G\cong\mathbb{Z}_{p_1^{k_1}}\times\cdots\times\mathbb{Z}_{p_r^{k_r}}\]

More practice problems: classification of finite abelian groups

ZW-CLASSIFICATION-OF-FINITE-ABELIAN-GROUPS-002 →