Let be an integral domain with field of fractions and let be a left unital -module. Prove that the kernel of the -module homomorphism given by is .
If , then . By a previous exercise, there exists a nonzero such that . Thus .
Conversely, suppose with nonzero such that . Then , again using the previous exercise.