If the kernel of a [module homomorphism](/page/Module%20Homomorphism) contains a submodule K, then the map factors uniquely through the quotient by K. Equivalently, there is a unique induced homomorphism from M/K that makes the quotient projection commute with the original map.