Exercise 2152Algebra › GroupsM1Added 3 Nov 2026
Groups of order $p^2$
#p-group#abelian#order
Statement
Show that any group of order (with prime) is abelian.
Hint
The center of a finite -group is nontrivial. If has order , either or has order and is cyclic.
Show solutionHide solution
Solution
Center is nontrivial. By the class equation, , so divides .
Case 1: . Done, abelian.
Case 2: . Then , so is cyclic (any group of prime order is cyclic). But if is cyclic, then is abelian (a standard lemma: if is cyclic, is abelian).
Contradiction. But abelian implies , contradicting .
Conclusion. Case 2 is impossible, so is abelian.