The cokernel of a

Category Theory in Context

2014, p. 82, p. 139 footnote 8. {{Category theory Abstract algebra Category theory Isomorphism theorems de:Kern (Algebra)#Kokern

linear mapping
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...

of vector spaces is the quotient space of the codomain
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...

of by the image of . The dimension of the cokernel is called the ''corank'' of .
Cokernels are dual
Dual or Duals may refer to:
Paired/two things
* Dual (mathematics), a notion of paired concepts that mirror one another
** Dual (category theory), a formalization of mathematical duality
** . . . see more cases in :Duality theories
* Dual ...

to the kernels of category theory, hence the name: the kernel is a subobjectIn category theory
Category theory formalizes mathematical structure and its concepts in terms of a Graph labeling, labeled directed graph called a ''Category (mathematics), category'', whose nodes are called ''objects'', and whose labelled dire ...

of the domain (it maps to the domain), while the cokernel is a quotient objectIn category theory
Category theory formalizes mathematical structure and its concepts in terms of a Graph labeling, labeled directed graph called a ''Category (mathematics), category'', whose nodes are called ''objects'', and whose labelled dire ...

of the codomain (it maps from the codomain).
Intuitively, given an equation that one is seeking to solve, the cokernel measures the ''constraints'' that 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
Intuition is the ability to acquire knowledge without recourse to conscious reasoning. Different fields use the word "intuition" in very different ways, including but not limited to: direct access to unconscious knowledge; unconscious cognition; ...

, below.
More generally, the cokernel of a morphism
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no gener ...

in some category
Category, plural categories, may refer to:
Philosophy and general uses
*Categorization
Categorization is the ability and activity to recognize shared features or similarities between the elements of the experience of the world (such as O ...

(e.g. a homomorphism
In algebra
Algebra (from ar, الجبر, lit=reunion of broken parts, bonesetting, translit=al-jabr) is one of the areas of mathematics, broad areas of mathematics, together with number theory, geometry and mathematical analysis, analysis. I ...

between group
A group is a number
A number is a mathematical object used to counting, count, measurement, measure, and nominal number, label. The original examples are the natural numbers 1, 2, 3, 4, and so forth. Numbers can be represented in language with ...

s or a bounded linear operator
In functional analysis
Image:Drum vibration mode12.gif, 200px, One of the possible modes of vibration of an idealized circular drum head. These modes are eigenfunctions of a linear operator on a function space, a common construction in functional a ...

between Hilbert space
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no ge ...

s) is an object and a morphism such that the composition is the zero morphismIn category theory
Category theory formalizes mathematical structure and its concepts in terms of a Graph labeling, labeled directed graph called a ''Category (mathematics), category'', whose nodes are called ''objects'', and whose labelled dire ...

of the category, and furthermore is universal
Universal is the adjective for universe.
Universal may also refer to:
Companies
* NBCUniversal, a media and entertainment company
** Universal Animation Studios, an American Animation studio, and a subsidiary of NBCUniversal
** Universal TV, a te ...

with respect to this property. Often the map is understood, and itself is called the cokernel of .
In many situations in abstract algebra, such as for abelian groups, vector spaces or module (mathematics), modules, the cokernel of the homomorphism is the quotient set, quotient of by the Image (mathematics), image of . In topology, topological settings, such as with bounded linear operators between Hilbert spaces, one typically has to take the closure (mathematics), closure of the image before passing to the quotient.
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 havezero morphismIn category theory
Category theory formalizes mathematical structure and its concepts in terms of a Graph labeling, labeled directed graph called a ''Category (mathematics), category'', whose nodes are called ''objects'', and whose labelled dire ...

s. The cokernel of a morphism
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no gener ...

is defined as the coequalizer of and the zero morphism .
Explicitly, this means the following. The cokernel of is an object together with a morphism such that the diagram
commutative diagram, commutes. Moreover, the morphism must be universal property, universal for this diagram, i.e. any other such can be obtained by composing with a unique morphism :
As with all universal constructions the cokernel, if it exists, is unique up to a unique isomorphism, or more precisely: if and are two cokernels of , then there exists a unique isomorphism with .
Like all coequalizers, the cokernel is necessarily an epimorphism. Conversely an epimorphism is called ''normal morphism, 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 is the quotient group, quotient of by the Normal closure (group theory), normal closure of the image of . In the case of abelian groups, since every subgroup is normal, the cokernel is just Ideal (ring theory), modulo the image of : :$\backslash operatorname(f)\; =\; H\; /\; \backslash operatorname(f).$Special cases

In a preadditive category, it makes sense to add and subtract morphisms. In such a category, the coequalizer of two morphisms and (if it exists) is just the cokernel of their difference: : $\backslash operatorname(f,\; g)\; =\; \backslash operatorname(g\; -\; f).$ In an abelian category (a special kind of preadditive category) the image (category theory), image and coimage of a morphism are given by :$\backslash begin\; \backslash operatorname(f)\; \&=\; \backslash ker(\backslash operatorname\; f),\; \backslash \backslash \; \backslash operatorname(f)\; \&=\; \backslash operatorname(\backslash ker\; f).\; \backslash end$ In particular, every abelian category is normal (and conormal as well). That is, every monomorphism can be written as the kernel of some morphism. Specifically, is the kernel of its own cokernel: :$m\; =\; \backslash ker(\backslash operatorname(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 (algebra), kernel is the space of ''solutions.'' Formally, one may connect the kernel and the cokernel of a map by the exact sequence :$0\; \backslash to\; \backslash ker\; T\; \backslash to\; V\; \backslash overset\; T\; \backslash longrightarrow\; W\; \backslash to\; \backslash operatorname\; T\; \backslash to\; 0.$ These can be interpreted thus: given a linear equation to solve, * the kernel is the space of ''solutions'' to the ''homogeneous'' equation , and its dimension is the number of ''degrees of freedom'' in solutions to , if they exist; * the cokernel is the space of ''constraints'' on ''w'' that must be satisfied if the equation is to have a solution, and its dimension is the number of independent 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 is simply the dimension of the space ''minus'' the dimension of the image. As a simple example, consider the map , given by . Then for an equation to have a solution, we must have (one constraint), and in that case the solution space is , or equivalently, , (one degree of freedom). The kernel may be expressed as the subspace : the value of is the freedom in a solution. The cokernel may be expressed via the real valued map : given a vector , the value of is the ''obstruction'' to there being a solution. Additionally, the cokernel can be thought of as something that "detects" surjections in the same way that the kernel "detects" injection (mathematics), injections. A map is injective if and only if its kernel is trivial, and a map is surjective if and only if its cokernel is trivial, or in other words, if .References

*Saunders Mac Lane: ''Categories for the Working Mathematician'', Second Edition, 1978, p. 64 *Emily RiehlCategory Theory in Context

2014, p. 82, p. 139 footnote 8. {{Category theory Abstract algebra Category theory Isomorphism theorems de:Kern (Algebra)#Kokern