Kernel (algebra)

Elements taken to zero by a homomorphism

For other uses, see Kernel.

A group homomorphism h {\displaystyle h} from the group G {\displaystyle G} to the group  H {\displaystyle H} is illustrated, with the groups represented by a blue oval on the left and a yellow circle on the right respectively. The kernel of  h {\displaystyle h} is the red circle on the left, as  h {\displaystyle h} sends it to the identity element 1 of  H {\displaystyle H} . An example for a kernel - the linear operator  L : ( x , y ) ⟶ ( x , x ) {\displaystyle L:(x,y)\longrightarrow (x,x)} transforms all points on the  ( x = 0 , y ) {\displaystyle (x=0,y)} line to the zero point  ( 0 , 0 ) {\displaystyle (0,0)} , thus they form the kernel for the linear operator

In algebra, the kernel of a homomorphism is the relation describing how elements in the domain of the homomorphism become related in the image.[1] A homomorphism is a function that preserves the underlying algebraic structure in the domain to its image.

When the algebraic structures involved have an underlying group structure, the kernel is taken to be the preimage of the group's identity element in the image, that is, it consists of the elements of the domain mapping to the image's identity.[2] For example, the map that sends every integer to its parity (that is, 0 if the number is even, 1 if the number is odd) would be a homomorphism to the integers modulo 2, and its respective kernel would be the even integers which all have 0 as its parity.[3] The kernel of a homomorphism of group-like structures will only contain the identity if and only if the homomorphism is injective, 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.[4]

For some types of structure, such as abelian groups and vector spaces, the possible kernels are exactly the substructures of the same type. This is not always the case, and some kernels have received a special name, such as normal subgroups for groups[5] and two-sided ideals for rings.[6] 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.[1]

Kernels allow defining quotient objects (also called quotient algebras in universal algebra). For many types of algebraic structure, the fundamental theorem on homomorphisms (or first isomorphism theorem) states that image of a homomorphism is isomorphic to the quotient by the kernel.[1][4]

## Definition

[edit]

### Group homomorphisms

[edit]

Algebraic structure → Group theory
Group theory

Basic notions

* Subgroup
* Normal subgroup
* Group action

* Quotient group
* (Semi-)direct product
* Direct sum
* Free product
* Wreath product

Group homomorphisms

* kernel
* image

* simple
* finite
* infinite
* continuous
* multiplicative
* additive
* cyclic
* abelian
* dihedral
* nilpotent
* solvable

* Glossary of group theory
* List of group theory topics

Finite groups

* Cyclic group Zn
* Symmetric group Sn
* Alternating group An

* Dihedral group Dn
* Quaternion group Q

* Cauchy's theorem
* Lagrange's theorem

* Sylow theorems
* Hall's theorem

* p-group
* Elementary abelian group

* Frobenius group

* Schur multiplier

Classification of finite simple groups

* cyclic
* alternating
* Lie type
* sporadic

* Discrete groups
* Lattices

* Integers ( Z {\displaystyle \mathbb {Z} } )
* Free group

Modular groups

* PSL(2,  Z {\displaystyle \mathbb {Z} } )
* SL(2,  Z {\displaystyle \mathbb {Z} } )

* Arithmetic group
* Lattice
* Hyperbolic group

Topological and Lie groups

* Solenoid
* Circle

* General linear GL(n)

* Special linear SL(n)

* Orthogonal O(n)

* Euclidean E(n)

* Special orthogonal SO(n)

* Unitary U(n)

* Special unitary SU(n)

* Symplectic Sp(n)

* G2
* F4
* E6
* E7
* E8

* Lorentz
* Poincaré
* Conformal

* Diffeomorphism
* Loop

Infinite dimensional Lie group

* O(∞)
* SU(∞)
* Sp(∞)

Algebraic groups

* Linear algebraic group

* Reductive group

* Abelian variety

* Elliptic curve

* v
* t
* e

A group is a set G {\displaystyle G} with a binary operation ⋅ {\displaystyle \cdot } satisfying the following three properties for all  a , b , c ∈ G {\displaystyle a,b,c\in G} :[7]

1. Associative:  ( a ⋅ b ) ⋅ c = a ⋅ ( b ⋅ c ) {\displaystyle (a\cdot b)\cdot c=a\cdot (b\cdot c)}
2. Identity: There is an  e ∈ G {\displaystyle e\in G} such that  e ⋅ a = a ⋅ e = a {\displaystyle e\cdot a=a\cdot e=a}
3. Inverses: There is an  a ′ ∈ G {\displaystyle a'\in G} for each  a ∈ G {\displaystyle a\in G} such that  a ⋅ a ′ = a ′ ⋅ a = e {\displaystyle a\cdot a'=a'\cdot a=e}

A group is also called abelian if it also satisfies  a ⋅ b = b ⋅ a {\displaystyle a\cdot b=b\cdot a} .[7]

Let  G {\displaystyle G} and  H {\displaystyle H} be groups. A group homomorphism from  G {\displaystyle G} to  H {\displaystyle H} is a function  f : G -> H {\displaystyle f:G\to H} such that  f ( a b ) = f ( a ) f ( b ) {\displaystyle f(ab)=f(a)f(b)} for all  a , b ∈ G {\displaystyle a,b\in G} .[8] (For simplicity, the operation symbol  ⋅ {\displaystyle \cdot } is omitted.) Letting  e H {\displaystyle e_{H}} is the identity element of  H {\displaystyle H} , then the kernel of  f {\displaystyle f} is the preimage of the singleton set  { e H } {\displaystyle \\{e_{H}\\}} ; that is, the subset of  G {\displaystyle G} consisting of all those elements of  G {\displaystyle G} that are mapped by  f {\displaystyle f} to the element  e H {\displaystyle e_{H}} .[2][9]

The kernel is usually denoted  ker ⁡ f {\displaystyle \ker {f}} (or a variation).[2] In symbols:

ker ⁡ f = { g ∈ G : f ( g ) = e H } . {\displaystyle \ker f=\\{g\in G:f(g)=e_{H}\\}.}

Since a group homomorphism preserves identity elements, the identity element  e G {\displaystyle e_{G}} of  G {\displaystyle G} must belong to the kernel.[2] The homomorphism  f {\displaystyle f} is injective if and only if its kernel is only the singleton set  { e G } {\displaystyle \\{e_{G}\\}} .[10]

ker ⁡ f {\displaystyle \ker {f}} is a subgroup of  G {\displaystyle G} and further it is a normal subgroup. Thus, there is a corresponding quotient group G / ker ⁡ f {\displaystyle G/\ker {f}} . This is isomorphic to  f ( G ) {\displaystyle f(G)} , the image of  G {\displaystyle G} under  f {\displaystyle f} (which is a subgroup of  H {\displaystyle H} also), by the first isomorphism theorem for groups.[4]

### Ring homomorphisms

[edit]

Algebraic structure → Ring theory
Ring theory

Basic concepts

Rings

• Subrings
• Ideal
• Quotient ring

• Fractional ideal
• Total ring of fractions
• Product of rings
• Free product of associative algebras
• Tensor product of algebras

Ring homomorphisms

• Kernel
• Inner automorphism
• Frobenius endomorphism

Algebraic structures

• Module
• Associative algebra
• Graded ring
• Involutive ring
• Category of rings

• Initial ring Z {\displaystyle \mathbb {Z} }
• Terminal ring 0 = Z / 1 Z {\displaystyle 0=\mathbb {Z} /1\mathbb {Z} }

Related structures

• Field

• Finite field
• Non-associative ring

• Lie ring
• Jordan ring
• Semiring

• Semifield

Commutative algebra

Commutative rings

• Integral domain

• Integrally closed domain
• GCD domain
• Unique factorization domain
• Principal ideal domain
• Euclidean domain
• Field

• Finite field
• Polynomial ring
• Formal power series ring

Algebraic number theory

• Algebraic number field
• Integers modulo n
• Ring of integers
• p-adic integers Z p {\displaystyle \mathbb {Z} _{p}}
• p-adic numbers Q p {\displaystyle \mathbb {Q} _{p}}
• Prüfer p-ring Z ( p ∞ ) {\displaystyle \mathbb {Z} (p^{\infty })}

Noncommutative algebra

Noncommutative rings

• Division ring
• Semiprimitive ring
• Simple ring
• Commutator

Noncommutative algebraic geometry

Free algebra

Clifford algebra

• Geometric algebra
Operator algebra

* v
* t
* e

A ring with identity (or unity) is a set  R {\displaystyle R} with two binary operations  + {\displaystyle +} and  ⋅ {\displaystyle \cdot } satisfying:[11][12]

1. R {\displaystyle R} with  + {\displaystyle +} is an abelian group with identity  0 {\displaystyle 0} .
2. Multiplication  ⋅ {\displaystyle \cdot } is associative.
3. Distributive:  a ⋅ ( b + c ) = a ⋅ b + a ⋅ c {\displaystyle a\cdot (b+c)=a\cdot b+a\cdot c} and  ( a + b ) ⋅ c = a ⋅ c + b ⋅ c {\displaystyle (a+b)\cdot c=a\cdot c+b\cdot c} for all  a , b , c ∈ R {\displaystyle a,b,c\in R}
4. Multiplication  ⋅ {\displaystyle \cdot } has an identity element  1 {\displaystyle 1} .[a]

A ring is commutative if the multiplication is commutative, and such a ring is a field when every  0 ≠ a ∈ R {\displaystyle 0\neq a\in R} has a multiplicative inverse, that is, some  b ∈ R {\displaystyle b\in R} where  a b = 1 {\displaystyle ab=1} .[12] Let  R {\displaystyle R} and  S {\displaystyle S} be rings. A ring homomorphism from  R {\displaystyle R} to  S {\displaystyle S} is a function  f : R -> S {\displaystyle f:R\to S} satisfying for all  a , b ∈ R {\displaystyle a,b\in R} :[13]

1. f ( a + b ) = f ( a ) + f ( b ) {\displaystyle f(a+b)=f(a)+f(b)}
2. f ( a b ) = f ( a ) f ( b ) {\displaystyle f(ab)=f(a)f(b)}

The kernel of  f {\displaystyle f} is the kernel as additive groups.[14] It is the preimage of the zero ideal { 0 S } {\displaystyle \\{0_{S}\\}} , which is, the subset of  R {\displaystyle R} consisting of all those elements of  R {\displaystyle R} that are mapped by  f {\displaystyle f} to the element  0 S {\displaystyle 0_{S}} . The kernel is usually denoted  ker ⁡ f {\displaystyle \ker {f}} (or a variation). In symbols:

ker ⁡ f = { r ∈ R : f ( r ) = 0 S } . {\displaystyle \operatorname {ker} f=\\{r\in R:f(r)=0_{S}\\}.}

Since a ring homomorphism preserves zero elements, the zero element  0 R {\displaystyle 0_{R}} of  R {\displaystyle R} must belong to the kernel. The homomorphism  f {\displaystyle f} is injective if and only if its kernel is only the singleton set  { 0 R } {\displaystyle \\{0_{R}\\}} . This is always the case if  R {\displaystyle R} is a field, and  S {\displaystyle S} is not the zero ring.[6]

Since  ker ⁡ f {\displaystyle \ker {f}} contains the multiplicative identity only when  S {\displaystyle S} is the zero ring, it turns out that the kernel is generally not a subring of  R {\displaystyle R} . The kernel is a subrng, and, more precisely, a two-sided ideal of  R {\displaystyle R} . Thus, it makes sense to speak of the quotient ring R / ker ⁡ f {\displaystyle R/\ker {f}} . The first isomorphism theorem for rings states that this quotient ring is naturally isomorphic to the image of  f {\displaystyle f} (which is a subring of  S {\displaystyle S} ).[6]

### Linear maps

[edit]

Kernel and image of a linear map L from V to W

Main article: Kernel (linear algebra)

Given a field F {\displaystyle F} , a vector space (over  F {\displaystyle F} ) is an abelian group  V {\displaystyle V} (with binary operation  + {\displaystyle +} and identity  0 {\displaystyle 0} ) with scalar multiplication from  F {\displaystyle F} satisfying for all  a , b ∈ F {\displaystyle a,b\in F} and  α , β ∈ V {\displaystyle \alpha ,\beta \in V} :[15]

1. a ( b α ) = ( a b ) α {\displaystyle a(b\alpha )=(ab)\alpha }
2. ( a + b ) α = a α + b α {\displaystyle (a+b)\alpha =a\alpha +b\alpha }
3. a ( α + β ) = a α + a β {\displaystyle a(\alpha +\beta )=a\alpha +a\beta }
4. 1 α = α {\displaystyle 1\alpha =\alpha }

Let  V {\displaystyle V} and  W {\displaystyle W} be vector spaces over the field  F {\displaystyle F} . A linear map (or linear transformation) from  V {\displaystyle V} to  W {\displaystyle W} is a function  T : V -> W {\displaystyle T:V\to W} satisfying for all  α , β ∈ V {\displaystyle \alpha ,\beta \in V} and  a ∈ F {\displaystyle a\in F} :[16]

1. T ( α + β ) = T ( α ) + T ( β ) {\displaystyle T(\alpha +\beta )=T(\alpha )+T(\beta )}
2. T ( a α ) = a T ( α ) {\displaystyle T(a\alpha )=aT(\alpha )}

If  0 W {\displaystyle 0_{W}} is the zero vector of  W {\displaystyle W} , then the kernel of  T {\displaystyle T} (or null space[17]) is the preimage of the zero subspace { 0 W } {\displaystyle \\{0_{W}\\}} ; that is, the subset of  V {\displaystyle V} consisting of all those elements of  V {\displaystyle V} that are mapped by  T {\displaystyle T} to the element  0 W {\displaystyle 0_{W}} . The kernel is denoted as  ker ⁡ T {\displaystyle \ker {T}} , or some variation thereof, and is symbolically defined as:

ker ⁡ T = { v ∈ V : T ( v ) = 0 W } . {\displaystyle \ker T=\\{\mathbf {v} \in V:T(\mathbf {v} )=\mathbf {0} _{W}\\}.}

Since a linear map preserves zero vectors, the zero vector  0 V {\displaystyle 0_{V}} of  V {\displaystyle V} must belong to the kernel. The transformation  T {\displaystyle T} is injective if and only if its kernel is reduced to the zero subspace.[18]

The kernel  ker ⁡ T {\displaystyle \ker {T}} is always a linear subspace of  V {\displaystyle V} .[19] Thus, it makes sense to speak of the quotient space V / ker ⁡ T {\displaystyle V/\ker {T}} . The first isomorphism theorem for vector spaces states that this quotient space is naturally isomorphic to the image of  T {\displaystyle T} (which is a subspace of  W {\displaystyle W} ). As a consequence, the dimension of  V {\displaystyle V} equals the dimension of the kernel plus the dimension of the image.[19]

### Module homomorphisms

[edit]

Let  R {\displaystyle R} be a ring. A modules over  R {\displaystyle R} is defined exactly like a vector space over a field, using the same axioms, expect the field is replaced with a ring. In fact, a module over a field is exactly the same as a vector space over a field.[20] Let  M {\displaystyle M} and  N {\displaystyle N} be  R {\displaystyle R} -modules. A module homomorphism from  M {\displaystyle M} to  N {\displaystyle N} is also a function  φ : M -> N {\displaystyle \varphi :M\to N} satisfying the same analogous properties of a linear map. The kernel of  φ {\displaystyle \varphi } is defined to be:[21]

ker ⁡ φ = { m ∈ M | φ ( m ) = 0 } {\displaystyle \ker \varphi =\\{m\in M\ |\ \varphi (m)=0\\}}

Every kernel is a submodule of the domain module, which means they always contain 0, the additive identity of the module. Kernels of abelian groups can be considered a particular kind of module kernel when the underlying ring is the integers.[21]

## Examples

[edit]

### Group homomorphisms

[edit]

Let  G {\displaystyle G} be the cyclic group on 6 elements  { 0 , 1 , 2 , 3 , 4 , 5 , } {\displaystyle \\{0,1,2,3,4,5,\\}} with modular addition,  H {\displaystyle H} be the cyclic on 2 elements  { 0 , 1 } {\displaystyle \\{0,1\\}} with modular addition, and  f {\displaystyle f} the homomorphism that maps each element  g ∈ G {\displaystyle g\in G} to the element  g {\displaystyle g} modulo 2 in  H {\displaystyle H} . Then  ker ⁡ f = { 0 , 2 , 4 } {\displaystyle \ker f=\\{0,2,4\\}} , since all these elements are mapped to  0 ∈ H {\displaystyle 0\in H} . The quotient group  G / ker ⁡ f {\displaystyle G/\ker {f}} has two elements:  { 0 , 2 , 4 } {\displaystyle \\{0,2,4\\}} and  { 1 , 3 , 5 } {\displaystyle \\{1,3,5\\}} , and is isomorphic to  H {\displaystyle H} .[22]

Given a isomorphism φ : G -> H {\displaystyle \varphi :G\to H} , one has  ker ⁡ φ = 1 {\displaystyle \ker \varphi =1} .[22] On the other hand, if this mapping is merely a homomorphism where H is the trivial group, then  φ ( g ) = 1 {\displaystyle \varphi (g)=1} for all  g ∈ G {\displaystyle g\in G} , so thus  ker ⁡ φ = G {\displaystyle \ker \varphi =G} .[22]

Let  φ : R 2 -> R {\displaystyle \varphi :\mathbb {R} ^{2}\to \mathbb {R} } be the map defined as  φ ( ( x , y ) ) = x {\displaystyle \varphi ((x,y))=x} . Then this is a homomorphism with the kernel consisting precisely the points of the form  ( 0 , y ) {\displaystyle (0,y)} . This mapping is considered the "projection onto the x-axis."[22] A similar phenomenon occurs with the mapping  f : ( R × ) 2 -> R × {\displaystyle f:(\mathbb {R} ^{\times })^{2}\to \mathbb {R} ^{\times }} defined as  f ( a , b ) = b {\displaystyle f(a,b)=b} , where the kernel is the points of the form  ( a , 1 ) {\displaystyle (a,1)} [9]

For a non-abelian example, let  Q 8 {\displaystyle Q_{8}} denote the Quaternion group, and  V 4 {\displaystyle V_{4}} the Klein 4-group. Define a mapping  φ : Q 8 -> V 4 {\displaystyle \varphi :Q_{8}\to V_{4}} to be:[22]

φ ( ± 1 ) = 1 {\displaystyle \varphi (\pm 1)=1}
φ ( ± i ) = a {\displaystyle \varphi (\pm i)=a}
φ ( ± j ) = b {\displaystyle \varphi (\pm j)=b}
φ ( ± k ) = c {\displaystyle \varphi (\pm k)=c}

Then this mapping is a homomorphism where  ker ⁡ φ = { ± 1 } {\displaystyle \ker \varphi =\\{\pm 1\\}} .[22]

Let  S 1 {\displaystyle S^{1}} denote the circle group, consisting of all complex numbers with absolute value (or modulus) of  1 {\displaystyle 1} , with the group operation being multiplication.[23] Then the function  f : R -> S 1 {\displaystyle f:\mathbb {R} \to S^{1}} sending  x ↦ e 2 π i x = cos ⁡ ( 2 π x ) + i sin ⁡ ( 2 π x ) {\displaystyle x\mapsto e^{2\pi ix}=\cos(2\pi x)+i\sin(2\pi x)} is a homomorphism with the integers being the kernel. The first isomorphism theorem then implies that  R / Z ≅ S 1 {\displaystyle \mathbb {R} /\mathbb {Z} \cong S^{1}} .[24]

The symmetric group on  n {\displaystyle n} elements,  S n {\displaystyle S_{n}} , has a surjective homomorphism  ϵ : S n -> Z 2 {\displaystyle \epsilon :S_{n}\to \mathbb {Z} _{2}} that takes each permutation to the parity of the number of transpositions whose product is that permutation. The alternating group A n = ker ⁡ ϵ {\displaystyle A_{n}=\ker \epsilon } is the kernel of this homomorphism, consisting of the even permutations. The alternating group is a non-abelian simple group for  n ≥ 5 {\displaystyle n\geq 5} .[25]

The determinant of  n × n {\displaystyle n\times n} invertible matrices of the real numbers R {\displaystyle \mathbb {R} } , whose set is denoted  G L ( n , R ) {\displaystyle GL(n,\mathbb {R} )} and called the general linear group of  n × n {\displaystyle n\times n} matrices of  R {\displaystyle \mathbb {R} } , is a homomorphism onto the multiplication group  R × {\displaystyle \mathbb {R} ^{\times }} (consisting of all non-zero real numbers), and the kernel of the determinant is called the special linear group S L ( n , R ) {\displaystyle SL(n,\mathbb {R} )} of  n × n {\displaystyle n\times n} matrices of  R {\displaystyle \mathbb {R} } . These are the matrices whose determinant is precisely  1 {\displaystyle 1} .[26]

Given a group  G {\displaystyle G} and an element, the mapping  x ↦ g x g − 1 {\displaystyle x\mapsto gxg^{-1}} is an automorphism \- an isomorphism whose domain and image are the same group. This gives a homomorphism from  G {\displaystyle G} to its automorphism group  Aut ( G ) {\displaystyle {\text{Aut}}(G)} , mapping each  g {\displaystyle g} to its respective inner automorphism as described, and the kernel of this homomorphism is the center Z ( G ) {\displaystyle Z(G)} of  G {\displaystyle G} , consisting of  g ∈ G {\displaystyle g\in G} where for every  x ∈ G {\displaystyle x\in G} , we have  g x g − 1 = x {\displaystyle gxg^{-1}=x} , or equivalently  g x = x g {\displaystyle gx=xg} . More generally, for every normal subgroup H {\displaystyle H} of  G {\displaystyle G} (i.e. groups closed under conjugation), this conjugation map is also an automorphism on  H {\displaystyle H} , giving another homomorphism  G {\displaystyle G} to  Aut ( H ) {\displaystyle {\text{Aut}}(H)} , with the kernel being the centralizer C G ( H ) {\displaystyle C_{G}(H)} of  H {\displaystyle H} in  G {\displaystyle G} , being the set of  g ∈ G {\displaystyle g\in G} where for every  h ∈ H {\displaystyle h\in H} , we have  g h g − 1 = h {\displaystyle ghg^{-1}=h} .[27]

### Ring homomorphisms

[edit]

Consider the mapping  φ : Z -> Z / 2 Z {\displaystyle \varphi :\mathbb {Z} \to \mathbb {Z} /2\mathbb {Z} } where the later ring is the integers modulo 2 and the map sends each number to its parity; 0 for even numbers, and 1 for odd numbers. This mapping turns out to be a homomorphism, and since the additive identity of the later ring is 0, the kernel is precisely the even numbers.[3]

Let  φ : Q [ x ] -> Q {\displaystyle \varphi :\mathbb {Q} [x]\to \mathbb {Q} } be defined as  φ ( p ( x ) ) = p ( 0 ) {\displaystyle \varphi (p(x))=p(0)} . This mapping, which happens to be a homomorphism, sends each polynomial to its constant term. It maps a polynomial to zero if and only if said polynomial's constant term is 0.[3] Polynomials with real coefficients can receive a similar homomorphism, with its kernel being the polynomials with constant term 0.[28]

### Linear maps

[edit]

Let  φ : C 3 -> C {\displaystyle \varphi :\mathbb {C} ^{3}\to \mathbb {C} } be defined as  φ ( x , y , z ) = x + 2 y + 3 z {\displaystyle \varphi (x,y,z)=x+2y+3z} , then the kernel of  φ {\displaystyle \varphi } (that is, the null space) will be the set of points  ( x , y , z ) ∈ C 3 {\displaystyle (x,y,z)\in \mathbb {C} ^{3}} such that  x + 2 y + 3 z = 0 {\displaystyle x+2y+3z=0} , and this set is a subspace of  C 3 {\displaystyle \mathbb {C} ^{3}} (the same is true for every kernel of a linear map).[17]

If  D {\displaystyle D} represents the derivative operator on real polynomials, then the kernel of  D {\displaystyle D} will consist of the polynomials with deterivative equal to 0, that is the constant functions.[17]

Consider the mapping  ( T p ) ( x ) = x 2 p ( x ) {\displaystyle (Tp)(x)=x^{2}p(x)} , where  p {\displaystyle p} is a polynomial with real coefficients. Then  T {\displaystyle T} is a linear map whose kernel is precisely 0, since 0 is the only polynomial to satisfy  x 2 p ( x ) = 0 {\displaystyle x^{2}p(x)=0} for all  x ∈ R {\displaystyle x\in \mathbb {R} } .[17]

## Quotient algebras

[edit]

The kernel of a homomorphism can be used to define a quotient algebra. Let  G {\displaystyle G} and  H {\displaystyle H} be groups,  φ : G -> H {\displaystyle \varphi :G\to H} be a group homomorphism, and denote  K = ker ⁡ φ {\displaystyle K=\ker \varphi } . Put  G / K {\displaystyle G/K} to be the set of fibers of the homomorphism  φ {\displaystyle \varphi } , where a fiber is the set of points of the domain mapping to a single point in the range.[29] Let  X a ∈ G / K {\displaystyle X_{a}\in G/K} denotes the fiber of the element  a ∈ H {\displaystyle a\in H} , then a group operation on the set of fibers can be endowed by  X a X b = X a b {\displaystyle X_{a}X_{b}=X_{ab}} , and  G / K {\displaystyle G/K} is called the quotient group (or factor group), to be read as "G modulo K" or "G mod K".[29] The terminology arises from the fact that the kernel represents the fiber of the identity element of the range,  H {\displaystyle H} , and that the remaining elements are simply "translates" of the kernel, so the quotient group is obtained by "dividing out" the kernel.[29]

The fibers can also be described by looking at the domain relative to the kernel; given  X ∈ G / K {\displaystyle X\in G/K} and any element  u ∈ X {\displaystyle u\in X} , then  X = u K = K u {\displaystyle X=uK=Ku} where:[29]

u K = { u k | k ∈ K } {\displaystyle uK=\\{uk\ |\ k\in K\\}}
K u = { k u | k ∈ K } {\displaystyle Ku=\\{ku\ |\ k\in K\\}}

these sets are called the left and right cosets respectively, and can be defined in general for any arbitrary subgroup of  G {\displaystyle G} .[29][30][31] The group operation can then be defined as  u K ∘ v K = ( u k ) K {\displaystyle uK\circ vK=(uk)K} , which is well-defined regardless of the choice of representatives of the fibers.[29][32]

According to the first isomorphism theorem, there is an isomorphism  μ : G / K -> φ ( G ) {\displaystyle \mu :G/K\to \varphi (G)} , where the later group is the image of the homomorphism  φ {\displaystyle \varphi } , and the isomorphism is defined as  μ ( u K ) = φ ( u ) {\displaystyle \mu (uK)=\varphi (u)} , and such map is also well-defined.[4][33]

For rings, modules, and vector spaces, one can define the respective quotient algebras via the underlying additive group structure, with cosets represented as  x + K {\displaystyle x+K} . Ring multiplication can be defined on the quotient algebra as  ( x + K ) ( y + K ) = x y + K {\displaystyle (x+K)(y+K)=xy+K} , and is well-defined.[6] For a ring  R {\displaystyle R} (possibly a field when describing vector spaces) and a module homomorphism  φ : M -> N {\displaystyle \varphi :M\to N} with kernel  K = ker ⁡ φ {\displaystyle K=\ker \varphi } , one can define scalar multiplication on  G / K {\displaystyle G/K} by  r ( x + K ) = r x + K {\displaystyle r(x+K)=rx+K} for  r ∈ R {\displaystyle r\in R} and  x ∈ M {\displaystyle x\in M} , which will also be well-defined.[34]

## Kernel structures

[edit]

The structure of kernels allows for the building of quotient algebras from structures satisfying the properties of kernels. Any subgroup N {\displaystyle N} of a group G {\displaystyle G} can construct a quotient  G / N {\displaystyle G/N} by the set of all cosets of  N {\displaystyle N} in  G {\displaystyle G} .[29] The natural way to turn this into a group, similar to the treatment for the quotient by a kernel, is to define an operation on (left) cosets by  u N ⋅ v N = ( u v ) N {\displaystyle uN\cdot vN=(uv)N} , however this operation is well defined if and only if the subgroup  N {\displaystyle N} is closed under conjugation under  G {\displaystyle G} , that is, if  g ∈ G {\displaystyle g\in G} and  n ∈ N {\displaystyle n\in N} , then  g n g − 1 ∈ N {\displaystyle gng^{-1}\in N} . Furthermore, the operation being well defined is sufficient for the quotient to be a group.[29] Subgroups satisfying this property are called normal subgroups.[29] Every kernel of a group is a normal subgroup, and for a given normal subgroup  N {\displaystyle N} of a group  G {\displaystyle G} , the natural projection  π : G -> G / N {\displaystyle \pi :G\to G/N} defined as  π ( g ) = g N {\displaystyle \pi (g)=gN} is a homomorphism with  ker ⁡ π = N {\displaystyle \ker \pi =N} , so the normal subgroups are precisely the subgroups which are kernels.[29] The closure under conjugation, however, gives a criterion for when a subgroup is a kernel for some homomorphism.[29]

For a ring R {\displaystyle R} , treating it as a group, one can take a quotient group via an arbitrary subgroup  I {\displaystyle I} of the ring, which will be normal due to the ring's additive group being abelian. To define multiplication on  R / I {\displaystyle R/I} , the multiplication of cosets, defined as  ( r + I ) ( s + I ) = r s + I {\displaystyle (r+I)(s+I)=rs+I} needs to be well-defined. Taking representatives  r + α {\displaystyle r+\alpha } and  s + β {\displaystyle s+\beta } of  r + I {\displaystyle r+I} and  s + I {\displaystyle s+I} respectively, for  r , s ∈ R {\displaystyle r,s\in R} and  α , β ∈ I {\displaystyle \alpha ,\beta \in I} , yields:[6]

( r + α ) ( s + β ) + I = r s + I {\displaystyle (r+\alpha )(s+\beta )+I=rs+I}

Setting  r = s = 0 {\displaystyle r=s=0} implies that  I {\displaystyle I} is closed under multiplication, while setting  α = s = 0 {\displaystyle \alpha =s=0} shows that  r β ∈ I {\displaystyle r\beta \in I} , that is,  I {\displaystyle I} is closed under arbitrary multiplication by elements on the left. Similarly, taking  r = β = 0 {\displaystyle r=\beta =0} implies that  I {\displaystyle I} is also closed under multiplication by arbitrary elements on the right.[6] Any subgroup of  R {\displaystyle R} that is closed under multiplication by any element of the ring is called an ideal.[6] Analogously to normal subgroups, the ideals of a ring are precisely the kernels of homomorphisms.[6]

## Exact sequence

[edit]

Main article: Exact sequence

An exact sequence of groups. At each pair of homomorphism, the image of the previous homomorphism becomes the kernel of the next homomorphism, that is they get sent to the identity element.

Kernels are used to define exact sequences of homomorphisms for groups and modules. Given modules  A {\displaystyle A} ,  B {\displaystyle B} , and  C {\displaystyle C} , a pair of homomorphisms  ψ : A -> B , φ : B -> C {\displaystyle \psi :A\to B,\varphi :B\to C} , written as  A -> ψ B -> φ C {\displaystyle A\xrightarrow {\psi } B\xrightarrow {\varphi } C} is said to be exact (at  B {\displaystyle B} ) if  image ψ = ker ⁡ φ {\displaystyle {\text{image }}\psi =\ker \varphi } . An exact sequence is then a sequence of modules and homomorphisms  ⋯ -> X n − 1 -> X n -> X n + 1 -> ⋯ {\displaystyle \cdots \to X_{n-1}\to X_{n}\to X_{n+1}\to \cdots } where each adjacent pair of modules and homomorphisms is exact.[35]

It is unnecessary to label the homomorphisms in an exact sequence which start or end at the zero module as there is only one unique map; the map  0 ↦ 0 {\displaystyle 0\mapsto 0} when the zero module is the domain, and the map  b ↦ 0 {\displaystyle b\mapsto 0} when the zero module is the range. [36] Exact sequences can be used to describe when a homomorphism is injective, surjective, or an isomorphism. In particular, the sequences  0 -> A -> f B {\displaystyle 0\to A\xrightarrow {f} B} ,  B -> g C -> 0 {\displaystyle B\xrightarrow {g} C\to 0} , and  0 -> A -> h B -> 0 {\displaystyle 0\to A\xrightarrow {h} B\to 0} are exact if and only if the labeled homomorphism are injective, surjective, and an isomorphism respectively.[35][37]

A particular kind of exact sequence is a short exact sequence, which is of the form  0 -> A -> ψ B -> φ C -> 0 {\displaystyle 0\to A\xrightarrow {\psi } B\xrightarrow {\varphi } C\to 0} . These sequences are related to the extension problem: given modules  A {\displaystyle A} and  C {\displaystyle C} , determine the modules  B {\displaystyle B} where  A {\displaystyle A} is a submodule of  B {\displaystyle B} , and their resulting quotient is isomorphic to  C {\displaystyle C} . Such a module is called an extension of  C {\displaystyle C} by  A {\displaystyle A} [35] (or alternatively, an extension of  A {\displaystyle A} by  C {\displaystyle C} [37]). The extension problem, when written as exact sequences, can be stated as finding all short exact sequences  0 -> A -> ψ B -> φ C -> 0 {\displaystyle 0\to A\xrightarrow {\psi } B\xrightarrow {\varphi } C\to 0} with  A {\displaystyle A} and  C {\displaystyle C} fixed.[35] Such an extension implies that  A ≅ ψ ( A ) {\displaystyle A\cong \psi (A)} and  ψ ( A ) {\displaystyle \psi (A)} is the kernel of ⁠ ϕ {\displaystyle \phi } ⁠.[37]

## Universal algebra

[edit]

This section may be confusing or unclear to readers. In particular, the definitions of Variety (universal algebra)#Definition are restated with a different and poorly defined terminology. Moreover, the equational axioms of a variety are omitted, and the term "interpretation" is undefined. Also, notation for the equivalence relation is very confusing. Please help clarify the section. There might be a discussion about this on the talk page. (August 2025) (Learn how and when to remove this message)

|

Kernels can be generalized in universal algebra for homomorphisms between any two algebraic structures. An operation on a set  A {\displaystyle A} is a function of the form  Q : A n -> A {\displaystyle Q:A^{n}\to A} , where  n {\displaystyle n} is the arity (or rank) of the operation. An  n {\displaystyle n} -ary operation takes an ordered list of  n {\displaystyle n} elements from  A {\displaystyle A} and maps them to a single element in  A {\displaystyle A} . An algebraic structure is a tuple  ⟨ A , F ⟩ {\displaystyle \langle A,F\rangle } where  A {\displaystyle A} is the underlying set of the algebra, and  F {\displaystyle F} is an indexed set of operations Q ∈ F {\displaystyle Q\in F} on  A {\displaystyle A} , with their interpretation denoted  Q A {\displaystyle Q^{A}} . The set indexing  F {\displaystyle F} is the language, which also maps each operation symbol to their fixed arity (called the rank function). Two algebraic structures are similar when they share the same language, including their rank function.[38][39]

Let  A {\displaystyle A} and  B {\displaystyle B} be algebraic structures of a similar type  F {\displaystyle F} . A homomorphism is a function  f : A -> B {\displaystyle f:A\to B} that respects the interpretation of each  Q ∈ F {\displaystyle Q\in F} , that is, taking  Q {\displaystyle Q} to be an  n {\displaystyle n} -ary operation, and  a i ∈ A {\displaystyle a_{i}\in A} for  1 ≤ i ≤ n {\displaystyle 1\leq i\leq n} : [40][41]

f ( Q A ( a 1 , … a n ) ) = Q B ( f ( a 1 ) , … f ( a n ) ) {\displaystyle f(Q^{A}(a_{1},\ldots a_{n}))=Q^{B}(f(a_{1}),\ldots f(a_{n}))}

The kernel of  f {\displaystyle f} , denoted  ker ⁡ f {\displaystyle \ker {f}} , is the subset of the direct product A × A {\displaystyle A\times A} consisting of all ordered pairs of elements of  A {\displaystyle A} whose components are both mapped by  f {\displaystyle f} to the same element in  B {\displaystyle B} . In symbols:[42][1]

ker ⁡ f = { ( a , b ) ∈ A × A : f ( a ) = f ( b ) } . {\displaystyle \ker f=\left\\{\left(a,b\right)\in A\times A:f(a)=f\left(b\right)\right\\}{\mbox{.}}}

The homomorphism  f {\displaystyle f} is injective if and only if its kernel is the diagonal set  { ( a , a ) | a ∈ A } {\displaystyle \\{(a,a)\ |\ a\in A\\}} , which is always contained inside the kernel.[43][1] ker ⁡ f {\displaystyle \ker {f}} is an equivalence relation on  A {\displaystyle A} , and in fact a congruence relation, meaning that for an n-ary operation  Q ∈ F {\displaystyle Q\in F} , the relation  ( a i , b i ) ∈ ker ⁡ f {\displaystyle (a_{i},b_{i})\in \ker {f}} for  1 ≤ i ≤ n {\displaystyle 1\leq i\leq n} implies  ( Q A ( a 1 , … a n ) , Q A ( b 1 , … b n ) ) ∈ ker ⁡ f {\displaystyle (Q^{A}(a_{1},\ldots a_{n}),Q^{A}(b_{1},\ldots b_{n}))\in \ker {f}} . It makes sense to speak of the quotient algebra A / ker ⁡ f {\displaystyle A/\ker {f}} , with the set consisting of the equivalence classes a / ker ⁡ f {\displaystyle a/\ker f} of the kernel, and the well-defined operations defined for an  n {\displaystyle n} -ary operation  Q ∈ F {\displaystyle Q\in F} as: [44]

Q A / ker ⁡ f ( a 1 / ker ⁡ f , … a n / ker ⁡ f ) = Q A ( a 1 , … a n ) / ker ⁡ f {\displaystyle Q^{A/\ker {f}}(a_{1}/\ker {f},\ldots a_{n}/\ker {f})=Q^{A}(a_{1},\ldots a_{n})/\ker {f}}

The first isomorphism theorem in universal algebra states that this quotient algebra is naturally isomorphic to the image of  f {\displaystyle f} (which is a subalgebra of  B {\displaystyle B} ).[45]

## Category theory

[edit]

### Kernels of morphisms

[edit]

Kernels can be generalized in categories that have zero objects. A category holds objects and morphisms (or maps) between those objects (written as  f : A -> B {\displaystyle f:A\to B} , where  f {\displaystyle f} is a morphism from the source object  A {\displaystyle A} to the target object  B {\displaystyle B} within the category) as well as a composition of morphisms (if  f : A -> B {\displaystyle f:A\to B} and  g : B -> C {\displaystyle g:B\to C} , then  g ∘ f : A -> C {\displaystyle g\circ f:A\to C} ) and an identity morphism  i d A : A -> A {\displaystyle id_{A}:A\to A} such that composition is associative (if  f : A -> B {\displaystyle f:A\to B} ,  g : B -> C {\displaystyle g:B\to C} , and  h : C -> D {\displaystyle h:C\to D} , then  h ∘ ( g ∘ f ) = ( h ∘ g ) ∘ f {\displaystyle h\circ (g\circ f)=(h\circ g)\circ f} ) and composition with the identity morphism results in the same morphism (for  f : A -> B {\displaystyle f:A\to B} ,  f = f ∘ i d A = i d B ∘ f {\displaystyle f=f\circ id_{A}=id_{B}\circ f} ). A morphism  f : A -> B {\displaystyle f:A\to B} is an isomorphism when there exists a morphism  g : B -> A {\displaystyle g:B\to A} such that  g ∘ f {\displaystyle g\circ f} and  f ∘ g {\displaystyle f\circ g} are the identity morphisms.[46]

A zero object is an object of a category in which there exists exactly one morphism going to every object and exactly one morphism from every object. Any two zero objects are isomorphic to each other.[47] If the zero object of a category is labeled  0 {\displaystyle 0} , then the composition of the morphisms  0 : A -> 0 -> B {\displaystyle 0:A\to 0\to B} is the  0 {\displaystyle 0} -morphism from  A {\displaystyle A} to  B {\displaystyle B} . The kernel of a morphism  f : B -> C {\displaystyle f:B\to C} is a morphism  i : A -> B {\displaystyle i:A\to B} that is universal to the property that  f ∘ i = 0 {\displaystyle f\circ i=0} . In other words, if there is a morphism  j : Z -> B {\displaystyle j:Z\to B} with  j ∘ f = 0 {\displaystyle j\circ f=0} , then there exists a unique morphism  k : Z -> A {\displaystyle k:Z\to A} such that  j = i ∘ k {\displaystyle j=i\circ k} .[48]

### Equalizer

[edit]

Main article: Equalizer (mathematics) § In category theory

Kernels of morphisms can be generalized by the notion of an equalizer. An equalizer for two morphism  f , g : A -> B {\displaystyle f,g:A\to B} in a category is an object  E {\displaystyle E} and a morphism  e : E -> A {\displaystyle e:E\to A} such that  f ∘ e = g ∘ e {\displaystyle f\circ e=g\circ e} , and moverover it is universal with respect to this property; if  z : Z -> A {\displaystyle z:Z\to A} is another morphism with  f ∘ z = g ∘ z {\displaystyle f\circ z=g\circ z} , then there exists a unique morphism  u : Z -> E {\displaystyle u:Z\to E} such that  z = e ∘ u {\displaystyle z=e\circ u} . Any equalizer morphism must be monic; if  x , y : Z -> E {\displaystyle x,y:Z\to E} with  e ∘ x = e ∘ y {\displaystyle e\circ x=e\circ y} , then  x = y {\displaystyle x=y} .[49]

For abelian groups, the equalizer of two homomorphisms is the same as the equalizer between the difference of these two homomorphisms and the zero homomorphism, so the only equalizers that are needed to be considered in the category of abelian groups are the ones between any homomorphism  h : A -> B {\displaystyle h:A\to B} and the zero homomorphism  0 : A -> B {\displaystyle 0:A\to B} . The object of such an equalizer is (up to isomorphism)  ker ⁡ h {\displaystyle \ker h} , the kernel of the homomorphism  h {\displaystyle h} , and the associated morphism is the inclusion map.[49]

### Kernel pairs

[edit]

This section is empty. You can help by adding to it. (August 2025)

|

### Kernels of functors

[edit]

This section is empty. You can help by adding to it. (August 2025)

|

## See also

[edit]

* Kernel of a function
* Equalizer (mathematics)
* Zero set

## Notes

[edit]

1. ^ Some sources[11][12] do not include the multiplicative identity  1 {\displaystyle 1} in the definition of a ring.

## References

[edit]

1. ^ a b c d e McKenzie, McNulty & Taylor 1987, pp. 27–29
2. ^ a b c d Dummit & Foote 2004, p. 75
3. ^ a b c Dummit & Foote 2004, p. 240
4. ^ a b c d Dummit & Foote 2004, p. 97
5. ^ Dummit & Foote 2004, p. 82
6. ^ a b c d e f g h Dummit & Foote 2004, pp. 239–247
7. ^ a b Fraleigh & Katz 2003, pp. 23, 37–39
8. ^ Fraleigh & Katz 2003, p. 125
9. ^ a b Hungerford 2014, p. 263
10. ^ Hungerford 2014, p. 264
11. ^ a b Fraleigh & Katz 2003, pp. 167, 172
12. ^ a b c Dummit & Foote 2004, pp. 223–224
13. ^ Fraleigh & Katz 2003, p. 171
14. ^ Fraleigh & Katz 2003, p. 238
15. ^ Fraleigh & Katz 2003, pp. 274–275
16. ^ Fraleigh & Katz 2003, p. 282
17. ^ a b c d Axler, p. 59
18. ^ Axler, p. 60
19. ^ a b Dummit & Foote 2004, p. 413
20. ^ Dummit & Foote 2004, p. 337
21. ^ a b Dummit & Foote 2004, pp. 345–346
22. ^ a b c d e f Dummit & Foote 2004, pp. 78–80
23. ^ Rotman 2002, p. 53
24. ^ Rotman 2002, pp. 86–87
25. ^ Dummit & Foote 2004, pp. 106–111
26. ^ Rotman 2002, p. 76
27. ^ Dummit & Foote 2004, pp. 133–134
28. ^ Hungerford 2014, p. 155
29. ^ a b c d e f g h i j k Dummit & Foote 2004, pp. 74, 76–77, 80–82
30. ^ Hungerford 2014, pp. 237–239
31. ^ Fraleigh & Katz 2003, p. 97
32. ^ Fraleigh & Katz 2003, p. 138
33. ^ Fraleigh & Katz 2003, p. 307
34. ^ Dummit & Foote 2004, pp. 345–349
35. ^ a b c d Dummit & Foote 2004, pp. 378–380
36. ^ Rotman 2002, p. 435
37. ^ a b c Rotman 2002, p. 436
38. ^ Burris & Sankappanavar 2012, p. 23
39. ^ McKenzie, McNulty & Taylor 1987, pp. 11–13
40. ^ Burris & Sankappanavar 2012, p. 28
41. ^ McKenzie, McNulty & Taylor 1987, p. 20
42. ^ Burris & Sankappanavar 2012, p. 44
43. ^ Burris & Sankappanavar 2012, p. 50
44. ^ Burris & Sankappanavar 2012, p. 36
45. ^ Burris & Sankappanavar 2012, pp. 44–46
46. ^ Vakil 2024, pp. 29–30 harvnb error: no target: CITEREFVakil2024 (help)
47. ^ Vakil 2024, p. 35 harvnb error: no target: CITEREFVakil2024 (help)
48. ^ Vakil 2024, pp. 53–54 harvnb error: no target: CITEREFVakil2024 (help)
49. ^ a b Awodey 2006, pp. 54–57

## Sources

[edit]

* Awodey, Steve (2006). Category theory. Oxford : Oxford ; New York: Clarendon Press ; Oxford University Press. ISBN 978-0-19-856861-2.
* Axler, Sheldon. Linear Algebra Done Right (4th ed.). Springer.
* Burris, Stanley; Sankappanavar, H.P. (2012). A Course in Universal Algebra (Millennium ed.). S. Burris and H.P. Sankappanavar. ISBN 978-0-9880552-0-9.
* Dummit, David Steven; Foote, Richard M. (2004). Abstract algebra (3rd ed.). Hoboken, NJ: Wiley. ISBN 978-0-471-43334-7.
* Fraleigh, John B.; Katz, Victor (2003). A first course in abstract algebra. World student series (7th ed.). Boston: Addison-Wesley. ISBN 978-0-201-76390-4.
* Hungerford, Thomas W. (2014). Abstract Algebra: an introduction (3rd ed.). Boston, MA: Brooks/Cole, Cengage Learning. ISBN 978-1-111-56962-4.
* McKenzie, Ralph; McNulty, George F.; Taylor, W. (1987). Algebras, lattices, varieties. The Wadsworth & Brooks/Cole mathematics series. Monterey, Calif: Wadsworth & Brooks/Cole Advanced Books & Software. ISBN 978-0-534-07651-1.
* Riehl, Emily. Category Theory in Context. Dover Publications.
* Rotman, Joseph J. (2002). Advanced modern algebra. Upper Saddle River, NJ: Prentice Hall. ISBN 0130878685.
* Vakil, Ravi. "The Rising Sea: Foundations of Algebraic Geometry" (PDF). Retrieved 10 August 2025.

* v
* t
* e

Algebra

* Outline
* History

Areas|

* Abstract algebra
* Algebraic geometry
* Algebraic variety
* Scheme
* Algebraic number theory
* Category theory
* Commutative algebra
* Elementary algebra
* Homological algebra
* K-theory
* Linear algebra
* Multilinear algebra
* Noncommutative algebra
* Order theory
* Representation theory
* Universal algebra

Basic concepts|

* Algebraic expression
* Equation (Linear equation, Quadratic equation)
* Function (Polynomial function)
* Inequality (Linear inequality)
* Operation (Addition, Multiplication)
* Relation (Equivalence relation)
* Variable

Algebraic structures|

* Field (theory)
* Group (theory)
* Module (theory)
* Ring (theory)
* Vector space (Vector)

Linear and
multilinear algebra|

* Basis
* Determinant
* Eigenvalues and eigenvectors
* Inner product space (Dot product)
* Hilbert space
* Linear map (Matrix)
* Linear subspace (Affine space)
* Norm (Euclidean norm)
* Orthogonality (Orthogonal complement)
* Rank
* Trace

Algebraic maps|

* Homomorphism (Group homomorphism, Ring homomorphism)
* Isomorphism
* Endomorphism
* Automorphism
* Kernel (algebra)

Algebraic constructions|

* Composition algebra
* Exterior algebra
* Free object (Free group, ...)
* Geometric algebra (Multivector)
* Polynomial ring (Polynomial)
* Quotient object (Quotient group, ...)
* Symmetric algebra
* Tensor algebra

Topic lists|

* Algebraic structures

Glossaries|

* Field theory
* Linear algebra
* Order theory
* Ring theory

* Category

*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template