Science Fair Project Encyclopedia
In abstract algebra, the cokernel of a homomorphism f : X → Y is the quotient of Y by the image of f. In a topological setting, one typically takes the closure of the image before passing to the quotient. For instance, if f : H1 → H2 is a bounded linear operator between Hilbert spaces, then coker(f) is the quotient of H2 by the closure of the range of f.
In category theory
One can also define the cokernel in the general framework of category theory. In order for the definition to make sense the category in question must have zero morphisms. The cokernel of a morphism f : X → Y is defined as the coequalizer of f and the zero morphism 0XY : X → Y.
Explicitly, this means the following. The cokernel of f : X → Y is an object Q and a morphism q : Y → Q such that the diagram
Like all coequalizers, the cokernel q : Y → Q is necessarily an epimorphism. Conversely an epimorphism is called normal (or conormal) if it is the cokernel of some morphism. A category is called conormal if every epimorphism is normal (e.g. the category of groups is conormal).
In the category of groups, the cokernel of a group homomorphism f : G → H is the quotient of H by the normal closure of the image of f. In the case of abelian groups, since every subgroup is normal, the cokernel is just H modulo the image of f:
- coker(f) = H / im(f).
- coeq(f, g) = coker(g - f)
- im(f) = ker(coker f)
- coim(f) = coker(ker f)
Abelian categories are even better behaved with respect to cokernels. In particular, every abelian category is conormal (and normal as well). That is, every epimorphism e : A → B can be written as the cokernel of some morphism. Specifically, e is the cokernel of its own kernel:
- e = coker(ker e)
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details