Exercice 2, § 4
Groupes et algèbres de Lie, III
Bourbaki marks this one as harder than the rest.
Soient et deux groupes de Lie, un morphisme de groupes de Lie de dans . (i) Le noyau de est un quasi-sous-groupe de Lie distingué de , et . (Utiliser des applications exponentielles de et .) (ii) Soit l’application déduite de par passage au quotient. Si et ont des images fermées, et si la topologie de admet une base dénombrable, alors est un quasi-sous-groupe de Lie de , d’algèbre de Lie , et un isomorphisme de groupes de Lie, étant muni de la structure définie dans l’exerc. 1. (Se ramener grâce à (i) au cas où .)
Solution
Aucune solution n’a encore été écrite.