Remark 4
Tag 01BU, permanent. Cite it as [Bourbaki, Tag 01BU].
Lie Groups and Lie Algebras, chapter IX, § 4. Root system associated to a compact group
The homomorphisms of -modules Hom and is induced by the canonical injection of into L(S)) extend to isomorphisms of -vector spaces
Hom
which we shall call canonical in the sequel. Note that, if we extend the pairing between X(S) and by -linearity to a bilinear form on (S)), then
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
Nothing.