Birkhoff-Witt theorem

Every Lie algebra L is isomorphic to a subalgebra of some Lie algebra A^-, where the associative algebra A may be taken to be the linear operators over a vector space V.

associative | Lie algebra | vector space

Ernst Witt | George David Birkhoff | Henri Poincaré