Let GG be a and let π:GGL(V)\pi:G\to \mathrm{GL}(V) be a (finite-dimensional) .

Definition (Irreducible). The representation (π,V)(\pi,V) is irreducible if the only GG-invariant subspaces of VV are {0}\{0\} and VV, i.e. there is no proper nonzero subspace WVW\subset V with π(g)WW\pi(g)W\subseteq W for all gGg\in G.

Remarks

Link with the Lie algebra (connected case). Assume GG is connected and let dπ:ggl(V)d\pi:\mathfrak g\to \mathfrak{gl}(V) be the differential representation (compare ). Then a subspace WVW\subset V is GG-invariant if and only if it is invariant under dπ(g)d\pi(\mathfrak g). Consequently, for connected GG, irreducibility of π\pi is equivalent to irreducibility of the induced (dπ,V)(d\pi,V).

Context. For compact connected groups, irreducible unitary representations are classified by highest weights (see and ).