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 A = 0.
Si , on note l'endomorphisme de défini par . On dit que est ad-nilpotent si 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 :
Ce théorème découle en fait du résultat de trigonalisation suivant, que certains auteurs appellent également théorème de Engel :
Voir aussi Articles connexes Théorème de Lie Théorème de Lie-Kolchin
Bibliographie
.
Catégorie:Algèbre de Lie Engel