2
$\begingroup$

Refering to Serge Lang's "Algebra" pp. 133-134 on Abelian Categories, the following is unclear to me. Let $Q$ be an additive category and $F\stackrel{f}\rightarrow E$ a morphism. Let $A \stackrel{\alpha}\rightarrow F$ and $B \stackrel{\beta}\rightarrow F$ be two category-theoretic kernels of $f$ (as defined in the text). It is claimed that $\alpha$ and $\beta$ are isomorphic in a suitable category. What is this category? It is natural to consider the category of morphisms of $Q$ of the form $X \rightarrow F$, where $X$ is some object of $Q$. But i still can't see why $A$ and $B$ are isomorphic.

2 Answers 2

2

Lemma: If $\alpha:A\rightarrow F$ is a kernel of $f:F\rightarrow E$, then $\alpha \circ f = 0$.

Proof: By the definition of the kernel, we have exactness of the sequence:

$$0 \rightarrow \operatorname{Hom}(A,A)\rightarrow \operatorname{Hom}(A,F) \rightarrow \operatorname{Hom}(A,E)$$

But $\alpha$ is the image of ${id}_A$ above, so alpha must go to zero in $\operatorname{Hom}(A,E)$.

Now, given two kernels, $\alpha$ and $\beta$ we have the exact sequence:

$$0 \rightarrow \operatorname{Hom}(B,A)\rightarrow \operatorname{Hom}(B,F) \rightarrow \operatorname{Hom}(B,E)$$

But $\beta\in\operatorname{Hom}(B,F)$, is a kernel, so we know that the image of $\beta$ in $\operatorname{Hom}(B,E)$ is zero, so $\beta = \alpha \circ i$ for some $i$ in $\operatorname{Hom}(B,A)$.

Similarly, $\alpha = \beta \circ j$ for some $j\in \operatorname{Hom}(A,B)$.

Now let $k = i \circ j$. Then $k \in \operatorname{Hom}(A,A)$. But since $\alpha \circ k = \alpha \circ i \circ j = \alpha$, and $\operatorname{Hom}(A,A)\rightarrow \operatorname{Hom}(A,F)$ is 1-1, this means that $k = {id}_A$.

Similarly, $j \circ i = {id}_B$.

So $\alpha$ and $\beta$ are isomorphic in the category of maps in $Q$ which terminate in $F$.

  • 0
    Just curious: Lang does define kernels this way, not via the unique factorization property? Moreover, it may be worth mentioning that a kernel is necessarily a monomorphism (you of course proved this implicitly).2011-06-09
  • 0
    Yes, I looked it up in Google Books. http://books.google.com/books?id=Fge-BwqhqIYC&lpg=PP1&dq=Serge%20Lang's%20%22Algebra&pg=PA133#v=onepage&q=Serge%20Lang's%20%22Algebra&f=false2011-06-09
  • 0
    Thanks! Google doesn't like me recently and never lets me look at the page I want to look at...2011-06-09
  • 0
    Thank you for your nice answer. Two induced questions please: 1) Why do you compose the morphisms from left to right? 2) I still can't see why a kernel is a monomorphism, not even what that means in an abstract abelian category. Why is the map from Hom(A,A) to Hom(A,E) injective?2011-06-10
  • 0
    One answer per comment: The map from Hom(A,A) to Hom(A,E) is injective because the sequence $0\rightarrow Hom(A,A)\rightarrow Hom(A,E)$ is exact, by the definition of kernel where $X=A.$2011-06-10
  • 0
    I write the composition in that order just to make: $f(g(x)) = (f \circ g)(x)$. But you could invert the composition.2011-06-10
  • 0
    In a general category, a monomorphism $f$ is a morphism which cancels on the left - whenever $f\circ g = f\circ h$ then $g=h$.2011-06-10
  • 0
    As for why kernels are monomorphisms, let $g,h\in Hom(X,A)$. Then, since again $Hom(X,A)\rightarrow Hom(X,F)$ is 1-1, that means that of $f\circ g = f\circ h$ then $g=h$.2011-06-10
  • 0
    I see your point, thank you. So probably there is a small typo in the proof you gave, in that the map $Hom(X,A) \rightarrow Hom(X,F)$ is 1-1 and not the map $Hom(X,A) \rightarrow Hom(X,E)$? (since our kernel is $\alpha: A \rightarrow F$)2011-06-10
  • 0
    yeah i kept getting the E and F backwards, because I kept expecting the map to be $E\rightarrow F$. I tried to fix that before, will fix now2011-06-10
1

Thomas's proof can be shortened by using properties of a universal object (here a terminal object), as Lang suggests. Consider a category $K$ (from “kernel”) where objects are morphisms $\gamma$ of $Q$ such that $f\circ\gamma=0$ and where morphisms are commuting triangles as in slice categories.

Take an arbitrary kernel $\alpha$. By Thomas's lemma, $\alpha$ is an object of $K$. For every object $\beta$ of $K$, let $B$ be its domain, $\beta\in\operatorname{Hom}(B,F)$, $f\circ\beta=0$, then $\beta$ maps to $0$ in the sequence

$$\operatorname{Hom}(B,A) \to\operatorname{Hom}(B,F) \to \operatorname{Hom}(B,E)$$

then, by exactness, $\beta$ has a preimage in this sequence, i.e. $\beta$ factorizes into $\alpha$. $\operatorname{Hom}(B,A)\to\operatorname{Hom}(B,F)$ in this sequence is injective, then $\beta$ factorizes uniquely. Then $\beta$ factorizes uniquely into $\alpha$. Then $\alpha$ is terminal in $K$. Terminal objects are isomorphic by the unique isomorphism.