nLab cokernel

Contents

Context

Category theory

Homological algebra

homological algebra

(also nonabelian homological algebra)

Introduction

Context

Basic definitions

Stable homotopy theory notions

Constructions

Lemmas

diagram chasing

Schanuel's lemma

Homology theories

Theorems

Contents

Idea

Definition

In a category with a terminal object 11, the cokernel of a morphism f:ABf : A \to B is the pushout

coker(f)1ABAAAAAAA AfA B (po) 1 coker(f) coker(f) \;\coloneqq\; 1 \underset{A}{\sqcup} B \phantom{AAAAAA} \array{ A &\stackrel{\phantom{A}f\phantom{A}}{\longrightarrow}& B \\ \big\downarrow &{}^{(po)}& \big\downarrow \\ 1 &\longrightarrow& coker(f) }
Remark

In the case when the terminal object is in fact zero object, one can, more explicitly, characterize the object coker(f)coker(f) as the object (unique up to unique isomorphism) that satisfies the following universal property:

for every object CC and every morphism h:BCh \colon B \longrightarrow C such that hf=0h \circ f = 0 is the zero morphism, there is a unique morphism ϕ:coker(f)C\phi \colon coker(f) \to C such that h=ϕih = \phi \circ i.

Remark

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

Properties

Exactness properties

Examples

Example

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

Example

More generally, for RR any ring, this is true in the category RRMod 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 ff is the cokernel of its kernel

coim(f)=coker(ker(f)). coim(f) = coker(ker(f)) \,.

Last revised on July 8, 2023 at 13:46:45. See the history of this page for a list of all contributions to it.