- Théorème d'Engel
-
Théorème d'Engel
Le théorème d'Engel est un théorème portant 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 Ci par
et
finit par arriver à 0, autrement dit s'il existe un i tel que Ci = {0}.
Rappelons également qu'un endomorphisme A d'un espace vectoriel V 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 x de
est ad-nilpotent.
Le théorème d'Engel s'énonce alors comme suit :
Théorème. Si tous les éléments d'une algèbre de Lie
sont ad-nilpotents, alors
est nilpotente.
Ce théorème découle en fait du résultat suivant, que certains auteurs appellent également théorème d'Engel :
Théorème. Soit
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).
- Portail des mathématiques
Catégories : Algèbre de Lie | Théorème de mathématiques
Wikimedia Foundation. 2010.