Remark 1
Tag 01BR, permanent. Cite it as [Bourbaki, Tag 01BR].
Lie Groups and Lie Algebras, chapter IX, § 4. Root system associated to a compact group
Let : S be a morphism of tori. The snake diagram (Algebra, Chap. X, §1, no. 2) associated to (1) gives an exact sequence
0 Ker Ker Ker (4)
Coker Coker Coker .
In particular, assume that is surjective, with finite kernel N, so that we have an exact sequence
0 N S ,
where is the canonical injection. Then, is bijective, and (4) gives an isomorphism Coker , hence an exact sequence
0 N . (5)
Moreover, by Spectral Theories, Chap. II, §1, no. 7, Th. 4, the sequence
0 X(S) X(N) 0 (6)
is exact.
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
- Algebra, Chap. X, §1, no. 2 not in this corpus: A X
- Spectral Theories, Chap. II, §1, no. 7, Th. 4 not in this corpus: TS II