There is a second standard way to write a finite abelian group: with as few cyclic factors as possible, each order dividing the next. It answers questions like "what is the largest order of an element?" at a glance.
Invariant factor form. Every finite abelian group is isomorphic to exactly one $$\mathbb{Z}_{d_{1}} \times \mathbb{Z}_{d_{2}} \times \cdots \times \mathbb{Z}_{d_{k}} \quad \text{with } d_{1} \mid d_{2} \mid \cdots \mid d_{k},\ d_{1} \gt 1.$$ The $d_{i}$ are the invariant factors; $d_{k}$ is the largest order of an element (the exponent).
💡 Why it works
From elementary divisors to invariant factors. Write the prime powers for each prime in a row, largest first. Then $d_{k}$ is the product of the first entries of all rows, $d_{k-1}$ the product of the second entries, and so on. Each product uses coprime prime powers, so it is one cyclic group ($\mathbb{Z}_{m} \times \mathbb{Z}_{n} \cong \mathbb{Z}_{mn}$ for coprime $m, n$), and each $d_{i}$ divides the next because every row is in decreasing order. Going back is just factoring each $d_{i}$.
Elementary divisors 4, 2, 9, 3, 5 arranged in rows. Columns multiply to $d_{2} = 4 \cdot 9 \cdot 5 = 180$ and $d_{1} = 2 \cdot 3 = 6$.| Prime | largest | next | next |
|---|
| 2 | 4 | 2 | |
| 3 | 9 | 3 | |
| 5 | 5 | | |
✏️ Worked example: Converting
Write $\mathbb{Z}_{2} \times \mathbb{Z}_{4} \times \mathbb{Z}_{3} \times \mathbb{Z}_{9} \times \mathbb{Z}_{5}$ in invariant factor form.
- Rows: $2$: $4, 2$; $3$: $9, 3$; $5$: $5$.
- First column: $4 \cdot 9 \cdot 5 = 180$. Second column: $2 \cdot 3 = 6$.
- $\mathbb{Z}_{6} \times \mathbb{Z}_{180}$, and $6 \mid 180$.
Answer: $\mathbb{Z}_{6} \times \mathbb{Z}_{180}$.
✏️ Worked example: Deciding isomorphism
Is $\mathbb{Z}_{6} \times \mathbb{Z}_{20} \cong \mathbb{Z}_{4} \times \mathbb{Z}_{30}$?
- Left: $\mathbb{Z}_{2} \times \mathbb{Z}_{3} \times \mathbb{Z}_{4} \times \mathbb{Z}_{5}$, so invariant factors $2, 60$.
- Right: $\mathbb{Z}_{4} \times \mathbb{Z}_{2} \times \mathbb{Z}_{3} \times \mathbb{Z}_{5}$, also $2, 60$.
Answer: Yes, both are $\mathbb{Z}_{2} \times \mathbb{Z}_{60}$.
Counting elements of a given order
In $\mathbb{Z}_{n}$ the equation $dx = 0$ has exactly $\gcd(d, n)$ solutions. In a product the solutions multiply, so the number of elements with order dividing $d$ in $\mathbb{Z}_{n_{1}} \times \cdots \times \mathbb{Z}_{n_{k}}$ is $\gcd(d, n_{1})\cdots\gcd(d, n_{k})$. Subtract the counts for proper divisors of $d$ to get the elements of order exactly $d$.
✏️ Worked example: Elements of order 4
How many elements of order $4$ does $\mathbb{Z}_{4} \times \mathbb{Z}_{4}$ have?
- Order dividing $4$: $\gcd(4, 4)^{2} = 16$, all of them.
- Order dividing $2$: $\gcd(2, 4)^{2} = 4$.
- Order exactly $4$: $16 - 4 = 12$.
Answer: $12$.
⚠️ Common mistake
Merging factors whose orders share a prime: $\mathbb{Z}_{2} \times \mathbb{Z}_{4}$ is not $\mathbb{Z}_{8}$ (it has no element of order 8). Only coprime orders combine. In the row method this is automatic: a column never contains two powers of the same prime.
Telling groups apart. $\mathbb{Z}_{6} \times \mathbb{Z}_{12}$ and $\mathbb{Z}_{2} \times \mathbb{Z}_{36}$ both have order $72$, and both are already in invariant factor form. The lists $(6, 12)$ and $(2, 36)$ differ, so the groups are not isomorphic. A direct witness: $\mathbb{Z}_{2} \times \mathbb{Z}_{36}$ has an element of order $36$, while every element of $\mathbb{Z}_{6} \times \mathbb{Z}_{12}$ has order dividing $12$.
🔑 Key idea
Invariant factor form: $\mathbb{Z}_{d_{1}} \times \cdots \times \mathbb{Z}_{d_{k}}$ with $d_{1} \mid d_{2} \mid \cdots \mid d_{k}$,
built from the elementary divisors column by column. Two finite abelian groups are isomorphic exactly when their invariant factors match.