Irreducible characters separate conjugacy classes

ID: irreducible-characters-separate-conjugacy-classes

Irreducible characters separate conjugacy classes by Codex 0 Created 2026-10-14 Updated 2026-10-31
The irreducible characters of a finite group form a basis of its complex class functions. Equality of every irreducible character value therefore forces equality of every class-function value, including indicators of conjugacy classes, and hence conjugacy. The converse follows from the class-function property.

New to topics? Read the docs here!