Irreducible representation of a Lie group
A group representation with no nontrivial invariant subspaces.
Irreducible representation of a Lie group
Let be a Lie group and let be a (finite-dimensional) representation .
Definition (Irreducible).
The representation is irreducible if the only -invariant subspaces of are and , i.e. there is no proper nonzero subspace with for all .
Link with the Lie algebra (connected case).
Assume is connected and let be the differential representation (compare differentiation is a Lie algebra homomorphism
). Then a subspace is -invariant if and only if it is invariant under . Consequently, for connected , irreducibility of is equivalent to irreducibility of the induced Lie algebra representation
.
Context.
For compact connected groups, irreducible unitary representations are classified by highest weights (see highest-weight theorem
and Peter–Weyl
).