Remark
Tag 0APT, permanent. Cite it as [Bourbaki, Tag 0APT].
Lie Groups and Lie Algebras, chapter V, § 2. Reflections
We retain the notation of Prop. 5 and assume in addition that . Put and . Let be the hyperplane and let be the set of points of of the form with and . The are connected open sets forming a partition of . They are therefore the chambers defined by the system in . The translation transforms the chamber into the chamber , and since , we have . It follows that the dihedral group W generated by s and s' permutes the chambers Cn simply-transitively*. Moreover, as we shall now show, if the chambers C and w(C) are on opposite sides of H (for ), we have l(sw) = l(w) - 1 (the lengths being taken with respect to (Chap. IV, § 1, no. 1)). Indeed, we then have for some . If , then and , so and (Chap. IV, § 1, no. 2, Remark). If , then and , so and .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.