3
$\begingroup$

I have seen this used as an argument in my textbook:

Set-up:

Assume $\mathcal{C}$ is a full subcategory of an Abelian category $\mathcal{A}$. Let $f: A \rightarrow B$ be a morphism in $\mathcal{C}$.

If $\text{ker }f$ lies in $\mathcal{C}$ then $\text{ker }f$ is the same in $\mathcal{A}$.

(They also assumed in the textbook that the zero object in $\mathcal{A}$ lies in $\mathcal{C}$ and the direct sum of $A,B \in \text{Obj} \mathcal{C}$ lies in $\mathcal{C}$ and the $\text{coker} f$ lies in $\mathcal{C}$.)

Is this true? And how do I prove it?

I think my problem is my understanding of the definition of the kernel. In the textbook the kernel of $f$ in $\mathcal{C}$ should have the property: Let $i:K\rightarrow A$ be the kernel of $f$ then

For every $g: X \rightarrow A$ with $fg = 0$ we have a unique $\theta: X \rightarrow K$ with $i\theta = g$.

What is $g$? I have assumed $g$ is a morphism in the category $\mathcal{C}$ and thus I cannot use $i$ as the kernel of $f$ in $\mathcal{A}$ since I only have the properties for some morphisms $g$.


$\endgroup$

3 Answers 3

1
$\begingroup$

In general, if $i : C \subseteq A$ is a full subcategory and $X$ is a diagram in $C$ such that $iX$ has a limit in $A$ which is of the form $iL$ for some $L \in C$, then $X$ has limit $L$. The proof is trivial, nothing happens at all. Morally, if the universal property of the limit diagram is witnessed by all objects of $A$, then a fortiori by all objects of $C$.

$\endgroup$
2
  • 1
    $\begingroup$ Never heard about limits and limit diagram. Is it possible to explain it without using limit and diagrams? $\endgroup$ Jan 2, 2014 at 14:00
  • $\begingroup$ Then replace $X$ by a morphism and limit by kernel. $\endgroup$ Jan 2, 2014 at 14:01
1
$\begingroup$

Hint: The way to go is to assume that there is a kernel in $\mathcal A$ and a kernel in $\mathcal C$, say $(\ker f)_{\mathcal A}$ and $(\ker f)_{\mathcal C}$. Now try to prove that these are isomorphic.

To do that you will use the universal property of $(\ker f)_{\mathcal A}$ on the natural map $(\ker f)_{\mathcal C} \to A$.

$\endgroup$
1
  • $\begingroup$ This is not "the way to go", but rather "a way to go" and morevover one of the longest ones. Also notice that it is formally not correct because - a priori - $(\ker(f))_C$ has no reason to exist. $\endgroup$ Jan 2, 2014 at 0:20
1
$\begingroup$

I think I found a counterexample to the dual problem:

Let $\mathcal A$ be the category of Abelian groups and $\mathcal C$ be the full subcategory of free groups of finite rank (i.e. $\Bbb Z^n$'s). It is closed under direct sum and taking kernels, but is not closed under cokernels (as e.g. the cokernel of $\Bbb Z\overset{x\mapsto 2x}\longrightarrow\Bbb Z$ is not in $\mathcal C$).

$\endgroup$
1
  • $\begingroup$ Ah, didn't consider the part 'if $\ker f$ lies in $\mathcal C$'. Then of course, the other two answers apply. $\endgroup$
    – Berci
    Jan 2, 2014 at 0:28

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .