A non-zero representation \(\phi:G \to GL(V)\) is said to be irreducible if the only \(G\)-invariant subspace of \(V\) are \(\{ 0 \}\) and \(V\).