Exemple 3
Étiquette 0E8M, permanente. À citer comme [Bourbaki, Tag 0E8M].
Lie Groups and Lie Algebras, chapter III, § 6. Groupes de Lie réels ou complexes
Soient G un groupe de Lie complexe, H un sous-groupe intégral de G, G_1 (resp. H_1) le groupe de Lie réel sous-jacent à G (resp. H). Alors H_1 est un sous-groupe intégral de G_1, et L(H_1) est l’algèbre de Lie réelle sous-jacente à L(H).
Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.
Cité par
Rien.
Cite
Rien.