## 109.3 Additive and abelian categories

Exercise 109.3.1. Let $k$ be a field. Let $\mathcal{C}$ be the category of filtered vector spaces over $k$, see Homology, Definition 12.19.1 for the definition of a filtered object of any category.

1. Show that this is an additive category (explain carefuly what the direct sum of two objects is).

2. Let $f : (V, F) \to (W, F)$ be a morphism of $\mathcal{C}$. Show that $f$ has a kernel and cokernel (explain precisely what the kernel and cokernel of $f$ are).

3. Give an example of a map of $\mathcal{C}$ such that the canonical map $\mathop{\mathrm{Coim}}(f) \to \mathop{\mathrm{Im}}(f)$ is not an isomorphism.

Exercise 109.3.2. Let $R$ be a Noetherian domain. Let $\mathcal{C}$ be the category of finitely generated torsion free $R$-modules.

1. Show that this is an additive category.

2. Let $f : N \to M$ be a morphism of $\mathcal{C}$. Show that $f$ has a kernel and cokernel (make sure you define precisely what the kernel and cokernel of $f$ are).

3. Give an example of a Noetherian domain $R$ and a map of $\mathcal{C}$ such that the canonical map $\mathop{\mathrm{Coim}}(f) \to \mathop{\mathrm{Im}}(f)$ is not an isomorphism.

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