Maths WorkshopMaths problems with full solutions
Exercise 2152Algebra › GroupsM1Added 3 Nov 2026

Groups of order $p^2$

#p-group#abelian#order

Statement

Show that any group of order p2p^2 (with pp prime) is abelian.

Hint

The center of a finite pp-group is nontrivial. If GG has order p2p^2, either Z(G)=GZ(G)=G or Z(G)Z(G) has order pp and G/Z(G)G/Z(G) is cyclic.

Show solutionHide solution

Solution

Center is nontrivial. By the class equation, ∣Z(G)∣≡∣G∣≡0(modp)|Z(G)|\equiv|G|\equiv0\pmod p, so pp divides ∣Z(G)∣|Z(G)|.

Case 1: Z(G)=GZ(G)=G. Done, GG abelian.

Case 2: ∣Z(G)∣=p|Z(G)|=p. Then ∣G/Z(G)∣=p|G/Z(G)|=p, so G/Z(G)G/Z(G) is cyclic (any group of prime order is cyclic). But if G/Z(G)G/Z(G) is cyclic, then GG is abelian (a standard lemma: if G/Z(G)G/Z(G) is cyclic, GG is abelian).

Contradiction. But GG abelian implies Z(G)=GZ(G)=G, contradicting ∣Z(G)∣=p|Z(G)|=p.

Conclusion. Case 2 is impossible, so GG is abelian.