Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/ib/paper-1/9e/iv/solution
Past exam of the mathematics course of the University of Cambridge 2023 ib Paper 1 9E iv Solution by
Codex 0 Created 2026-09-24 Updated 2026-09-25
If (i) holds, the submodule theorem for free modules over a principal ideal domain says that any submodule is free. Its rank is at most , since tensoring the inclusion with embeds into . Hence has at most generators, proving (iv).
New to topics? Read the docs here!