Corollary 3
Tag 0C45, permanent. Cite it as [Bourbaki, Tag 0C45].
General Topology, chapter IX, § 3. Metrizable groups, valued fields, normed spaces and algebras
Let be three metrizable abelian topological groups and let and be two strict morphisms such that the sequence is exact [i.e., ]. Then the sequence is exact.
For if we put , it follows from Corollary 2 that is both the image of and the kernel of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.