Complete reducibility of semisimple Lie algebra representations (source code)

= Complete reducibility of semisimple Lie algebra representations
{c}
{wiki=Weyl's_theorem_on_complete_reducibility}

Every finite-dimensional representation of a complex semisimple Lie algebra is a direct sum of irreducible representations.