Bourbaki

Exercice 4, § 3

Groupes et algèbres de Lie, II

Bourbaki marks this one as harder than the rest.

On suppose que KK est un corps de caractéristique p>0p > 0. a) Soit HH une base de la sous-algèbre de Lie L(X)L(X) de A(X)A(X). Montrer (en utilisant l’isomorphisme U(L(X))→A(X)U(L(X)) \to A(X), ainsi que le théorème de Poincaré–Birkhoff–Witt) que les éléments hpnh^{p^n} (h∈H,n∈Nh \in H, n \in \mathbf{N}) sont linéairement indépendants sur KK. b) Si mm est un entier ⩾0\geqslant 0, on note LmL_m le sous-module de A(X)A(X) de base les hpnh^{p^n} pour h∈H,n⩽mh \in H, n \leqslant m. Montrer que LmL_m est une sous-algèbre de Lie de A(X)A(X), et que, si a∈Lm−1a \in L_{m-1}, on a ap∈Lma^p \in L_m (raisonner par récurrence sur mm, et utiliser les formules de Jacobson, cf. chap. I, § 1, exerc. 19). En déduire que LmL_m ne dépend pas du choix de HH, et que c’est la sous-algèbre de Lie de A(X)A(X) engendrée par les xpnx^{p^n}, pour x∈X,n⩽mx \in X, n \leqslant m. c) Soit L(X,p)L(X, p) la réunion des LmL_m pour m⩾0m \geqslant 0. Montrer que L(X,p)L(X, p) est la plus petite pp-sous-algèbre de Lie de A(X)A(X) contenant XX (cf. chap. I, § 1, exerc. 20); elle admet pour base la famille des hpnh^{p^n} pour h∈H,n∈Nh \in H, n \in \mathbf{N}. d) Soit U~(L(X,p))\tilde{U}(L(X, p)) l’algèbre enveloppante restreinte de L(X,p)L(X, p), cf. chap. I, § 2, exerc. 6. Montrer que l’injection de L(X,p)L(X, p) dans A(X)A(X) se prolonge en un isomorphisme de U~(L(X,p))\tilde{U}(L(X, p)) sur A(X)A(X). (Utiliser le théorème de Poincaré–Birkhoff–Witt, ainsi que l’exerc. cité ci-dessus.) En déduire que L(X,p)L(X, p) est l’ensemble des éléments primitifs de A(X)A(X), cf. § 1, exerc. 12. e) Soit ff une application de XX dans une pp-algèbre de Lie gg. Montrer que ff se prolonge de façon unique en un pp-homomorphisme F:L(X,p)→gF : L(X, p) \to g. (Commencer par prolonger ff en un homomorphisme d’algèbres de A(X)A(X) dans UgUg.) (La pp-algèbre de Lie L(X,p)L(X, p) s’appelle la pp-algèbre de Lie libre sur l’ensemble XX.)

Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.