Irreducible representation
A nonzero representation with no proper, nontrivial invariant subspaces.
Let be a finite-dimensional group representation of a group over a field . The representation is irreducible if its only subrepresentations are and itself.
Equivalent characterizations
Equivalently, is a simple -module (compare simple module).
Remarks
Irreducible representations are the building blocks of completely reducible ones, and their characters are the irreducible characters.
Structural consequence (Schur)
A key fact is Schur's lemma: for irreducible , -equivariant endomorphisms of are very restricted (over an algebraically closed field, they are just scalars).
Examples
- Cyclic groups over : all irreducibles are 1-dimensional. For and , every irreducible representation is hence . (These are precisely the complex characters of .)
- Irreducibles of over . Over , the group has exactly three irreducible representations up to isomorphism:
- the trivial 1-dimensional representation,
- the sign 1-dimensional representation ,
- a 2-dimensional “standard” representation, realized as the action of on where permutes coordinates of .
- Dependence on the field: a representation irreducible over but reducible over . Let . Consider with This rotation has no real eigenvectors, hence no -dimensional -invariant subspace; therefore is irreducible over . After extending scalars to , becomes diagonalizable with eigenvalues , so splits as a direct sum of two -dimensional -representations.
See also: character orthogonality, number of irreducibles and conjugacy classes.