Jacobson–Morozov theorem

The Jacobson–Morozov theorem is a result in the representation theory of Lie algebras, specifically concerning the existence of certain embeddings of semisimple Lie algebras.