In

_{''W''} is the _{''W''}. The kernel is usually denoted as , or some variation thereof:
:$\backslash ker\; T\; =\; \backslash \; .$
Since a linear map preserves zero vectors, the zero vector 0_{''V''} of ''V'' must belong to the kernel. The transformation ''T'' is injective if and only if its kernel is reduced to the zero subspace.
The kernel ker ''T'' is always a

_{''H''} is the _{''H''}.
The kernel is usually denoted (or a variation). In symbols:
: $\backslash ker\; f\; =\; \backslash \; .$
Since a group homomorphism preserves identity elements, the identity element ''e''_{''G''} of ''G'' must belong to the kernel.
The homomorphism ''f'' is injective if and only if its kernel is only the singleton set . If ''f'' were not injective, then the non-injective elements can form a distinct element of its kernel: there would exist $a,\; b\; \backslash in\; G$ such that $a\; \backslash neq\; b$ and $f(a)\; =\; f(b)$. Thus $f(a)f(b)^\; =\; e\_H$. ''f'' is a group homomorphism, so inverses and group operations are preserved, giving $f\backslash left(ab^\backslash right)\; =\; e\_H$; in other words, $ab^\; \backslash in\; \backslash ker\; f$, and ker ''f'' would not be the singleton. Conversely, distinct elements of the kernel violate injectivity directly: if there would exist an element $g\; \backslash neq\; e\_G\; \backslash in\; \backslash ker\; f$, then $f(g)\; =\; f(e\_G)\; =\; e\_H$, thus ''f'' would not be injective.
is a

_{''H''}. The quotient group has two elements: and . It is indeed isomorphic to ''H''.

_{''S''} is the _{''S''}.
The kernel is usually denoted (or a variation).
In symbols:
: $\backslash operatorname\; f\; =\; \backslash \backslash mbox$
Since a ring homomorphism preserves zero elements, the zero element 0_{''R''} of ''R'' must belong to the kernel.
The homomorphism ''f'' is injective if and only if its kernel is only the singleton set .
This is always the case if ''R'' is a

ring
Ring may refer to:
* Ring (jewellery), a round band, usually made of metal, worn as ornamental jewelry
* To make a sound with a bell, and the sound made by a bell
:(hence) to initiate a telephone connection
Arts, entertainment and media Film and ...

s or modules). The characteristic feature of a Malcev algebra is that we can recover the entire equivalence relation ker ''f'' from the _{''B''} is the neutral element of ''B'', then the ''kernel'' of ''f'' is the _{''B''}.
The kernel is usually denoted (or a variation). In symbols:
: $\backslash operatorname\; f\; =\; \backslash \backslash mbox$
Since a Malcev algebra homomorphism preserves neutral elements, the identity element ''e''_{''A''} of ''A'' must belong to the kernel. The homomorphism ''f'' is injective if and only if its kernel is only the singleton set .
The notion of _{''A''} under the kernel-as-a-congruence. For the converse direction, we need the notion of

algebra
Algebra () is one of the broad areas of mathematics. Roughly speaking, algebra is the study of mathematical symbols and the rules for manipulating these symbols in formulas; it is a unifying thread of almost all of mathematics.
Elementary a ...

, the kernel of a homomorphism
In algebra, a homomorphism is a structure-preserving map between two algebraic structures of the same type (such as two groups, two rings, or two vector spaces). The word ''homomorphism'' comes from the Ancient Greek language: () meaning "same" ...

(function that preserves the structure
A structure is an arrangement and organization of interrelated elements in a material object or system, or the object or system so organized. Material structures include man-made objects such as buildings and machines and natural objects such as ...

) is generally the inverse image
In mathematics, the image of a function is the set of all output values it may produce.
More generally, evaluating a given function f at each element of a given subset A of its domain produces a set, called the "image of A under (or through) ...

of 0 (except for groups
A group is a number of persons or things that are located, gathered, or classed together.
Groups of people
* Cultural group, a group whose members share the same cultural identity
* Ethnic group, a group whose members share the same ethnic ide ...

whose operation is denoted multiplicatively, where the kernel is the inverse image of 1). An important special case is the kernel of a linear map. The kernel of a matrix
In mathematics, the kernel of a linear map, also known as the null space or nullspace, is the linear subspace of the domain of the map which is mapped to the zero vector. That is, given a linear map between two vector spaces and , the kernel of ...

, also called the ''null space'', is the kernel of the linear map defined by the matrix.
The kernel of a homomorphism is reduced to 0 (or 1) if and only if the homomorphism is injective
In mathematics, an injective function (also known as injection, or one-to-one function) is a function that maps distinct elements of its domain to distinct elements; that is, implies . (Equivalently, implies in the equivalent contrapositiv ...

, that is if the inverse image of every element consists of a single element. This means that the kernel can be viewed as a measure of the degree to which the homomorphism fails to be injective.See and .
For some types of structure, such as abelian group
In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commut ...

s and vector space
In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called ''vectors'', may be added together and multiplied ("scaled") by numbers called '' scalars''. Scalars are often real numbers, but can ...

s, the possible kernels are exactly the substructures of the same type. This is not always the case, and, sometimes, the possible kernels have received a special name, such as normal subgroup
In abstract algebra, a normal subgroup (also known as an invariant subgroup or self-conjugate subgroup) is a subgroup that is invariant under conjugation by members of the group of which it is a part. In other words, a subgroup N of the group G i ...

for groups and two-sided ideal
In ring theory, a branch of abstract algebra, an ideal of a ring is a special subset of its elements. Ideals generalize certain subsets of the integers, such as the even numbers or the multiples of 3. Addition and subtraction of even numbers p ...

s for rings
Ring may refer to:
* Ring (jewellery), a round band, usually made of metal, worn as ornamental jewelry
* To make a sound with a bell, and the sound made by a bell
:(hence) to initiate a telephone connection
Arts, entertainment and media Film and ...

.
Kernels allow defining quotient objects (also called quotient algebras in universal algebra
Universal algebra (sometimes called general algebra) is the field of mathematics that studies algebraic structures themselves, not examples ("models") of algebraic structures.
For instance, rather than take particular groups as the object of study, ...

, and cokernel
The cokernel of a linear mapping of vector spaces is the quotient space of the codomain of by the image of . The dimension of the cokernel is called the ''corank'' of .
Cokernels are dual to the kernels of category theory, hence the nam ...

s in category theory
Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Nowadays, cate ...

). For many types of algebraic structure, the fundamental theorem on homomorphisms
In abstract algebra, the fundamental theorem on homomorphisms, also known as the fundamental homomorphism theorem, or the first isomorphism theorem, relates the structure of two objects between which a homomorphism is given, and of the kernel and ...

(or first isomorphism theorem
In mathematics, specifically abstract algebra, the isomorphism theorems (also known as Noether's isomorphism theorems) are theorems that describe the relationship between quotients, homomorphisms, and subobjects. Versions of the theorems exist fo ...

) states that image
An image is a visual representation of something. It can be two-dimensional, three-dimensional, or somehow otherwise feed into the visual system to convey information. An image can be an artifact, such as a photograph or other two-dimensiona ...

of a homomorphism is isomorphic
In mathematics, an isomorphism is a structure-preserving mapping between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word is ...

to the quotient by the kernel.
The concept of a kernel has been extended to structures such that the inverse image of a single element is not sufficient for deciding whether a homomorphism is injective. In these cases, the kernel is a congruence relation
In abstract algebra, a congruence relation (or simply congruence) is an equivalence relation on an algebraic structure (such as a group, ring, or vector space) that is compatible with the structure in the sense that algebraic operations done wi ...

.
This article is a survey for some important types of kernels in algebraic structures.
Survey of examples

Linear maps

Let ''V'' and ''W'' bevector space
In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called ''vectors'', may be added together and multiplied ("scaled") by numbers called '' scalars''. Scalars are often real numbers, but can ...

s over a field
Field may refer to:
Expanses of open ground
* Field (agriculture), an area of land used for agricultural purposes
* Airfield, an aerodrome that lacks the infrastructure of an airport
* Battlefield
* Lawn, an area of mowed grass
* Meadow, a grass ...

(or more generally, modules
Broadly speaking, modularity is the degree to which a system's components may be separated and recombined, often with the benefit of flexibility and variety in use. The concept of modularity is used primarily to reduce complexity by breaking a sy ...

over a ring
Ring may refer to:
* Ring (jewellery), a round band, usually made of metal, worn as ornamental jewelry
* To make a sound with a bell, and the sound made by a bell
:(hence) to initiate a telephone connection
Arts, entertainment and media Film and ...

) and let ''T'' be a linear map
In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a Map (mathematics), mapping V \to W between two vect ...

from ''V'' to ''W''. If 0zero vector
In mathematics, a zero element is one of several generalizations of 0, the number zero to other algebraic structures. These alternate meanings may or may not reduce to the same thing, depending on the context.
Additive identities
An additive iden ...

of ''W'', then the kernel of ''T'' is the preimage
In mathematics, the image of a function is the set of all output values it may produce.
More generally, evaluating a given function f at each element of a given subset A of its domain produces a set, called the "image of A under (or through) ...

of the zero subspace ; that is, the subset
In mathematics, Set (mathematics), set ''A'' is a subset of a set ''B'' if all Element (mathematics), elements of ''A'' are also elements of ''B''; ''B'' is then a superset of ''A''. It is possible for ''A'' and ''B'' to be equal; if they are ...

of ''V'' consisting of all those elements of ''V'' that are mapped by ''T'' to the element 0linear subspace
In mathematics, and more specifically in linear algebra, a linear subspace, also known as a vector subspaceThe term ''linear subspace'' is sometimes used for referring to flats and affine subspaces. In the case of vector spaces over the reals, li ...

of ''V''. Thus, it makes sense to speak of the quotient space ''V''/(ker ''T''). The first isomorphism theorem for vector spaces states that this quotient space is naturally isomorphic
In category theory, a branch of mathematics, a natural transformation provides a way of transforming one functor into another while respecting the internal structure (i.e., the composition of morphisms) of the categories involved. Hence, a natur ...

to the image
An image is a visual representation of something. It can be two-dimensional, three-dimensional, or somehow otherwise feed into the visual system to convey information. An image can be an artifact, such as a photograph or other two-dimensiona ...

of ''T'' (which is a subspace of ''W''). As a consequence, the dimension
In physics and mathematics, the dimension of a Space (mathematics), mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any Point (geometry), point within it. Thus, a Line (geometry), lin ...

of ''V'' equals the dimension of the kernel plus the dimension of the image.
If ''V'' and ''W'' are finite-dimensional
In mathematics, the dimension of a vector space ''V'' is the cardinality (i.e., the number of vectors) of a basis of ''V'' over its base field. p. 44, §2.36 It is sometimes called Hamel dimension (after Georg Hamel) or algebraic dimension to disti ...

and bases have been chosen, then ''T'' can be described by a matrix
Matrix most commonly refers to:
* ''The Matrix'' (franchise), an American media franchise
** ''The Matrix'', a 1999 science-fiction action film
** "The Matrix", a fictional setting, a virtual reality environment, within ''The Matrix'' (franchis ...

''M'', and the kernel can be computed by solving the homogeneous system of linear equations
In mathematics, a system of linear equations (or linear system) is a collection of one or more linear equations involving the same variable (math), variables.
For example,
:\begin
3x+2y-z=1\\
2x-2y+4z=-2\\
-x+\fracy-z=0
\end
is a system of three ...

. In this case, the kernel of ''T'' may be identified to the kernel of the matrix ''M'', also called "null space" of ''M''. The dimension of the null space, called the nullity of ''M'', is given by the number of columns of ''M'' minus the rank
Rank is the relative position, value, worth, complexity, power, importance, authority, level, etc. of a person or object within a ranking, such as:
Level or position in a hierarchical organization
* Academic rank
* Diplomatic rank
* Hierarchy
* ...

of ''M'', as a consequence of the rank–nullity theorem
The rank–nullity theorem is a theorem in linear algebra, which asserts that the dimension of the domain of a linear map is the sum of its rank (the dimension of its image) and its ''nullity'' (the dimension of its kernel). p. 70, §2.1, Theor ...

.
Solving homogeneous differential equation A differential equation can be homogeneous in either of two respects.
A first order differential equation is said to be homogeneous if it may be written
:f(x,y) \, dy = g(x,y) \, dx,
where and are homogeneous functions of the same degree of an ...

s often amounts to computing the kernel of certain differential operators.
For instance, in order to find all twice-differentiable function
In mathematics, a differentiable function of one real variable is a function whose derivative exists at each point in its domain. In other words, the graph of a differentiable function has a non-vertical tangent line at each interior point in its ...

s ''f'' from the real line
In elementary mathematics, a number line is a picture of a graduated straight line (geometry), line that serves as visual representation of the real numbers. Every point of a number line is assumed to correspond to a real number, and every real ...

to itself such that
:$x\; f\text{'}\text{'}(x)\; +\; 3\; f\text{'}(x)\; =\; f(x),$
let ''V'' be the space of all twice differentiable functions, let ''W'' be the space of all functions, and define a linear operator ''T'' from ''V'' to ''W'' by
:$(Tf)(x)\; =\; x\; f\text{'}\text{'}(x)\; +\; 3\; f\text{'}(x)\; -\; f(x)$
for ''f'' in ''V'' and ''x'' an arbitrary real number
In mathematics, a real number is a number that can be used to measure a ''continuous'' one-dimensional quantity such as a distance, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small variations. Every real ...

.
Then all solutions to the differential equation are in ker ''T''.
One can define kernels for homomorphisms between modules over a ring
Ring may refer to:
* Ring (jewellery), a round band, usually made of metal, worn as ornamental jewelry
* To make a sound with a bell, and the sound made by a bell
:(hence) to initiate a telephone connection
Arts, entertainment and media Film and ...

in an analogous manner. This includes kernels for homomorphisms between abelian group
In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commut ...

s as a special case. This example captures the essence of kernels in general abelian categories
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 prototypical example of an abelian category is the category of ...

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

.
Group homomorphisms

Let ''G'' and ''H'' begroup
A group is a number of persons or things that are located, gathered, or classed together.
Groups of people
* Cultural group, a group whose members share the same cultural identity
* Ethnic group, a group whose members share the same ethnic ide ...

s and let ''f'' be a group homomorphism
In mathematics, given two groups, (''G'', ∗) and (''H'', ·), a group homomorphism from (''G'', ∗) to (''H'', ·) is a function ''h'' : ''G'' → ''H'' such that for all ''u'' and ''v'' in ''G'' it holds that
: h(u*v) = h(u) \cdot h(v)
wh ...

from ''G'' to ''H''. If ''e''identity element
In mathematics, an identity element, or neutral element, of a binary operation operating on a set is an element of the set that leaves unchanged every element of the set when the operation is applied. This concept is used in algebraic structures su ...

of ''H'', then the ''kernel'' of ''f'' is the preimage of the singleton set ; that is, the subset of ''G'' consisting of all those elements of ''G'' that are mapped by ''f'' to the element ''e''subgroup
In group theory, a branch of mathematics, given a group ''G'' under a binary operation ∗, a subset ''H'' of ''G'' is called a subgroup of ''G'' if ''H'' also forms a group under the operation ∗. More precisely, ''H'' is a subgroup ...

of ''G'' and further it is a normal subgroup
In abstract algebra, a normal subgroup (also known as an invariant subgroup or self-conjugate subgroup) is a subgroup that is invariant under conjugation by members of the group of which it is a part. In other words, a subgroup N of the group G i ...

. Thus, there is a corresponding quotient group
A quotient group or factor group is a mathematical group obtained by aggregating similar elements of a larger group using an equivalence relation that preserves some of the group structure (the rest of the structure is "factored" out). For examp ...

. This is isomorphic to ''f''(''G''), the image of ''G'' under ''f'' (which is a subgroup of ''H'' also), by the first isomorphism theorem
In mathematics, specifically abstract algebra, the isomorphism theorems (also known as Noether's isomorphism theorems) are theorems that describe the relationship between quotients, homomorphisms, and subobjects. Versions of the theorems exist fo ...

for groups.
In the special case of abelian group
In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commut ...

s, there is no deviation from the previous section.
Example

Let ''G'' be thecyclic group
In group theory, a branch of abstract algebra in pure mathematics, a cyclic group or monogenous group is a group, denoted C''n'', that is generated by a single element. That is, it is a set of invertible elements with a single associative bina ...

on 6 elements with modular addition, ''H'' be the cyclic on 2 elements with modular addition, and ''f'' the homomorphism that maps each element ''g'' in ''G'' to the element ''g'' modulo 2 in ''H''. Then , since all these elements are mapped to 0Ring homomorphisms

Let ''R'' and ''S'' bering
Ring may refer to:
* Ring (jewellery), a round band, usually made of metal, worn as ornamental jewelry
* To make a sound with a bell, and the sound made by a bell
:(hence) to initiate a telephone connection
Arts, entertainment and media Film and ...

s (assumed unital) and let ''f'' be a ring homomorphism
In ring theory, a branch of abstract algebra, a ring homomorphism is a structure-preserving function between two rings. More explicitly, if ''R'' and ''S'' are rings, then a ring homomorphism is a function such that ''f'' is:
:addition preservi ...

from ''R'' to ''S''.
If 0zero element
In mathematics, a zero element is one of several generalizations of the number zero to other algebraic structures. These alternate meanings may or may not reduce to the same thing, depending on the context.
Additive identities
An additive identi ...

of ''S'', then the ''kernel'' of ''f'' is its kernel as linear map over the integers, or, equivalently, as additive groups. It is the preimage of the zero ideal
In mathematics, a zero element is one of several generalizations of the number zero to other algebraic structures. These alternate meanings may or may not reduce to the same thing, depending on the context.
Additive identities
An additive identi ...

, which is, the subset of ''R'' consisting of all those elements of ''R'' that are mapped by ''f'' to the element 0field
Field may refer to:
Expanses of open ground
* Field (agriculture), an area of land used for agricultural purposes
* Airfield, an aerodrome that lacks the infrastructure of an airport
* Battlefield
* Lawn, an area of mowed grass
* Meadow, a grass ...

, and ''S'' is not the zero ring
In ring theory, a branch of mathematics, the zero ring or trivial ring is the unique ring (up to isomorphism) consisting of one element. (Less commonly, the term "zero ring" is used to refer to any rng of square zero, i.e., a rng in which for a ...

.
Since ker ''f'' contains the multiplicative identity only when ''S'' is the zero ring, it turns out that the kernel is generally not a subring
In mathematics, a subring of ''R'' is a subset of a ring that is itself a ring when binary operations of addition and multiplication on ''R'' are restricted to the subset, and which shares the same multiplicative identity as ''R''. For those wh ...

of ''R.'' The kernel is a sub rng, and, more precisely, a two-sided ideal
Ideal may refer to:
Philosophy
* Ideal (ethics), values that one actively pursues as goals
* Platonic ideal, a philosophical idea of trueness of form, associated with Plato
Mathematics
* Ideal (ring theory), special subsets of a ring considere ...

of ''R''.
Thus, it makes sense to speak of the quotient ring
In ring theory, a branch of abstract algebra, a quotient ring, also known as factor ring, difference ring or residue class ring, is a construction quite similar to the quotient group in group theory and to the quotient space in linear algebra. ...

''R''/(ker ''f'').
The first isomorphism theorem for rings states that this quotient ring is naturally isomorphic to the image of ''f'' (which is a subring of ''S''). (Note that rings need not be unital for the kernel definition).
To some extent, this can be thought of as a special case of the situation for modules, since these are all bimodule In abstract algebra, a bimodule is an abelian group that is both a left and a right module, such that the left and right multiplications are compatible. Besides appearing naturally in many parts of mathematics, bimodules play a clarifying role, in t ...

s over a ring ''R'':
* ''R'' itself;
* any two-sided ideal of ''R'' (such as ker ''f'');
* any quotient ring of ''R'' (such as ''R''/(ker ''f'')); and
* the codomain
In mathematics, the codomain or set of destination of a function is the set into which all of the output of the function is constrained to fall. It is the set in the notation . The term range is sometimes ambiguously used to refer to either the ...

of any ring homomorphism whose domain is ''R'' (such as ''S'', the codomain of ''f'').
However, the isomorphism theorem gives a stronger result, because ring isomorphisms preserve multiplication while module isomorphisms (even between rings) in general do not.
This example captures the essence of kernels in general Mal'cev algebra
In mathematics, a Malcev algebra (or Maltsev algebra or Moufang– Lie algebra) over a field is a nonassociative algebra that is antisymmetric, so that
:xy = -yx
and satisfies the Malcev identity
:(xy)(xz) = ((xy)z)x + ((yz)x)x + ((zx)x)y.
Th ...

s.
Monoid homomorphisms

Let ''M'' and ''N'' bemonoid
In abstract algebra, a branch of mathematics, a monoid is a set equipped with an associative binary operation and an identity element. For example, the nonnegative integers with addition form a monoid, the identity element being 0.
Monoids ...

s and let ''f'' be a monoid homomorphism
In abstract algebra, a branch of mathematics, a monoid is a set equipped with an associative binary operation and an identity element. For example, the nonnegative integers with addition form a monoid, the identity element being 0.
Monoids ar ...

from ''M'' to ''N''. Then the ''kernel'' of ''f'' is the subset of the direct product consisting of all those ordered pair
In mathematics, an ordered pair (''a'', ''b'') is a pair of objects. The order in which the objects appear in the pair is significant: the ordered pair (''a'', ''b'') is different from the ordered pair (''b'', ''a'') unless ''a'' = ''b''. (In con ...

s of elements of ''M'' whose components are both mapped by ''f'' to the same element in ''N''. The kernel is usually denoted (or a variation thereof). In symbols:
: $\backslash operatorname\; f\; =\; \backslash left\backslash .$
Since ''f'' is a function
Function or functionality may refer to:
Computing
* Function key, a type of key on computer keyboards
* Function model, a structured representation of processes in a system
* Function object or functor or functionoid, a concept of object-oriente ...

, the elements of the form must belong to the kernel. The homomorphism ''f'' is injective if and only if its kernel is only the diagonal set .
It turns out that is an equivalence relation
In mathematics, an equivalence relation is a binary relation that is reflexive, symmetric and transitive. The equipollence relation between line segments in geometry is a common example of an equivalence relation.
Each equivalence relation ...

on ''M'', and in fact a congruence relation
In abstract algebra, a congruence relation (or simply congruence) is an equivalence relation on an algebraic structure (such as a group, ring, or vector space) that is compatible with the structure in the sense that algebraic operations done wi ...

. Thus, it makes sense to speak of the quotient monoid
In mathematics, a semigroup is an algebraic structure consisting of a set together with an associative internal binary operation on it.
The binary operation of a semigroup is most often denoted multiplicatively: ''x''·''y'', or simply ''xy ...

. The first isomorphism theorem for monoids states that this quotient monoid is naturally isomorphic to the image of ''f'' (which is a submonoid of ''N''; for the congruence relation).
This is very different in flavour from the above examples. In particular, the preimage of the identity element of ''N'' is ''not'' enough to determine the kernel of ''f''.
Universal algebra

All the above cases may be unified and generalized inuniversal algebra
Universal algebra (sometimes called general algebra) is the field of mathematics that studies algebraic structures themselves, not examples ("models") of algebraic structures.
For instance, rather than take particular groups as the object of study, ...

.
General case

Let ''A'' and ''B'' bealgebraic structure
In mathematics, an algebraic structure consists of a nonempty set ''A'' (called the underlying set, carrier set or domain), a collection of operations on ''A'' (typically binary operations such as addition and multiplication), and a finite set of ...

s of a given type and let ''f'' be a homomorphism of that type from ''A'' to ''B''.
Then the ''kernel'' of ''f'' is the subset of the direct product ''A'' × ''A'' consisting of all those ordered pair
In mathematics, an ordered pair (''a'', ''b'') is a pair of objects. The order in which the objects appear in the pair is significant: the ordered pair (''a'', ''b'') is different from the ordered pair (''b'', ''a'') unless ''a'' = ''b''. (In con ...

s of elements of ''A'' whose components are both mapped by ''f'' to the same element in ''B''.
The kernel is usually denoted (or a variation).
In symbols:
: $\backslash operatorname\; f\; =\; \backslash left\backslash \backslash mbox$
Since ''f'' is a function
Function or functionality may refer to:
Computing
* Function key, a type of key on computer keyboards
* Function model, a structured representation of processes in a system
* Function object or functor or functionoid, a concept of object-oriente ...

, the elements of the form (''a'', ''a'') must belong to the kernel.
The homomorphism ''f'' is injective if and only if its kernel is exactly the diagonal set .
It is easy to see that ker ''f'' is an equivalence relation
In mathematics, an equivalence relation is a binary relation that is reflexive, symmetric and transitive. The equipollence relation between line segments in geometry is a common example of an equivalence relation.
Each equivalence relation ...

on ''A'', and in fact a congruence relation
In abstract algebra, a congruence relation (or simply congruence) is an equivalence relation on an algebraic structure (such as a group, ring, or vector space) that is compatible with the structure in the sense that algebraic operations done wi ...

.
Thus, it makes sense to speak of the quotient algebra ''A''/(ker ''f'').
The first isomorphism theorem
In mathematics, specifically abstract algebra, the isomorphism theorems (also known as Noether's isomorphism theorems) are theorems that describe the relationship between quotients, homomorphisms, and subobjects. Versions of the theorems exist fo ...

in general universal algebra states that this quotient algebra is naturally isomorphic to the image of ''f'' (which is a subalgebra In mathematics, a subalgebra is a subset of an algebra, closed under all its operations, and carrying the induced operations.
"Algebra", when referring to a structure, often means a vector space or module equipped with an additional bilinear operat ...

of ''B'').
Note that the definition of kernel here (as in the monoid example) doesn't depend on the algebraic structure; it is a purely set
Set, The Set, SET or SETS may refer to:
Science, technology, and mathematics Mathematics
*Set (mathematics), a collection of elements
*Category of sets, the category whose objects and morphisms are sets and total functions, respectively
Electro ...

-theoretic concept.
For more on this general concept, outside of abstract algebra, see kernel of a function
In set theory, the kernel of a function f (or equivalence kernel.) may be taken to be either
* the equivalence relation on the function's domain that roughly expresses the idea of "equivalent as far as the function f can tell",. or
* the cor ...

.
Malcev algebras

In the case of Malcev algebras, this construction can be simplified. Every Malcev algebra has a specialneutral element
In mathematics, an identity element, or neutral element, of a binary operation operating on a set is an element of the set that leaves unchanged every element of the set when the operation is applied. This concept is used in algebraic structures su ...

(the zero vector
In mathematics, a zero element is one of several generalizations of 0, the number zero to other algebraic structures. These alternate meanings may or may not reduce to the same thing, depending on the context.
Additive identities
An additive iden ...

in the case of vector space
In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called ''vectors'', may be added together and multiplied ("scaled") by numbers called '' scalars''. Scalars are often real numbers, but can ...

s, the identity element
In mathematics, an identity element, or neutral element, of a binary operation operating on a set is an element of the set that leaves unchanged every element of the set when the operation is applied. This concept is used in algebraic structures su ...

in the case of commutative group
In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commut ...

s, and the zero element
In mathematics, a zero element is one of several generalizations of the number zero to other algebraic structures. These alternate meanings may or may not reduce to the same thing, depending on the context.
Additive identities
An additive identi ...

in the case of equivalence class
In mathematics, when the elements of some set S have a notion of equivalence (formalized as an equivalence relation), then one may naturally split the set S into equivalence classes. These equivalence classes are constructed so that elements a ...

of the neutral element.
To be specific, let ''A'' and ''B'' be Malcev algebraic structures of a given type and let ''f'' be a homomorphism of that type from ''A'' to ''B''. If ''e''preimage
In mathematics, the image of a function is the set of all output values it may produce.
More generally, evaluating a given function f at each element of a given subset A of its domain produces a set, called the "image of A under (or through) ...

of the singleton set
In mathematics, a singleton, also known as a unit set or one-point set, is a set with exactly one element. For example, the set \ is a singleton whose single element is 0.
Properties
Within the framework of Zermelo–Fraenkel set theory, the ...

; that is, the subset
In mathematics, Set (mathematics), set ''A'' is a subset of a set ''B'' if all Element (mathematics), elements of ''A'' are also elements of ''B''; ''B'' is then a superset of ''A''. It is possible for ''A'' and ''B'' to be equal; if they are ...

of ''A'' consisting of all those elements of ''A'' that are mapped by ''f'' to the element ''e''ideal
Ideal may refer to:
Philosophy
* Ideal (ethics), values that one actively pursues as goals
* Platonic ideal, a philosophical idea of trueness of form, associated with Plato
Mathematics
* Ideal (ring theory), special subsets of a ring considere ...

generalises to any Malcev algebra (as linear subspace
In mathematics, and more specifically in linear algebra, a linear subspace, also known as a vector subspaceThe term ''linear subspace'' is sometimes used for referring to flats and affine subspaces. In the case of vector spaces over the reals, li ...

in the case of vector spaces, normal subgroup
In abstract algebra, a normal subgroup (also known as an invariant subgroup or self-conjugate subgroup) is a subgroup that is invariant under conjugation by members of the group of which it is a part. In other words, a subgroup N of the group G i ...

in the case of groups, two-sided ideals in the case of rings, and submodule
In mathematics, a module is a generalization of the notion of vector space in which the field of scalars is replaced by a ring. The concept of ''module'' generalizes also the notion of abelian group, since the abelian groups are exactly the mo ...

in the case of module
Module, modular and modularity may refer to the concept of modularity. They may also refer to:
Computing and engineering
* Modular design, the engineering discipline of designing complex devices using separately designed sub-components
* Mo ...

s).
It turns out that ker ''f'' is not a subalgebra In mathematics, a subalgebra is a subset of an algebra, closed under all its operations, and carrying the induced operations.
"Algebra", when referring to a structure, often means a vector space or module equipped with an additional bilinear operat ...

of ''A'', but it is an ideal.
Then it makes sense to speak of the quotient algebra ''G''/(ker ''f'').
The first isomorphism theorem for Malcev algebras states that this quotient algebra is naturally isomorphic to the image of ''f'' (which is a subalgebra of ''B'').
The connection between this and the congruence relation for more general types of algebras is as follows.
First, the kernel-as-an-ideal is the equivalence class of the neutral element ''e''quotient
In arithmetic, a quotient (from lat, quotiens 'how many times', pronounced ) is a quantity produced by the division of two numbers. The quotient has widespread use throughout mathematics, and is commonly referred to as the integer part of a ...

in the Mal'cev algebra (which is division
Division or divider may refer to:
Mathematics
*Division (mathematics), the inverse of multiplication
*Division algorithm, a method for computing the result of mathematical division
Military
*Division (military), a formation typically consisting ...

on either side for groups and subtraction
Subtraction is an arithmetic operation that represents the operation of removing objects from a collection. Subtraction is signified by the minus sign, . For example, in the adjacent picture, there are peaches—meaning 5 peaches with 2 taken ...

for vector spaces, modules, and rings).
Using this, elements ''a'' and ''b'' of ''A'' are equivalent under the kernel-as-a-congruence if and only if their quotient ''a''/''b'' is an element of the kernel-as-an-ideal.
Algebras with nonalgebraic structure

Sometimes algebras are equipped with a nonalgebraic structure in addition to their algebraic operations. For example, one may considertopological group
In mathematics, topological groups are logically the combination of groups and topological spaces, i.e. they are groups and topological spaces at the same time, such that the continuity condition for the group operations connects these two str ...

s or topological vector space
In mathematics, a topological vector space (also called a linear topological space and commonly abbreviated TVS or t.v.s.) is one of the basic structures investigated in functional analysis.
A topological vector space is a vector space that is als ...

s, which are equipped with a topology
In mathematics, topology (from the Greek language, Greek words , and ) is concerned with the properties of a mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformations, such ...

.
In this case, we would expect the homomorphism ''f'' to preserve this additional structure; in the topological examples, we would want ''f'' to be a continuous map
In mathematics, a continuous function is a function such that a continuous variation (that is a change without jump) of the argument induces a continuous variation of the value of the function. This means that there are no abrupt changes in valu ...

.
The process may run into a snag with the quotient algebras, which may not be well-behaved.
In the topological examples, we can avoid problems by requiring that topological algebraic structures be Hausdorff (as is usually done); then the kernel (however it is constructed) will be a closed set
In geometry, topology, and related branches of mathematics, a closed set is a set whose complement is an open set. In a topological space, a closed set can be defined as a set which contains all its limit points. In a complete metric space, a cl ...

and the quotient space will work fine (and also be Hausdorff).
Kernels in category theory

The notion of ''kernel'' incategory theory
Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Nowadays, cate ...

is a generalisation of the kernels of abelian algebras; see Kernel (category theory)
In category theory and its applications to other branches of mathematics, kernels are a generalization of the kernels of group homomorphisms, the kernels of module homomorphisms and certain other kernels from algebra. Intuitively, the kernel of ...

.
The categorical generalisation of the kernel as a congruence relation is the '' kernel pair''.
(There is also the notion of difference kernel
In mathematics, an equaliser is a set of arguments where two or more functions have equal values.
An equaliser is the solution set of an equation.
In certain contexts, a difference kernel is the equaliser of exactly two functions.
Definitions
...

, or binary equaliser.)
See also

*Kernel (linear algebra)
In mathematics, the kernel of a linear map, also known as the null space or nullspace, is the linear subspace of the domain of the map which is mapped to the zero vector. That is, given a linear map between two vector spaces and , the kernel o ...

* Zero set
In mathematics, a zero (also sometimes called a root) of a real-, complex-, or generally vector-valued function f, is a member x of the domain of f such that f(x) ''vanishes'' at x; that is, the function f attains the value of 0 at x, or e ...

Notes

References

* * {{DEFAULTSORT:Kernel (Algebra) Algebra Isomorphism theorems Linear algebra