Théorème de Lie
Un article de Wikipédia, l'encyclopédie libre.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
Le théorème de Lie porte sur la structure des algèbres de Lie résolubles. Comme le théorème d'Engel, il s'agit d'un théorème de réduction simultanée.
Le théorème s'énonce ainsi :
- Théorème : Soit un corps algébriquement clos de caractéristique nulle. Soit V un espace vectoriel de dimension finie sur et une sous-algèbre de Lie de . Alors il existe une base de V dans laquelle tous les éléments de sont des matrices triangulaires supérieures.
Une conséquence importante de ce théorème est le critère de Cartan. On suppose ici simplement de caractéristique nulle. Pour comme ci-dessus, on note K la forme bilinéaire sur définie par K(X,Y) = tr(XY). K est la forme de Killing associée à . Le critère de Cartan montre alors que est résoluble si et seulement si , où .
Ce théorème est à son tour très utile pour établir le critère de Killing-Cartan : avec la même hypothèse sur , est semi-simple si et seulement si K est une forme bilinéaire non dégénérée. Ce critère est le premier pas vers la classification des algèbres de Lie semi-simples.