nLab kernel

category theory

Applications

Homological algebra

homological algebra

and

nonabelian homological algebra

diagram chasing

Contents

Idea

The kernel of a morphism is that part of its domain which is sent to 0.

Definition

There are various definitions of the notion of kernel, depending on the properties and structures available in the ambient category. We list a few definitions and discuss (in parts) when they are equivalent.

As a pullback

Definition

In a category with an initial object $0$ and pullbacks, the kernel $\mathrm{ker}\left(f\right)$ of a morphism $f:A\to B$ is the pullback $\mathrm{ker}\left(f\right)\to A$ along $f$ of the unique morphism $0\to B$

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

More explicitly, this characterizes the object $\mathrm{ker}\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:C\to A$ such that $f\circ h=0$ is the zero morphism, there is a unique morphism $\varphi :C\to \mathrm{ker}\left(f\right)$ such that $h=p\circ \varphi$.

As an equalizer

Definition

In a category with zero morphisms (meaning: enriched over the category of pointed sets), the kernel $\mathrm{ker}\left(f\right)$ of a morphism $f:c\to d$ is, if it exists, the equalizer of $f$ and the zero morphism ${0}_{c,d}$.

As a weighted limit

In any category enriched over pointed sets, the kernel of a morphism $f:c\to d$ is the universal morphism $k:a\to c$ such that $f\circ k$ is the basepoint. It is a weighted limit in the sense of enriched category theory. This applies in particular in any (pre)-additive category.

This is a special case of the construction of generalized kernels in enriched categories.

As a representing object

Let $\mathrm{Ab}$ be the category of abelian groups. It is a category with kernels. In every $\mathrm{Ab}$-enriched category $A$, for every morphism $f:X\to Y$ in $A$ there is a subfunctor

$\mathrm{ker}f:{A}^{\mathrm{op}}\to \mathrm{Ab}$ker f : A^{op}\to Ab

of the representable functor $\mathrm{hom}\left(-,X\right)$, defined on objects by

$\left(\mathrm{ker}f\right)\left(Z\right)=\mathrm{ker}\left(\mathrm{hom}\left(Z,X\right)\to \mathrm{hom}\left(Z,Y\right)\right),$(ker f)(Z) = ker(hom(Z,X)\to hom(Z,Y)),

where $\mathrm{ker}$ on the right-hand side is the kernel n the category of abelian groups.

If the category is in fact preabelian, $\mathrm{ker}f$ is also representable with representing object $\mathrm{Ker}f$. One has to be careful with $\mathrm{Coker}f$ which does not represent the functor naive $\mathrm{coker}f$ defined as $\left(\mathrm{coker}f\right)\left(Z\right)=\mathrm{coker}\left(\mathrm{hom}\left(Z,X\right)\to \mathrm{hom}\left(Z,Y\right)\right)$ in $\mathrm{Ab}$, which is often not representable at all, even in the simple example of the category of abelian groups. Instead, as a colimit construction, one should corepresent another functor, namely, the covariant functor $Z↦\mathrm{ker}\left(\mathrm{hom}\left(Y,Z\right)\to \mathrm{hom}\left(X,Z\right)\right)$ (which is a quotient of the corepresentable functor $\mathrm{hom}\left(X,-\right)$). In short, $\mathrm{Coker}f$ is defined by the double dualization using the kernel in $\mathrm{Ab}$: $\mathrm{Coker}f=\left(\mathrm{Ker}{f}^{\mathrm{op}}{\right)}^{\mathrm{op}}$. This is a particular case of the dualization involved in defining any colimit from its corresponding limit.

In an $\left(\infty ,1\right)$-category

The kernel of a morphism in an (∞,1)-category with $\infty$-categorical zero object is the homotopy pullback as in the pullback definition above: the homotopy fiber.

Other meanings

In some fields, the term ‘kernel’ refers to an equivalence relation that category theorists would see as a kernel pair. This is especially important in fields such as monoid theory where both notions exist but are not equivalent (while in group theory they are equivalent).

In ring theory, even when one assumes that rings have units preserved by ring homomorphisms, the traditional notion of kernel (an ideal) exists in the category of non-unital rings (and is not itself a unital ring in general). A purely category-theoretic theory of unital rings can be recovered either by using the kernel pair instead or (to fit better the usual language) moving to a category of modules.

In universal algebra, this may be handled in the framework of Malʹcev varieties.

Properties

Property

Let $C$ be a category with pullbacks and zero object.

In $C$, the kernel of a kernel is 0.

Proof

By the pasting law for pullbacks we have that the total square

$\begin{array}{ccccc}\mathrm{ker}\mathrm{ker}f& \to & \mathrm{ker}f& \to & 0\\ ↓& & ↓& & ↓\\ 0& \to & c& \stackrel{f}{\to }& d\end{array}$\array{ ker ker f &\to& ker f &\to& 0 \\ \downarrow && \downarrow && \downarrow \\ 0 &\to& c &\stackrel{f}{\to}& d }

is a pullback. Since $0\to c$ is a monomorphism and the pullback of a monomorphism along itself is the domain of the monomorphis, we have $\mathrm{ker}\mathrm{ker}f\simeq 0$.

Remark

This statement crucially fails to be true in higher category theory. There, the kernel of a kernel is the based loop space object of $d$. For this reason where one has short exact sequences in 1-category theory, there are instead long fiber sequences in higher category theory.

Proposition

In a category $C$ with pullbacks and pushouts and zero object, kernel and cokernel form a pair of adjoint functors on the arrow categories

$\left(\mathrm{coker}⊣\mathrm{ker}\right):\mathrm{Arr}\left(C\right)\stackrel{\stackrel{\mathrm{coker}}{←}}{\underset{\mathrm{ker}}{\to }}\mathrm{Arr}\left(C\right)\phantom{\rule{thinmathspace}{0ex}}.$(coker \dashv ker) : Arr(C) \stackrel{\overset{coker}{\leftarrow}}{\underset{ker}{\to}} Arr(C) \,.
Proof

We check the hom-isomorphism of a pair of adjoint functors. An element in the hom-set ${\mathrm{Arr}}_{C}\left(g,\mathrm{ker}f\right)$ is a diagram

$\begin{array}{ccccc}c& \to & \mathrm{ker}\left(f\right)& \to & 0\\ {}^{g}↓& & ↓& & ↓\\ d& \to & a& \stackrel{f}{\to }& b\end{array}\phantom{\rule{thinmathspace}{0ex}}.$\array{ c &\to& ker(f) &\to& 0 \\ {}^{\mathllap{g}}\downarrow && \downarrow && \downarrow \\ d &\to& a &\stackrel{f}{\to}& b } \,.

By the universal property of the pullback, this is the same as a diagram

$\begin{array}{ccccc}c& \to & & \to & 0\\ {}^{g}↓& & & & ↓\\ d& \to & a& \stackrel{f}{\to }& b\end{array}\phantom{\rule{thinmathspace}{0ex}}.$\array{ c &\to& &\to& 0 \\ {}^{\mathllap{g}}\downarrow && && \downarrow \\ d &\to& a &\stackrel{f}{\to}& b } \,.

By the dual reasoning, an element in ${\mathrm{Arr}}_{C}\left(\mathrm{coker}g,f\right)$ is a diagram

$\begin{array}{ccccc}c& \stackrel{g}{\to }& d& \to & a\\ ↓& & ↓& & {↓}^{f}\\ 0& \to & \mathrm{coker}g& \to & b\end{array}\phantom{\rule{thinmathspace}{0ex}}.$\array{ c &\stackrel{g}{\to}& d &\to& a \\ \downarrow && \downarrow && \downarrow^{\mathrlap{f}} \\ 0 &\to& coker g &\to& b } \,.

By the universal property of the pushout this is equivalently a diagram

$\begin{array}{ccccc}c& \stackrel{g}{\to }& d& \to & a\\ ↓& & & & {↓}^{f}\\ 0& \to & & \to & b\end{array}\phantom{\rule{thinmathspace}{0ex}}.$\array{ c &\stackrel{g}{\to}& d &\to& a \\ \downarrow && && \downarrow^{\mathrlap{f}} \\ 0 &\to& &\to& b } \,.

(This also follows from the general theory of generalized kernels.)

Examples

Example

In the category Ab of abelian groups, the kernel of a group homomorphism $f:A\to B$ is the subgroup of $A$ on the set ${f}^{-1}\left(0\right)$ of elements of $A$ that are sent to the zero-element of $B$.

Example

More generally, for $R$ any ring, this is true in $R$Mod: the kernel of a morphism of modules is the preimage of the zero-element at the level of the underlying sets, equipped with the unique sub-module structure on that set.

Revised on June 1, 2013 00:42:03 by Zoran Škoda (94.250.138.220)