Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/ib/paper-1/9e/iv/solution

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).
Conversely, apply (iv) with . Every ideal is an -submodule of and therefore has one generator, which is (i). Thus all four conditions are equivalent.

New to topics? Read the docs here!