Bourbaki

Remarque 4

Étiquette 0E8R, permanente. À citer comme [Bourbaki, Tag 0E8R].

Lie Groups and Lie Algebras, chapter IV, § 2. Systèmes de Tits

C(s)⋅C(s)=B∪C(s)C(s) \cdot C(s) = B \cup C(s).

Cette formule montre que B∪C(s)B \cup C(s) est un sous-groupe de G. Multiplions les deux membres de (4) à droite par C(w)C(w), utilisons la formule (3) et la relation

B⋅C(w)=C(w); B \cdot C(w) = C(w);

on obtient

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.

Transcrit du volume imprimé. Non traduit.