## Tag `0105`

Chapter 12: Homological Algebra > Section 12.3: Preadditive and additive categories

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)$. $\square$

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

```
\begin{lemma}
\label{lemma-additive-additive}
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)$.
\end{proof}
```

## Comments (0)

## Add a comment on tag `0105`

Your email address will not be published. Required fields are marked.

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

All contributions are licensed under the GNU Free Documentation License.

There are no comments yet for this tag.

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