Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/ib/paper-4/11e/b/solution
Past exam of the mathematics course of the University of Cambridge 2017 ib Paper 4 11E b Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-05
Induct on to prove the stronger assertion that any submodule is a free module of rank of a free module at most . For this is immediate. Project onto the first coordinate by . Its image is an ideal of the principal ideal domain, so .
If , then embeds in the remaining coordinates and the induction hypothesis applies. Otherwise choose with . Put , a submodule of , which is free by induction. For every , there is with , so . If , then ; the integral domain property and give . ThereforeAppending to a basis of proves that is a free module of rank of a free module at most . This proof of the submodule theorem for free modules over a principal ideal domain does not assume in advance that is a finitely generated module.
New to topics? Read the docs here!