Irreducible representation of a Lie group
A group representation with no nontrivial invariant subspaces.
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 .
Remarks
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).