Théorème de Poincaré-Birkhoff-Witt

Modèle:Voir homonymes En mathématiques, et plus particulièrement en algèbre générale, dans la théorie des algèbres de Lie, le théorème de Poincaré-Birkhoff-Witt est un théorème fondamental qui permet de décrire précisément la structure de l'algèbre enveloppante d'une algèbre de Lie.

Ce théorème est le résultat des travaux de Henri Poincaré en 1900, Garrett Birkhoff en 1937 et Ernst Witt en 1937. Il est parfois appelé en abrégé « théorème PBW ».

Énoncé

Soit $𝔤$ une algèbre de Lie, $ℬ$ une base de $𝔤$. On suppose que $ℬ$ est totalement ordonnée. On appelle monôme canonique toute suite finie $(x_1,\dots ,x_n)$ d'éléments de $ℬ$ croissante au sens large (c'est-à-dire que pour tout $1\le i\le n-1$, $x_i\le x_{i+1}$).

La définition de l'algèbre enveloppante $U(𝔤)$ de $𝔤$ assure l'existence d'une application linéaire

$L:𝔤⟶U(𝔤)$.

On étend $L$ aux monômes canoniques en posant

$L(x_1,\dots ,x_n)=L(x_1)L(x_2)\dots L(x_n)$

ce qui a un sens puisque $U(𝔤)$ est une algèbre associative sur un corps.

Le théorème proprement dit est le suivant :

L'application $L$ définit une injection de $𝔤$ dans $U(𝔤)$, et l'ensemble des images par $L$ des monômes canoniques est une base de $U(𝔤)$.

Autrement dit, soit $Y=L(ℬ)$. Alors l'ensemble

$\{y_1^{k_1}\dots y_l^{k_l},y_i\in Y,y_i\le y_{i+1}\}$

est une base de $U(𝔤)$.

Conséquence

L'application $L$ est injective. Ainsi, en munissant $U(𝔤)$ de sa structure naturelle d'algèbre de Lie (en posant $[x,y]=xy-yx$), $𝔤$ peut être vue comme une sous-algèbre de Lie de $U(𝔤)$.

Bibliographie

• Modèle:Article
• Modèle:Ouvrage.
• Modèle:Ouvrage.
• Modèle:Article
• Modèle:EncycloMath
• Modèle:Article
• Modèle:Article
• Modèle:Ouvrage.
• Modèle:Ouvrage.
• Modèle:Ouvrage.
• Modèle:Article
• Modèle:Article
• Modèle:Article