# Poincaré–Birkhoff–Witt theorem Poincaré–Birkhoff–Witt theorem For the Poincaré–Birkhoff fixed-point theorem, see Poincaré–Birkhoff theorem.

En mathématiques, more specifically in the theory of Lie algebras, the Poincaré–Birkhoff–Witt theorem (or PBW theorem) is a result giving an explicit description of the universal enveloping algebra of a Lie algebra. It is named after Henri Poincaré, Garrett Birkhoff, and Ernst Witt.

The terms PBW type theorem and PBW theorem may also refer to various analogues of the original theorem, comparing a filtered algebra to its associated graded algebra, in particular in the area of quantum groups.

Contenu 1 Énoncé du théorème 2 More general contexts 3 History of the theorem 4 Remarques 5 References Statement of the theorem Recall that any vector space V over a field has a basis; this is a set S such that any element of V is a unique (fini) linear combination of elements of S. In the formulation of Poincaré–Birkhoff–Witt theorem we consider bases of which the elements are totally ordered by some relation which we denote ≤.

If L is a Lie algebra over a field K, let h denote the canonical K-linear map from L into the universal enveloping algebra U(L).

Théorème. Let L be a Lie algebra over K and X a totally ordered basis of L. A canonical monomial over X is a finite sequence (x1, x2 ..., xn) of elements of X which is non-decreasing in the order ≤, C'est, x1 ≤x2 ≤ ... ≤ xn. Extend h to all canonical monomials as follows: si (x1, x2, ..., xn) is a canonical monomial, laisser {style d'affichage h(X_{1},X_{2},ldots ,X_{n})=h(X_{1})cdot h(X_{2})cdots h(X_{n}).} Then h is injective on the set of canonical monomials and the image of this set {style d'affichage {h(X_{1},ldots ,X_{n})|X_{1}leq ...leq x_{n}}} forms a basis for U(L) as a K-vector space.

Stated somewhat differently, consider Y = h(X). Y is totally ordered by the induced ordering from X. The set of monomials {style d'affichage y_{1}^{k_{1}}y_{2}^{k_{2}}cdots y_{aune }^{k_{aune }}} where y1

Si vous voulez connaître d'autres articles similaires à Poincaré–Birkhoff–Witt theorem vous pouvez visiter la catégorie Lie algebras.

Monter

Nous utilisons nos propres cookies et ceux de tiers pour améliorer l'expérience utilisateur Plus d'informations