Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/ib/paper-4/2f/solution
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 4 2F Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
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.
New to topics? Read the docs here!