Semisimple representation (source code)

= Semisimple representation
{wiki}

A representation is semisimple when it is a <direct sum> of <irreducible representation>[irreducible representations]. Equivalently, every invariant subspace has an invariant complement.