Character of a representation
The class function χ(g)=tr(ρ(g)) attached to a finite-dimensional representation ρ of a finite group.
Let be a finite group and let be a finite-dimensional complex representation. The character of is the function
where is the trace of a linear operator on .
Properties
- Class function. For all ,
Equivalently, is constant on conjugacy classes, i.e. it is a class function.
- Isomorphism invariance. If (isomorphic representations), then .
- Additivity and multiplicativity.
- For a direct sum ,
- For a tensor product ,
- Dimension. .
Characters are central tools because many structural questions about representations reduce to identities among class functions and the orthogonality relations.
Examples
Example 1: Trivial representation
If is the trivial representation on (every acts as ), then
for all .
Example 2: Regular representation
Let be the group algebra and let act by left multiplication (the regular representation). Its character satisfies
(For , left multiplication by permutes the basis without fixed points, so the corresponding permutation matrix has trace .)
Example 3: The standard -dimensional representation of
Let act on by permuting coordinates, and restrict to the -dimensional subspace
which is -stable. The resulting representation has character values (constant on conjugacy classes):
- ,
- ,
- .
This is the character of the unique -dimensional irreducible representation of .