Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/ib/paper-4/2f/solution

Let consist of all torsion elements of a module in . If and with , then . Since is an integral domain, . Also for every scalar . Thus is the torsion submodule.
If in with , then , so some satisfies . The domain property again gives , hence . Therefore is a torsion-free module.
Finally, any submodule with the stated properties satisfies . Conversely, if , its coset in is torsion and therefore zero, so . Hence is the unique choice.

New to topics? Read the docs here!