Exercice 4, § 9
Groupes et algèbres de Lie, III
Supposons ultramétrique et (avec les notations du § 7). Soient un groupe de Lie de dimension finie, un groupe d’automorphismes de , le groupe d’automorphismes correspondant de . Soit (resp. ) l’ensemble des éléments de (resp. ) fixes pour (resp. ). Alors est un sous-groupe de Lie de d’algèbre de Lie . (Utiliser l’application logarithme.)
Solution
Aucune solution n’a encore été écrite.