The Unapologetic Mathematician

Mathematics for the interested outsider

Properties of Ab-Categories

There are a number of things we can say right off about the \mathbf{Ab}-categories we defined last time. As is common practice, we’ll blur the distinction between an abelian group and its underlying set.

First of all, any \mathbf{Ab}-category \mathcal{C} has zero morphisms. That is, there’s a special morphism between any two objects that when composed with any other morphism gives the special morphism in the appropriate hom-set. In fact, since each hom-set is an abelian group it has an additive identity 0\in\hom_\mathcal{C}(A,B). Then for any f\in\hom_\mathcal{C}(B,C) we have f\otimes0=0\in\hom_\mathcal{C}(B,C)\otimes\hom_\mathcal{C}(A,B), which composition must send to 0\in\hom_\mathcal{C}(A,C). The zero morphisms are exactly the zero morphisms!

Given any object C\in\mathcal{C} the hom-set \hom_\mathcal{C}(C,C) is already an abelian group. But the composition puts the structure of a monoid onto this set as well, and the linearity condition says these two are compatible, making the endomorphism monoid into an endomorphism ring. In fact, every ring is an endomorphism ring. Way back when we first defined categories we noted that a category with one object was the exact same thing as a monoid. And a ring is just an abelian group with a compatible monoid structure on it. So an \mathbf{Ab}-category with a single object is the exact same thing as a ring! In fact, a lot of the study of \mathbf{Ab}-categories can be seen as extending ring theory from that special case to the more general one. Incidentally, you should see right off that when we consider rings R and S as categories like this, a ring homomorphism from R to S is the same thing as an \mathbf{Ab}-functor between the categories.

Remember when we talked about direct sums of modules over a given ring? Well the same thing happens here. We define the “biproduct” \bigoplus\limits_{i=1}^n A_i of the finite collection of objects A_i to be an object along with two families of arrows:

  • \pi_i:\bigoplus\limits_{i=1}^n A_i\rightarrow A_i
  • \iota_i:A_i\rightarrow\bigoplus\limits_{i=1}^n A_i

satisfying the relations

  • \pi_i\circ\iota_j=0:A_j\rightarrow A_i if i\neq j
  • \pi_i\circ\iota_i=1_{A_i}:A_i\rightarrow A_i
  • \sum\limits_{i=1}^n\iota_i\circ\pi_i=1_{\bigoplus\limits_{i=1}^n A_i}

From the same arguments as in our coverage of direct sums we see that a biproduct satisfies the universal properties of both a categorical product and coproduct, and conversely that a categorical product or coproduct implies the existence of the biproduct arrows. Note that we’re making no statement whatsoever that such a biproduct actually exists in our category, but when it does it’s both a product and a coproduct.

As a special case, we can consider the biproduct of an empty collection of objects. This will be both a product and a coproduct of an empty collection of objects, if it exists, and will thus be a zero object. Of course, it may or may not exist.

Even if there is no zero object in our category, we still have the above zero morphisms, and so we can still talk about kernels and cokernels. The kernel \mathrm{Ker}(f) of a morphism f:A\rightarrow B is the equalizer \mathrm{Equ}(f,0), and its cokernel \mathrm{Cok}(f) is the coequalizer \mathrm{Coequ}(f,0). In fact, life is even better now that we’re enriched over \mathbf{Ab}: every equalizer is a kernel and every coequalizer is a cokernel. Indeed, \mathrm{Equ}(f,g)=\mathrm{Ker}(f-g) and similarly for coequalizers. Again, we’re saying nothing about whether such kernels or cokernels actually exist.

Together, these facts say a lot about the behavior of limits in \mathbf{Ab}-categories. Biproducts tell us about finite products and coproducts, while kernels of morphisms tell us about all different equalizers. And then The Existence Theorem for Limits tells us that every finite limit can be constructed from finite products and equalizers, while every finite colimit can be constructed from finite coproducts and coequalizers. So if our \mathbf{Ab}-category has all biproducts, all kernels, and all cokernels, then it has all finite limits whatsoever!

Let’s add one more little property that will simplify our life. We know that kernels are monomorphisms, and that cokernels are epimorphisms. If we assume on top of having all biproducts, kernels, and cokernels that every monomorphism is actually the kernel of some arrow in our category, and that every epimorphism is actually the cokernel of some arrow, then we will call our \mathbf{Ab}-category an abelian category.

You should verify that given any ring R the category R\mathbf{-mod} of all left R-modules satisfies all these properties, and thus is an abelian category. These are the abelian categories that started the whole theory of homological algebra, which is to a large extent the study of general abelian categories.

September 17, 2007 Posted by | Category theory | 10 Comments

   

Follow

Get every new post delivered to your Inbox.

Join 393 other followers