The class equation partitions a finite group into singleton classes of central elements and noncentral conjugacy classes. It is the standard formula for extracting arithmetic information from the conjugation action. [@isaacs2008]
Definition
The conjugacy class is written \(x^G\) or \(\operatorname{Cl}_G(x)\). The center \(Z(G)\) is precisely the set of elements whose conjugacy classes have size \(1\).
Core result
Let \(G\) act on itself by conjugation. The orbits are conjugacy classes and the stabilizer of \(x\) is \(C_G(x)\). Orbit-stabilizer gives each class size, and summing the orbit partition proves the equation.
Structural properties
- If \(P\) is a nontrivial finite \(p\)-group, every noncentral class size is divisible by \(p\), so \(|Z(P)|\) is divisible by \(p\) and at least \(p\).
- If \(G/Z(G)\) is cyclic, then \(G\) is abelian; together with the class equation this rules out many small nonabelian structures.
- The same orbit argument for a \(p\)-group acting on a finite set gives \(|\Omega|\equiv|\Omega^P|\pmod p\).
- In \(S_n\), conjugacy classes are determined by cycle type, and centralizer orders come from rotations of cycles and permutations of equal-length cycles.
- Class sizes divide the group order, but their possible collections are further constrained by the center and normal-subgroup structure.
Isaacs uses the equation to prove that finite \(p\)-groups have nontrivial center, leading to normalizer growth, normal subgroups of every prime-power order, and nilpotence.
Example and boundary
Knowledge network
The group-action article explains the formula, the finite p-group article develops the center theorem and induction, and the conjugacy-class article handles splitting and concrete calculations.
Proof and sources
The formula is Isaacs, Theorem 1.5, and the p-group application is Theorem 1.19. All remaining steps are direct orbit-stabilizer consequences. [@isaacs2008]
