Remarque 3

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

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

C(s) \cdot C(w) = \begin{cases} C(sw) & \text{si } C(w) \not\subset C(s) \cdot C(w) \\ C(w) \cup C(sw) & \text{si } C(w) \subset C(s) \cdot C(w) . \end{cases}

On a $B \neq C(s) \cdot C(s)$ d’après (T4); faisant $w = s$ dans (3) et utilisant la relation $s^2 = 1$ , 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.

Rien.