Exercice 12, § 3
Étiquette 00VS, permanente. À citer comme [Bourbaki, Tag 00VS].
Groupes et algèbres de Lie, VII
Bourbaki marks this one as harder than the rest.
a) Soient une algèbre de Lie résoluble, et un sous-groupe fini (resp. compact si ou ) de . Montrer qu'il existe une sous-algèbre de Cartan de stable par . (Raisonner par récurrence sur , et se ramener au cas où est extension d'une algèbre nilpotente par un idéal commutatif qui est un -module simple non trivial (cf. dém. du th. 3). Les sous-algèbres de Cartan de forment alors un espace affine attaché à , sur lequel opère. Conclure par un argument de barycentre.) b) Soient une algèbre de Lie résoluble, et une sous-algèbre de Lie de . On suppose que le -module est semi-simple. Montrer qu'il existe une sous-algèbre de Cartan de stable par . (Même méthode.)
Solution
Aucune solution n’a encore été écrite.