Exercice 1, § 3

Soient G un groupe de Lie, $G_1$ et $G_2$ des sous-groupes de Lie de G. On suppose $G_2$ de codimension finie dans G et K de caractéristique 0. Alors $G_1 \cap G_2$ est un sous-groupe de Lie de G d’algèbre de Lie $L(G_1) \cap L(G_2)$ (raisonner comme pour la prop. 29 et son corollaire 2).