Corollary 1
Tag 0DOX, permanent. Cite it as [Bourbaki, Tag 0DOX].
Algebra, chapter X, § 1. Compléments d’algèbre linéaire
Suppose that the diagram (4) is commutative and has exact rows. Then:
(i) If and are injective, is injective. (ii) If and are surjective, is surjective.
Assertion (i) is a consequence of assertion (i) of prop. 2: indeed we have and , hence .
Assertion (ii) is a consequence of assertion (ii) of prop. 2: indeed, we have and , hence .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.