Proposition 2
Tag 01DX, permanent. Cite it as [Bourbaki, Tag 01DX].
Lie Groups and Lie Algebras, chapter IX, § 5. Conjugacy classes
a) The group (resp. ) is the semi-direct product of W by (resp. ); the subgroup of is normal.
b) The group W (resp. ) operates simply-transitively on the set of chambers (resp. alcoves ).
c) Let C be a chamber and A an alcove. Then (resp. A, resp. A) is a fundamental domain for the operation of W on (resp. of on , resp. of on -- ). If and are such that , then Id.
d) For every chamber C, there exists a unique alcove A such that and. For every alcove A, there exists a unique such that
If and (T), then and , with ; this immediately implies a). The rest of the proposition follows from Chap. VI, §1, no. 5 and §2, nos. 1 and 2.
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.