Past exam of the mathematics course of the University of Cambridge / 2012 / iii / Paper 25 / 8

Take any morphism $h:A\to B$ and let $c:B\to C$ be its categorical cokernel. Let $i:I\to B$ be the categorical kernel of $c$. Since $ch=0$, kernel universality gives $e:A\to I$ with $h=ie$. The map $i$ is a monomorphism. We must establish the pseudo-epimorphism property of $e$, rather than merely name $I$ an image.

Suppose $t:I\to Z$ satisfies $te=0$. Let $k:K\to I$ be its categorical kernel. Then $e=ka$ for some $a:A\to K$. The composite $ik$ is a monomorphism, so the hypothesis that every monomorphism is normal provides a map $q:B\to D$ of which $ik$ is a categorical kernel, up to its unique compatible isomorphism. Now $qh=qika=0$. The categorical cokernel property of $c$ gives $q=\bar{q}c$, and therefore $qi=\bar{q}ci=0$.

Since $ik$ is the categorical kernel of $q$, the map $i$ factors through it: $i=ik\ell$ for some $\ell :I\to K$. Cancel the monomorphism $i$ to get $k\ell =1_I$. As $k$ is also a monomorphism, $\ell k=1_K$, so $k$ is an isomorphism. Finally $t=tk\ell =0$, proving that $e$ is a pseudo-epimorphism.

ThusThe pseudo-epimorphism factorization through the kernel of a cokernel proof uses a pointed category, existence of categorical kernels and categorical cokernels, and normality of every monic map. It does not silently replace pseudo-epic cancellation against zero by the stronger epimorphism condition.

In an abelian category, for $f:A\to B$ set $\mathrm{coim}f=\mathrm{coker}(\ker f)$ and $\mathrm{im}f=\ker (\mathrm{coker}f)$. The canonical map from coimage to image is an isomorphism. Thus the image factorization in an abelian category isunique up to a unique compatible isomorphism.

The short five lemma states that in a commuting diagram of short exact sequences $0\to L\to M\to R\to 0$ and $0\to L^{\prime }\to M^{\prime }\to R^{\prime }\to 0$ in an abelian category, if the vertical maps $L\to L^{\prime }$ and $R\to R^{\prime }$ are isomorphisms, then so is $M\to M^{\prime }$.

For the Five lemma, consider commuting exact rowswith vertical maps $v_i:A_i\to B_i$. We prove the usual stronger version: $v_1$ epic, $v_2$ and $v_4$ invertible, and $v_5$ monic imply that $v_3$ is invertible. In particular the conclusion holds if all four outer vertical maps are isomorphisms.

Put $L=\mathrm{im}{d}_2$ and $R=\mathrm{im}{d}_3$, and define $L^{\prime },R^{\prime }$ similarly. Exactness gives short exact sequencesThe functoriality of abelian image factorization supplies their vertical outer maps. We show that both are isomorphisms.

First, $L\cong \mathrm{coker}{d}_1$ and $L^{\prime }\cong \mathrm{coker}{d}_1^{\prime }$: exactness at $A_2$ identifies $\mathrm{im}{d}_1$ with $\ker d_2$, and the image-coimage isomorphism for $d_2$ gives the claimed cokernel. Write $q:A_2\to L$ and $q^{\prime }:B_2\to L^{\prime }$ for these categorical cokernels. To construct an inverse to the induced map $\ell :L\to L^{\prime }$, observeCancellation of the epimorphism $v_1$ gives $q{v}_2^{-1}{d}_1^{\prime }=0$, so $q{v}_2^{-1}$ factors uniquely as $\bar{\ell }{q}^{\prime }$ with $\bar{\ell }:L^{\prime }\to L$. From $\ell q=q^{\prime }{v}_2$, composing with the epic $q,q^{\prime }$ gives $\bar{\ell }\ell =1_L$ and $\ell \bar{\ell }=1_{L^{\prime }}$.

Second, $R\cong \ker d_4$ and $R^{\prime }\cong \ker d_4^{\prime }$ by exactness at the fourth objects. Write their inclusions as $j:R\to A_4$ and $j^{\prime }:R^{\prime }\to B_4$. The equality $d_4^{\prime }{v}_4=v_5{d}_4$ gives the induced map $\rho :R\to R^{\prime }$. Sinceand $v_5$ is a monomorphism, $d_4{v}_4^{-1}{j}^{\prime }=0$. Kernel universality gives $\bar{\rho }:R^{\prime }\to R$ with $j\bar{\rho }=v_4^{-1}{j}^{\prime }$. Cancelling the monic $j,j^{\prime }$ proves $\bar{\rho }\rho =1_R$ and $\rho \bar{\rho }=1_{R^{\prime }}$.

Apply the short five lemma to the two short exact sequences: their outer maps $\ell ,\rho$ are invertible, so $v_3$ is an isomorphism. This five lemma via image factorization argument uses only universal properties and therefore works in any abelian category, without treating its objects as literal sets of elements.