Subrepresentation

Suppose we have a representation of $G$. Given a $G$-invariant subspace $W$ we can define another representation (called subrepresentation) by means of restrictions

Observe that $V$ itself and $\{0\}$ are trivial subrepresentations.

The absence of non-trivial subrepresentation is called irreducibility.