Exercice 4, § 3
Groupes et algèbres de Lie, II
Bourbaki marks this one as harder than the rest.
On suppose que est un corps de caractéristique . a) Soit une base de la sous-algèbre de Lie de . Montrer (en utilisant l’isomorphisme , ainsi que le théorème de Poincaré–Birkhoff–Witt) que les éléments () sont linéairement indépendants sur . b) Si est un entier , on note le sous-module de de base les pour . Montrer que est une sous-algèbre de Lie de , et que, si , on a (raisonner par récurrence sur , et utiliser les formules de Jacobson, cf. chap. I, § 1, exerc. 19). En déduire que ne dépend pas du choix de , et que c’est la sous-algèbre de Lie de engendrée par les , pour . c) Soit la réunion des pour . Montrer que est la plus petite -sous-algèbre de Lie de contenant (cf. chap. I, § 1, exerc. 20); elle admet pour base la famille des pour . d) Soit l’algèbre enveloppante restreinte de , cf. chap. I, § 2, exerc. 6. Montrer que l’injection de dans se prolonge en un isomorphisme de sur . (Utiliser le théorème de Poincaré–Birkhoff–Witt, ainsi que l’exerc. cité ci-dessus.) En déduire que est l’ensemble des éléments primitifs de , cf. § 1, exerc. 12. e) Soit une application de dans une -algèbre de Lie . Montrer que se prolonge de façon unique en un -homomorphisme . (Commencer par prolonger en un homomorphisme d’algèbres de dans .) (La -algèbre de Lie s’appelle la -algèbre de Lie libre sur l’ensemble .)
Solution
Aucune solution n’a encore été écrite.