Solution

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

Assume (iii). Because is a Noetherian ring, every ideal is finitely generated. Regard as an -submodule of . By (iii), for some ; since unless , this is a principal ideal of . Thus every ideal is principal and (i) holds.
Together with the previous two implications, this proves (i), (ii), and (iii) equivalent.

New to topics? Read the docs here!