Remark 4
Tag 00Z3, permanent. Cite it as [Bourbaki, Tag 00Z3].
Lie Groups and Lie Algebras, chapter VIII, § 2. Root system of a split semi-simple Lie algebra
Let be a split reductive Lie algebra, the centre of , . Then , and we identify with a vector subspace of . For any such that , the primary subspace relative to is equal to . A non-zero weight of on is called a root of ; every root vanishes on . Denote by the set of roots of ; it can be identified canonically with . Let . We define , , the isomorphisms , and the representations of on associated to , as in the semi-simple case.
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
Nothing.