Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/ib/paper-4/9e/b/ii/solution
Past exam of the mathematics course of the University of Cambridge 2024 ib Paper 4 9E b ii Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-03
We prove by induction on that every submodule is free. The case is immediate. Let be projection onto the first coordinate. Since is a principal ideal domain,for some . If , then and induction applies. Otherwise choose with . For every , write ; then . Also because is a domain and . ThereforeThe kernel is a submodule of and is free by induction, while . Hence is free. This is the submodule theorem for free modules over a principal ideal domain.
New to topics? Read the docs here!