Reducible representation (source code)

= Reducible representation
{wiki}

A nonzero representation is reducible when it has a nonzero proper <invariant subspace>; otherwise it is an <irreducible representation>.