Definition:Kernel of Magma Homomorphism
Jump to navigation
Jump to search
This page is about Kernel of Magma Homomorphism. For other uses, see Kernel.
Definition
Let $\struct {S, \circ}$ be a magma.
Let $\struct {T, *}$ be an algebraic structure with an identity element $e$.
Let $\phi: \struct {S, \circ} \to \struct {T, *}$ be a homomorphism.
The kernel of $\phi$ is the subset of the domain of $\phi$ defined as:
- $\map \ker \phi = \set {x \in S: \map \phi x = e}$
That is, $\map \ker \phi$ is the subset of $S$ that maps to the identity of $T$.
Also denoted as
The notation $\map {\mathrm {Ker} } \phi$ can sometimes be seen for the kernel of $\phi$.
It can also be presented as $\ker \phi$ or $\operatorname {Ker} \phi$, that is, without the parenthesis indicating a mapping.
Also see
- Results about kernels of magma homomorphisms can be found here.