Kernel

definitionabstract-algebra

Definition

The kernel of a homomorphism $f:A\to B$ is the pre-image in $A$ of the identity element in $B$. The kernel of $f$ is the subset $\ker f\subseteq A$ such that for any $a\in \ker f$, $f(a)=e_B$.

Examples