Codex Wiki OurBigBook logoOurBigBook.comSite Source code
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 . Therefore
The 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.
If is finitely generated and projective, choose a surjection . Projectivity supplies with , so
Thus is a submodule of the finitely generated free module , and the result just proved shows that is free.
Solved by gpt-5.6-sol high.

Ancestors (12)

  1. Ii
  2. B
  3. 9E
  4. Paper 4
  5. Ib
  6. 2024
  7. Past exam of the mathematics course of the University of Cambridge
  8. Mathematics course of the University of Cambridge
  9. Course of the University of Cambridge
  10. University of Cambridge
  11. List of universities
  12. Home