Cokernel

Cokernel

In mathematics, the cokernel of a linear mapping of vector spaces f : XY is the quotient space Y/im(f) of the codomain of f by the image of f.

Cokernels are dual to the kernels of category theory, hence the name: the kernel is a subobject of the domain (it maps to the domain), while the cokernel is a quotient object of the codomain (it maps from the codomain).

Intuitively, given an equation f(x) = y that one is seeking to solve, the cokernel measures the constraints that y must satisfy for this equation to have a solution – the obstructions to a solution – while the kernel measures the degrees of freedom in a solution, if one exists. This is elaborated in intuition, below.

More generally, the cokernel of a morphism f : XY in some category (e.g. a homomorphism between groups or a bounded linear operator between Hilbert spaces) is an object Q and a morphism q : YQ such that the composition q f is the zero morphism of the category, and furthermore q is universal with respect to this property. Often the map q is understood, and Q itself is called the cokernel of f.

In many situations in abstract algebra, such as for abelian groups, vector spaces or modules, the cokernel of the homomorphism f : XY is the quotient of Y by the image of f. In topological settings, such as with bounded linear operators between Hilbert spaces, one typically has to take the closure of the image before passing to the quotient.

Contents

Formal definition

One can 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 : XY is defined as the coequalizer of f and the zero morphism 0XY : XY.

Explicitly, this means the following. The cokernel of f : XY is an object Q together with a morphism q : YQ such that the diagram

Cokernel-01.png

commutes. Moreover the morphism q must be universal for this diagram, i.e. any other such q′: YQ′ can be obtained by composing q with a unique morphism u : QQ′:

Cokernel-02.png

As with all universal constructions the cokernel, if it exists, is unique up to a unique isomorphism, or more precisely: if q : YQ and q‘ : YQ‘ are two cokernels of f : XY, then there exists a unique isomorphism u : QQ‘ with q‘ = u q.

Like all coequalizers, the cokernel q : YQ 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).

Examples

In the category of groups, the cokernel of a group homomorphism f : GH 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).

Special cases

In a preadditive category, it makes sense to add and subtract morphisms. In such a category, the coequalizer of two morphisms f and g (if it exists) is just the cokernel of their difference:

coeq(f,g) = coker(gf).

In an abelian category (a special kind of preadditive category) the image and coimage of a morphism f are given by

im(f) = ker(cokerf)
coim(f) = coker(kerf).

In particular, every abelian category is normal (and conormal as well). That is, every monomorphism m can be written as the kernel of some morphism. Specifically, m is the kernel of its own cokernel:

m = ker(coker(m))

Intuition

The cokernel can be thought of as the space of constraints that an equation must satisfy, as the space of obstructions, just as the kernel is the space of solutions.

Formally, one may connect the kernel and the cokernel by the exact sequence

0 \to \ker T \to V \to W \to \mathrm{coker}\,T \to 0.

These can be interpreted thus: given a linear equation T(v) = w to solve,

  • the kernel is the space of solutions to the homogeneous equation T(v) = 0, and its dimension is the number of degrees of freedom in a solution, if it exists;
  • the cokernel is the space of constraints that must be satisfied if the equation is to have a solution, and its dimension is the number of constraints that must be satisfied for the equation to have a solution.

The dimension of the cokernel plus the dimension of the image (the rank) add up to the dimension of the target space, as the dimension of the quotient space W / T(V) is simply the dimension of the space minus the dimension of the image.

As a simple example, consider the map T\colon \mathbf{R}^2 \to \mathbf{R}^2, given by T(x,y) = (0,y). Then for an equation T(x,y) = (a,b) to have a solution, we must have a = 0 (one constraint), and in that case the solution space is (x,b), or equivalently stated, (0,b) + (x,0), (one degree of freedom). The kernel may be expressed as the subspace (x,0) < V: the value of x is the freedom in a solution – while the cokernel may be expressed via the map W \to \mathbf{R}^1, (a,b) \mapsto (a): given a vector (a,b), the value of a is the obstruction to there being a solution.

References


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Linear map — In mathematics, a linear map, linear mapping, linear transformation, or linear operator (in some contexts also called linear function) is a function between two vector spaces that preserves the operations of vector addition and scalar… …   Wikipedia

  • Pre-Abelian category — In mathematics, specifically in category theory, a pre Abelian category is an additive category that has all kernels and cokernels.Spelled out in more detail, this means that a category C is pre Abelian if: # C is preadditive, that is enriched… …   Wikipedia

  • Atiyah–Singer index theorem — In the mathematics of manifolds and differential operators, the Atiyah–Singer index theorem states that for an elliptic differential operator on a compact manifold, the analytical index (closely related to the dimension of the space of solutions) …   Wikipedia

  • Mapping cone (homological algebra) — In homological algebra, the mapping cone is a construction on a map of chain complexes inspired by the analogous construction in topology. In the theory of triangulated categories it is a kind of combined kernel and cokernel: if the chain… …   Wikipedia

  • Abelian category — In mathematics, an abelian category is a category in which morphisms and objects can be added and in which kernels and cokernels exist and have desirable properties. The motivating prototype example of an abelian category is the category of… …   Wikipedia

  • Preadditive category — In mathematics, specifically in category theory, a preadditive category is a category that is enriched over the monoidal category of abelian groups. In other words, the category C is preadditive if every hom set Hom(A,B) in C has the structure of …   Wikipedia

  • Kernel (category theory) — In category theory and its applications to other branches of mathematics, kernels are a generalization of the kernels of group homomorphisms and the kernels of module homomorphisms and certain other kernels from algebra. Intuitively, the kernel… …   Wikipedia

  • Normal morphism — In category theory and its applications to mathematics, a normal monomorphism or conormal epimorphism is a particularly well behaved type of morphism. A normal category is a category in which every monomorphism is normal. A conormal category is… …   Wikipedia

  • Essential spectrum — In mathematics, the essential spectrum of a bounded operator is a certain subset of its spectrum, defined by a condition of the type that says, roughly speaking, fails badly to be invertible .The essential spectrum of self adjoint operatorsIn… …   Wikipedia

  • Coequalizer — In category theory, a coequalizer (or coequaliser) is a generalization of a quotient by an equivalence relation to objects in an arbitrary category. It is the categorical construction dual to the equalizer (hence the name). Contents 1 Definition… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”