Exercice 3, § 4
Groupes et algèbres de Lie, II
Bourbaki marks this one as harder than the rest.
Soit une filtration réelle d’un groupe et soit la fonction d’ordre correspondante. On suppose que opère à gauche sur et que, pour tout , l’application est un automorphisme du groupe filtré . a) Si , on note l’ensemble des tels que
Montrer que est une filtration réelle de et que si . On note la fonction d’ordre correspondante. b) On suppose que la filtration est centrale, et que . Montrer que est une filtration centrale de . Si et , soit (resp. ) un représentant de (resp. ) dans (resp. ); montrer que l’image de dans est indépendante des choix de et ; si on la note , montrer que se prolonge en une dérivation de degré de l’algèbre de Lie et que est un homomorphisme de l’algèbre de Lie dans l’algèbre de Lie des dérivations de . Si est contenu dans un sous-groupe discret de , il en est de même de , et, pour tout , l’application définie ci-dessus est injective.
Solution
Aucune solution n’a encore été écrite.