# Poincaré-Birkhoff-Witt theorem

> English word · Proper noun

## Definitions
1. A result giving an explicit description of the universal enveloping algebra of a Lie algebra.

## Etymology
Named after Henri Poincaré, Garrett Birkhoff, and Ernst Witt.

## Source
Compiled from Wiktionary via kaikki.org (CC BY-SA). Data vintage: 2026-05-06.
Canonical page: https://plainspell.com/en/word/poincare-birkhoff-witt-theorem