Remark 2
Tag 00YZ, permanent. Cite it as [Bourbaki, Tag 00YZ].
Lie Groups and Lie Algebras, chapter VIII, § 2. Root system of a split semi-simple Lie algebra
The root system in defines a non-degenerate symmetric bilinear form on (Chap. VI, §1, no. 1, Prop. 3), namely the form . By the Cor. to Th. 1, this form is just the restriction of the
Killing form to . The extension of to is positive non-degenerate (Chap. VI, §1, no. 1, Prop. 3). On the other hand, we see that the inverse form on of the restriction to of the Killing form on is the canonical bilinear form of R (Chap. VI, §1, no. 12).
Let be split semi-simple Lie algebras, an isomorphism from to such that . By transport of structure, the transpose of the map takes to .
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
Cites
- Chap. VI, §1, no. 12
- Chap. VI, §1, no. 1, Prop. 3 not in this corpus
- Cor. to Th. 1