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.
Articles by others on the same topic
There are currently no matching articles.