Let f:M→Nf:M\to N be a homomorphism of RR-modules. Its kernel

ker⁡(f)={m∈M:f(m)=0}\ker(f)=\{m\in M:f(m)=0\}

is an RR- of MM.

Indeed, if x,y∈ker⁡(f)x,y\in\ker(f) and r∈Rr\in R, then f(x+y)=0f(x+y)=0 and f(rx)=rf(x)=0f(rx)=rf(x)=0. Thus the is the canonical submodule used to form the .