Théorème de Engel

Le théorème de Engel porte sur la structure des algèbres de Lie. Sommairement, il affirme que les deux notions de nilpotence que l'on peut définir pour une algèbre de Lie coïncident.

Rappelons qu'une algèbre de Lie est dite nilpotente si la suite définie par récurrence par par et finit par arriver à 0, autrement dit s'il existe un i tel que .

Rappelons également qu'un endomorphisme A d'un espace vectoriel est dit nilpotent s'il existe un entier n tel que An = 0.

Si , on note ad(x) l'endomorphisme de défini par ad(x)(y) = [x, y]. On dit que x est ad-nilpotent si ad(x) est nilpotent. Il découle facilement de la définition que si est une algèbre de Lie nilpotente, alors tout élément de est ad-nilpotent.

Le théorème de Engel s'énonce alors comme suit :

Théorème  Si tous les éléments d'une algèbre de Lie de dimension finie sont ad-nilpotents, alors est nilpotente.

Ce théorème découle en fait du résultat de trigonalisation suivant, que certains auteurs appellent également théorème de Engel :

Théorème  Soient un espace vectoriel de dimension finie et une sous-algèbre de Lie de . On suppose que tous les éléments de sont nilpotents. Alors il existe une base de V dans laquelle tous les éléments de sont des matrices triangulaires supérieures (strictes).

Voir aussi

Articles connexes

Bibliographie

  • (en) Thomas Hawkins, Emergence of the Theory of Lie Groups : An Essay in the History of Mathematics, 1869-1926, Springer, , 566 p. (ISBN 978-0-387-98963-1, lire en ligne), p. 176-178
Relate l'échange de correspondance entre Friedrich Engel et Wilhelm Killing, en particulier la lettre du 20 juillet 1890 dans laquelle Engel ébauche la preuve de ce théorème.
  • (de) Karl Arthur Umlauf, Über die Zusammensetzung der endlichen continuierlichen Transformationsgruppen, insbesondre der Gruppen vom Range Null, Leipzig, Breitkopf & Härtel, (lire en ligne)
Thèse dans laquelle cet étudiant de Engel rédige la preuve en détail.
  • (en) Joachim Hilgert et Karl-Hermann Neeb, Structure and Geometry of Lie Groups, Springer, , 746 p. (ISBN 978-0-387-84793-1, lire en ligne), p. 93-95
Énoncé et démonstration des deux théorèmes + contre-exemple en dimension infinie.
  • Portail des mathématiques
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.