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

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

is an RR- of MM.

Indeed, if x,yker(f)x,y\in\ker(f) and rRr\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 .