Remark 1
Tag 00YY, permanent. Cite it as [Bourbaki, Tag 00YY].
Lie Groups and Lie Algebras, chapter VIII, § 2. Root system of a split semi-simple Lie algebra
If (resp. ) denotes the -vector subspace of (resp. ) generated by the (resp. the ), where , then (resp. ) can be identified canonically with (resp. with ) and can be identified with the dual of (Chap. VI, §1, no. 1, Prop. 1). We call and the canonical -structures on and Algebra, Chap. II, §8, no. 1, Def. 1). When we mention -rationality for a vector subspace of , for a linear form on , etc., we shall mean these structures, unless we indicate otherwise. When we mention Weyl chambers, or facets, of , we shall work in or , that we shall denote by and .
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.
Cites
- Algebra, Chap. II, §8, no. 1, Def. 1 not in this corpus
- Chap. VI, §1, no. 1, Prop. 1 not in this corpus