Class equation decomposition
A finite group decomposes into its center and nontrivial conjugacy classes
Proposition (Decomposition underlying the class equation). Let be a finite group, acting on itself by conjugation. Then:
- is a disjoint union of its conjugacy classes.
- The elements with singleton conjugacy class are exactly the center .
- For each , the conjugacy class of has size , where is the centralizer.
Thus, choosing one representative from each conjugacy class outside the center gives the class equation
Remarks
The formula follows from the orbit–stabilizer theorem and is a key counting tool for finite -groups.