Accueil🇫🇷Chercher

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

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 d'éléments de croissante au sens large (c'est-à-dire que pour tout , ).

La définition de l'algèbre enveloppante de assure l'existence d'une application linéaire

.

On étend aux monômes canoniques en posant

ce qui a un sens puisque est une algèbre associative sur un corps.

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

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

Autrement dit, soit . Alors l'ensemble

est une base de .

Conséquence

L'application est injective. Ainsi, en munissant de sa structure naturelle d'algèbre de Lie (en posant ), peut être vue comme une sous-algèbre de Lie de .

Bibliographie

  • (en) Garrett Birkhoff, « Representability of Lie Algebras and Lie Groups by Matrices », Annals of Mathematics, vol. 38, no 2, , p. 526–532 (lire en ligne)
  • Nicolas Bourbaki, Groupes et algèbres de Lie, Paris, Hermann, , « Chapitre 1: Algèbres de Lie ».
  • Henri Cartan et Samuel Eilenberg, Homological Algebra, vol. 19, Princeton University Press, , 390 p. (ISBN 978-0-691-04991-5, lire en ligne).
  • (en) P. M. Cohn, « A Remark on the Birkhoff-Witt Theorem », J. London Math. Soc., vol. 38, , p. 197-203
  • (en) « Théorème de Poincaré-Birkhoff-Witt », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, (ISBN 978-1556080104, lire en ligne)
  • Pierre-Paul Grivel, « Une histoire du théorème de Poincaré-Birkhoff-Witt », Expositiones Mathematicae, vol. 22, , p. 145-184
  • (en) P.J. Higgins, « Baer Invariants and the Birkhoff-Witt Theorem », Journal of Algebra, vol. 11, , p. 469-482 (lire en ligne)
  • G. Hochschild, The Theory of Lie Groups, Holden-Day, .
  • A. W. Knapp, Representation Theory of Semisimple Groups. An Overview Based on Examples, Princeton University Press, .
  • A. W. Knapp, Lie Groups Beyond an Introduction, Birkhäuser, .
  • Henri Poincaré, « Sur les groupes continus », Trans. Cambr. Philos. Soc., vol. 18, , p. 220–225
  • (en) T. Ton-That et T.-D. Tran, « Poincaré's Proof of the So-Called Birkhoff-Witt Theorem », Rev. Histoire Math., vol. 5, , p. 249–284 (lire en ligne)
  • (de) Ernst Witt, « Treue Darstellung Liescher Ringe », J. Reine Angew. Math., vol. 177, , p. 152–160 (lire en ligne)
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.