Remark

Tag 0AM4, permanent. Cite it as [Bourbaki, Tag 0AM4].

Lie Groups and Lie Algebras, chapter IV, § 1. Coxeter Groups

The set $T_w$ defined in Lemma 2 consists of the elements of the form $w''s{w''}^{-1}$ corresponding to the triples $(w', w'', s) \in W \times W \times S$ such that $w = w''sw'$ and $l(w') + l(w'') + 1 = l(w)$ .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Lemma 2