Теорема Пуанкаре — Биркгофа — Витта — утверждение, описывающее универсальную обёртывающую алгебру для заданной алгебры Ли над полем с базисом в векторном пространстве : элементы и () образуют базис в линейном пространстве . В частности, отображение является вложением в , то есть ядро отображения равно [1][2][3].
- Наймарк М. А. Теория представлений групп. — М.: Наука, 1976. — 558 с.