Kernels are submodules

Kernels are submodules: If $f:M\to N$ is an $R$-module homomorphism, then $\ker(f)\le M$.

In particular, the kernel is always a canonical submodule attached to a module homomorphism , and it is the input for forming the quotient by the kernel .