Bourbaki

Remark 3

Tag 01BT, permanent. Cite it as [Bourbaki, Tag 01BT].

Lie Groups and Lie Algebras, chapter IX, § 4. Root system associated to a compact group

To the exact sequence 0→Γ(S)→L(S)⟶expSS→00\rightarrow \Gamma (S)\rightarrow L(S)\longrightarrow^{exp_S}S\rightarrow 0 is associated an isomorphism from Γ(S)\Gamma (S) to the fundamental group of S, called canonical in the sequel. For any morphism of tori f:S→S′,Γ(f)f: S\rightarrow S',\Gamma (f) can then be identified via the canonical isomorphisms Γ(S)→π1(S)\Gamma (S)\rightarrow \pi_1(S) and Γ(S′)→π1(S′)\Gamma (S')\rightarrow \pi_1(S') with the homomorphism π1(f):π1(S)→π1(S′)\pi_1(f) :\pi_1(S)\rightarrow \pi_1(S') induced by ff. Note that this gives another interpretation of the exact sequence (5) (cf. General Topology, Chap. XI, in preparation).

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.

Transcribed from the printed volume. Not translated.