Kernel of a module homomorphism ($\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^{\prime })=f(m)+f(m^{\prime })$ and $f(rm)=rf(m)$.