A nonzero finite-dimensional representation always contains a nonzero subrepresentation that is irreducible, the fact seen by induction on dimension.
This fact is generally false for infinite-dimensional representations.
is a representation of G, then there is the trivial subrepresentation: If
is an equivariant map between two representations, then its kernel is a subrepresentation of
This abstract algebra-related article is a stub.
You can help Wikipedia by expanding it.