Remark 2
Tag 01BS, permanent. Cite it as [Bourbaki, Tag 01BS].
Lie Groups and Lie Algebras, chapter IX, § 4. Root system associated to a compact group
By Prop. 4, the map from to is an isomorphism; if and , then the composite is the endomorphism , where . We shall identify with from now on, the element of being associated to the endomorphism ; thus, with the notations above,
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.