# The Stacks Project

## Tag 0107

Lemma 12.3.12. Let $f : x \to y$ be a morphism in a preadditive category such that the kernel, cokernel, image and coimage all exist. Then $f$ can be factored uniquely as $x \to \mathop{\rm Coim}(f) \to \mathop{\rm Im}(f) \to y$.

Proof. There is a canonical morphism $\mathop{\rm Coim}(f) \to y$ because $\mathop{\rm Ker}(f) \to x \to y$ is zero. The composition $\mathop{\rm Coim}(f) \to y \to \mathop{\rm Coker}(f)$ is zero, because it is the unique morphism which gives rise to the morphism $x \to y \to \mathop{\rm Coker}(f)$ which is zero (the uniqueness follows from Lemma 12.3.11 (3)). Hence $\mathop{\rm Coim}(f) \to y$ factors uniquely through $\mathop{\rm Im}(f) \to y$, which gives us the desired map. $\square$

The code snippet corresponding to this tag is a part of the file homology.tex and is located in lines 287–293 (see updates for more information).

\begin{lemma}
\label{lemma-coim-im-map}
Let $f : x \to y$ be a morphism in a preadditive category
such that the kernel, cokernel, image and coimage all exist.
Then $f$ can be factored uniquely as
$x \to \Coim(f) \to \Im(f) \to y$.
\end{lemma}

\begin{proof}
There is a canonical morphism $\Coim(f) \to y$
because $\Ker(f) \to x \to y$ is zero.
The composition $\Coim(f) \to y \to \Coker(f)$
is zero, because it is the unique morphism which gives
rise to the morphism $x \to y \to \Coker(f)$ which
is zero
(the uniqueness follows from
Lemma \ref{lemma-kernel-mono} (3)).
Hence $\Coim(f) \to y$ factors uniquely through
$\Im(f) \to y$, which gives us the desired map.
\end{proof}

Comment #2614 by Darij Grinberg (site) on July 2, 2017 a 12:53 pm UTC

I don't understand where the word "unique" in "it is the unique morphism which gives rise to the morphism $x \to y \to \mathop{\rm Coker}(f)$ which is zero". I can prove this (see https://github.com/stacks/stacks-project/pull/36 , more precisely this commit: https://github.com/stacks/stacks-project/pull/36/commits/2862030f02057c657b447d5707023c747e9b8662 ), but it takes me a lemma (which I guess is useful anyway -- it doesn't hurt to know that kernels are monos, etc.).

Comment #2635 by Johan (site) on July 7, 2017 a 12:56 pm UTC

OK, I think this got fixed now.

There are also 2 comments on Section 12.3: Homological Algebra.

## Add a comment on tag 0107

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the lower-right corner).