Exercice 11, § 4
Groupes et algèbres de Lie, I
Bourbaki marks this one as harder than the rest.
Soient un anneau commutatif, une algèbre artinienne à gauche sur , une application de dans . On définit dans la loi de composition interne . Pour toute partie de , on désigne par le sous-anneau (sans élément unité) de engendré par . Montrer que, si est formé d’éléments nilpotents et est stable pour la loi , alors est nilpotent (c’est-à-dire qu’il existe tel que ). On pourra procéder de la façon suivante :
1° Supposons d’abord que soit un anneau simple, donc isomorphe à , où est un espace vectoriel à gauche de dimension finie sur un corps . On raisonne par récurrence sur . Soit l’ensemble des parties stables pour et telles que soit nilpotent. Montrer que admet un élément maximal (remarquer que pour tout ). Supposons . Montrer qu’il existe un tel que et pour tout (observer qu’il ne peut y avoir de suite infinie telle que avec ). Soit le sous-espace de somme des avec ; montrer que et , et que l’on a . Soit l’ensemble des tels que . En utilisant l’hypothèse de récurrence et considérant les éléments de comme opérant sur S et sur T/S, montrer que l’on aurait N ∈ Φ, ce qui entraîne contradiction.
2° Dans le cas général, utiliser le fait que le radical de A est nilpotent. Déduire de ce résultat une nouvelle démonstration du th. d’Engel.
Solution
Aucune solution n’a encore été écrite.