Size of conjugacy class is bounded by order of derived subgroup
This in particular imposes a constraint on the conjugacy class size statistics of a finite group.
- Every conjugacy class is contained in a coset of the derived subgroup
- Left cosets are in bijection via left multiplication
By Facts (1) and (2), every conjugacy class is contained in a set whose size equals that of the derived subgroup, completing the proof.