Remark
Tag 01C5, permanent. Cite it as [Bourbaki, Tag 01C5].
Lie Groups and Lie Algebras, chapter IX, § 4. Root system associated to a compact group
For all , we have
exp(2) 0
0 exp() ) = exp(). (14)
In particular:
1 exp. (15)
It follows that is injective if and only if (T), in other words if there exists such that . When is simple, is injective unless is of type and is a short root (cf. Chap. VI, Plates).
In the remainder of this paragraph we denote by the set of nodal vectors for . This is a subset of that the canonical injection of into identifies with the homothety with ratio of the inverse root system of . It follows that generates the -vector space , and hence that its orthogonal complement in X(T) is .
Denote by Aut(T) the group of automorphisms of the Lie group T; the Weyl group §2, no. 5) can be identified with a subgroup of Aut(T). On the other hand, recall (Chap. VIII, §2, no. 2, Remark 4) that the Weyl group of the split reductive algebra operates on , and thus is canonically identified with a subgroup of .
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.