Proposition (Decomposition underlying the class equation). Let GG be a finite , acting on itself by . Then:

  1. GG is a disjoint union of its .
  2. The elements with singleton conjugacy class are exactly the Z(G)Z(G).
  3. For each xGx\in G, the conjugacy class of xx has size [G:CG(x)][G:C_G(x)], where CG(x)C_G(x) is the .

Thus, choosing one representative xix_i from each conjugacy class outside the center gives the

G  =  Z(G)  +  i[G:CG(xi)].|G| \;=\; |Z(G)| \;+\; \sum_i [G:C_G(x_i)].
Remarks

The formula follows from the and is a key counting tool for finite pp-groups.