Weyl's theorem on complete reducibility
In algebra, Weyl's theorem on complete reducibility is a fundamental result in the theory of Lie algebra representations (specifically in the representation theory of semisimple Lie algebras). Let g {\displaystyle {\mathfrak {g}}} be a semisimple Lie algebra over a field of characteristic zero.
Source: Wikipedia — Weyl's theorem on complete reducibility (CC BY-SA 4.0)