Kernel of a module homomorphism
= Kernel of a module homomorphism
{title2=$\ker f=\{m\in M:f(m)=0\}$}
The <kernel of a module homomorphism> $f:M\to N$ is the <submodule> of elements mapped to zero. Closure follows from $f(m+m')=f(m)+f(m')$ and $f(rm)=rf(m)$.