Weyl's theorem on complete reducibility (source code)

= Weyl's theorem on complete reducibility
{c}
{wiki}

= Complete reducibility of semisimple Lie algebra representations
{synonym}

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