Definition 1
Tag 01BW, permanent. Cite it as [Bourbaki, Tag 01BW].
Lie Groups and Lie Algebras, chapter IX, § 4. Root system associated to a compact group
The weights of the representation of G, relative to a maximal torus T of G, are the elements of X(T) such that .
Denote by , or by if there is no possibility of confusion over the choice of T, the set of weights of relative to T. By Lemma 1,
Let be another maximal torus of G and an element of G such that (Int )§2, no. 2, Th. 2). For all ,
, where X(Int ). (8)
Consequently,
X(Int ). (9)
The Weyl group operates on the left on the -module X(T) by ; thus, for , we have .
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.