Lemma 12.5.20. Let $\mathcal{A}$ be an abelian category. Let
\[ \xymatrix{ v \ar[r] \ar[d]^\alpha & w \ar[r] \ar[d]^\beta & x \ar[r] \ar[d]^\gamma & y \ar[r] \ar[d]^\delta & z \ar[d]^\epsilon \\ v' \ar[r] & w' \ar[r] & x' \ar[r] & y' \ar[r] & z' } \]
be a commutative diagram with exact rows. If $\beta , \delta $ are isomorphisms, $\epsilon $ is injective, and $\alpha $ is surjective then $\gamma $ is an isomorphism.
Comments (1)
Comment #8122 by quasicompact on
There are also: