Proposition 4
Tag 01BQ, permanent. Cite it as [Bourbaki, Tag 01BQ].
Lie Groups and Lie Algebras, chapter IX, § 4. Root system associated to a compact group
Let S and be tori. Denote by the group of morphisms of Lie groups from S to . The maps and are isomorphisms of groups from to Hom and to Hom, respectively.
If is a morphism of Lie groups from S to , the homomorphism is simply the dual of in the sense of Spectral Theories, Chap. II, §1, no. 7. The map from Hom to defined in loc. cit. is the inverse of the map from to Hom; the latter is thus bijective. If we identify (resp. ) with the dual -module of X(S) (resp. ) (Prop. ) coincides with the transpose of the homomorphism , hence the proposition.
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
- Spectral Theories, Chap. II, §1, no. 7 not in this corpus: TS II