The Stacks Project

Tag 0105

Lemma 12.3.7. Let $\mathcal{A}$, $\mathcal{B}$ be preadditive categories. Let $F : \mathcal{A} \to \mathcal{B}$ be an additive functor. Then $F$ transforms direct sums to direct sums and zero to zero.

Proof. Suppose $F$ is additive. A direct sum $z$ of $x$ and $y$ is characterized by having morphisms $i : x \to z$, $j : y \to z$, $p : z \to x$ and $q : z \to y$ such that $p \circ i = \text{id}_x$, $q \circ j = \text{id}_y$, $p \circ j = 0$, $q \circ i = 0$ and $i \circ p + j \circ q = \text{id}_z$, according to Remark 12.3.6. Clearly $F(x), F(y), F(z)$ and the morphisms $F(i), F(j), F(p), F(q)$ satisfy exactly the same relations (by additivity) and we see that $F(z)$ is a direct sum of $F(x)$ and $F(y)$. Hence, $F$ transforms direct sums to direct sums.

To see that $F$ transforms zero to zero, use the characterization (3) of the zero object in Lemma 12.3.2. $\square$

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

\begin{lemma}
Let $\mathcal{A}$, $\mathcal{B}$ be preadditive categories.
Let $F : \mathcal{A} \to \mathcal{B}$ be an additive functor.
Then $F$ transforms direct sums to direct sums and zero to zero.
\end{lemma}

\begin{proof}
Suppose $F$ is additive. A direct sum $z$
of $x$ and $y$ is characterized by having morphisms
$i : x \to z$, $j : y \to z$, $p : z \to x$ and
$q : z \to y$ such that $p \circ i = \text{id}_x$,
$q \circ j = \text{id}_y$, $p \circ j = 0$, $q \circ i = 0$
and $i \circ p + j \circ q = \text{id}_z$, according
to Remark \ref{remark-direct-sum}. Clearly $F(x), F(y), F(z)$
and the morphisms $F(i), F(j), F(p), F(q)$ satisfy exactly the
same relations (by additivity) and we see that $F(z)$ is
a direct sum of $F(x)$ and $F(y)$.
Hence, $F$ transforms direct sums to direct sums.

\medskip\noindent
To see that $F$ transforms zero to zero, use the
characterization (3) of the zero object in
\end{proof}

There are no comments yet for this tag.

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

Add a comment on tag 0105

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).