Bourbaki

Exercice 11, § 4

Groupes et algèbres de Lie, I

Bourbaki marks this one as harder than the rest.

Soient LL un anneau commutatif, AA une algèbre artinienne à gauche sur LL, γ\gamma une application de A×AA \times A dans LL. On définit dans AA la loi de composition interne (a,b)↦a∗b=ab+γ(a,b)ba(a, b) \mapsto a * b = ab + \gamma(a, b)ba. Pour toute partie EE de AA, on désigne par E~\tilde{E} le sous-anneau (sans élément unité) de AA engendré par EE. Montrer que, si EE est formé d’éléments nilpotents et est stable pour la loi ∗*, alors E~\tilde{E} est nilpotent (c’est-à-dire qu’il existe n>0n > 0 tel que E~n={0}\tilde{E}^n = \{0\}). On pourra procéder de la façon suivante :

1° Supposons d’abord que AA soit un anneau simple, donc isomorphe à LD(T)\mathscr{L}_D(T), où TT est un espace vectoriel à gauche de dimension finie mm sur un corps DD. On raisonne par récurrence sur mm. Soit Φ\Phi l’ensemble des parties F⊂EF \subset E stables pour ∗* et telles que F~\tilde{F} soit nilpotent. Montrer que Φ\Phi admet un élément maximal MM (remarquer que F~m={0}\tilde{F}^m = \{0\} pour tout F∈ΦF \in \Phi). Supposons M~≠E~\tilde{M} \neq \tilde{E}. Montrer qu’il existe un a∈Ea \in E tel que a∉M~a \notin \tilde{M} et t∗a∈M~t * a \in \tilde{M} pour tout t∈Mt \in M (observer qu’il ne peut y avoir de suite infinie (an)(a_n) telle que an∈E,an∉M,an=tn−1∗an−1a_n \in E, a_n \notin M, a_n = t_{n-1} * a_{n-1} avec tn−1∈Mt_{n-1} \in M). Soit SS le sous-espace de TT somme des u(T)u(T) avec u∈M~u \in \tilde{M}; montrer que S≠{0}S \neq \{0\} et S≠TS \neq T, et que l’on a a(S)⊂Sa(S) \subset S. Soit NN l’ensemble des v∈Ev \in E tels que v(S)⊂Sv(S) \subset S. En utilisant l’hypothèse de récurrence et considérant les éléments de NN 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.

Transcrit du volume imprimé. Non traduit.