nLab cokernel

category theory

Applications

Homological algebra

homological algebra

and

nonabelian homological algebra

diagram chasing

Contents

Idea

Definition

In a category with zero object, the cokernel of a morphism $f:A\to B$ is the pushout $\mathrm{coker}\left(f\right)$ in

$\begin{array}{ccc}A& \stackrel{f}{\to }& B\\ ↓& & {↓}^{i}\\ 0& \to & \mathrm{coker}\left(f\right)\end{array}\phantom{\rule{thinmathspace}{0ex}}.$\array{ A &\stackrel{f}{\to}& B \\ \downarrow && \downarrow^{\mathrlap{i}} \\ 0 &\to& coker(f) } \,.
Remark

More explicitly, this characterizes the object $\mathrm{coker}\left(f\right)$ as the object (unique up to unique isomorphism) that satisfies the following universal property:

for every object $C$ and every morphism $h:B\to C$ such that $h\circ f=0$ is the zero morphism, there is a unique morphism $\varphi :\mathrm{coker}\left(f\right)\to C$ such that $h=\varphi \circ i$.

Remark

The notion of cokernel is dual to that of kernel. A cokernel in a category $𝒞$ is a kernel in the opposite category ${𝒞}^{\mathrm{op}}$.

Examples

Example

In the category Ab of abelian groups the cokernel of a morphism $f:A\to B$ is the quotient of $B$ by the image (of the underlying morphism of sets) of $f$.

Example

More generally, for $R$ any ring, this is true in the category $R$Mod of modules: the cokernel of a morphism is the quotient by its set-theoretic image.

Example

In the category Grp of general (not necessarily abelian) groups, the cokernel is instead the quotient group by the normal closure of the image.

The following example is by the very definition of abelian category.

Example

In an abelian category the coimage of any morphism $f$ is the cokernel of its kernel

$\mathrm{coim}\left(f\right)=\mathrm{coker}\left(\mathrm{ker}\left(f\right)\right)\phantom{\rule{thinmathspace}{0ex}}.$coim(f) = coker(ker(f)) \,.

Revised on September 12, 2012 19:05:49 by Urs Schreiber (131.174.188.61)