 Kernel of a module homomorphism

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)$.