Weyl complete reducibility theorem (source code)

= Weyl complete reducibility theorem
{c}
{wiki}

Every finite-dimensional representation of a complex <semisimple Lie algebra> is a <direct sum> of <irreducible representations>. Equivalently, every invariant subspace has an invariant complement.