Let be a linear representation of
. We say that it is irreducible or simple if
is not 0 and if no vector subspace of
is stable under
, except of course 0 and
. This is equivalent to saying
is not the direct sum of two representations, except for the trivial decomposition
.