Irreducible character
The character of an irreducible complex representation; these form an orthonormal basis of class functions.
Let be a finite group. An irreducible character of is the character of an irreducible (complex) representation .
Equivalent characterizations
Equivalently, irreducible characters are the characters of the simple -modules (via the group algebra correspondence).
Orthogonality and completeness (key facts)
Define the standard inner product on complex class functions by
Then:
- (Orthonormality) Distinct irreducible characters are orthonormal: (see character orthonormality / character orthogonality).
- (Basis of class functions) The irreducible characters form an orthonormal basis of the vector space of class functions on . In particular, the number of irreducible characters equals the number of conjugacy classes (see number of irreducibles = number of conjugacy classes).
- (Degree sum-of-squares) If are the irreducible characters and , then (see sum of squares of degrees).
Examples
Example 1: Cyclic group
Let . Over , every irreducible representation is -dimensional, hence every irreducible character is a homomorphism . Fix a primitive th root of unity . For ,
is an irreducible character, and these characters are all distinct and exhaust the irreducibles.
Example 2: (three irreducible characters)
The group has three conjugacy classes: , transpositions , and -cycles . Hence it has three irreducible characters. A standard character table is:
| conjugacy class | size | representative | | | | |---|---:|---|---:|---:|---:| | | 1 | | 1 | 1 | 2 | | transpositions | 3 | | 1 | | 0 | | 3-cycles | 2 | | 1 | 1 | |
Here is the -dimensional standard character (so ). The degree-sum formula matches .
Example 3: Dihedral group (degrees)
Let be the dihedral group of order . It has conjugacy classes, hence irreducible characters. Their degrees must satisfy , so the only possibility is
i.e. four -dimensional irreducible characters and one -dimensional irreducible character.