Finite abelian group

A finite abelian group combines a finite set of reversible operations with commutativity. All finite cyclic groups qualify, but direct products of groups supply examples that need more than one generator of a group. The Fundamental theorem of finitely generated abelian groups says that every finite abelian group is a direct product of groups of finite cyclic groups; the finite case has no infinite cyclic factors.^[ref]

These factors distinguish different ways to have the same total number of states. A single four-position dial gives $C_4$, while two independent binary switches give $C_2\times C_2$. Both have four states and commutative composition, yet only the dial permits a single operation whose repetition visits all four states. The following Cayley tables make that distinction visible without relying on the labels alone.

The finite cyclic group $C_4=\mathbb{Z}/4\mathbb{Z}$ and the Klein four-group $V_4=C_2\times C_2$ are both abelian groups of order four. In $C_4$, composition is addition modulo four. In $V_4$, label the elements $00,01,10,11$ and add each coordinate modulo two. For example, $01+10=11$ and $11+11=00$.

The order of a group element is preserved by a group isomorphism: an equation $g^m=e$ holds exactly when its image satisfies the same equation. In $C_4$, both $1$ and $3$ have order four. In $V_4$, each nonidentity element has order two. Hence these groups are not isomorphic, despite having the same order of a finite group. No relabelling can repair this discrepancy.

For a geometric model of $V_4$, take the symmetries of a non-square rectangle: the identity element, reflection in its horizontal axis, reflection in its vertical axis, and rotation through $180^{\circ }$. The two reflections commute, and their composite is the half-turn. Every nonidentity motion is its own inverse element. This makes the two binary switches concrete: choosing whether to apply each reflection specifies all four motions. The case of abelian groups of prime-square order generalizes this distinction from $p=2$ to any prime $p$.

An elementary abelian $p$-group is a finite abelian group in which every nonidentity element has order $p$. It is equivalently a finite-dimensional vector space over ${\mathbb{F}}_p$ under addition.

A group of exponent two is abelian. Give such a finite group the additive notation of a vector space over ${\mathbb{F}}_2$, with zero acting as zero and one as the identity scalar. The group axioms and $g+g=0$ verify the vector-space laws. A basis with $d$ vectors then gives exactly $2^d$ elements. Thus a finite group whose elements all have order at most two must have power-of-two order.