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

The class equation

#class equation#conjugacy#center

Statement

State the class equation for a finite group GG and use it to prove that a non-trivial pp-group has a non-trivial center.

Hint

∣G∣=∣Z(G)∣+∑[G:C(gi)]|G|=|Z(G)|+\sum[G:C(g_i)] over representatives of non-central conjugacy classes.

Show solutionHide solution

Solution

Class equation. GG decomposes into conjugacy classes. Central elements are singleton classes. For non-central representatives gig_i:
∣G∣=∣Z(G)∣+∑i[G:C(gi)].|G|=|Z(G)|+\sum_i[G:C(g_i)].

pp-group. Suppose ∣G∣=pn|G|=p^n with n≥1n\ge1. Each index [G:C(gi)][G:C(g_i)] for gig_i non-central is a positive power of pp (since C(gi)≠GC(g_i)\neq G). So every term in the sum is divisible by pp.

Conclusion. ∣Z(G)∣≡∣G∣≡0(modp)|Z(G)|\equiv|G|\equiv0\pmod p, so ∣Z(G)∣≥p|Z(G)|\ge p: the center is non-trivial.