Theorem. Let R be a Noetherian ring. If I is an ideal of R then R/I is Noetherian.
Proof. Let J1⊂J2⊆⋅⋅⋅⊆Ji⊆Ji+1⊆⋅⋅⋅ be an ascending chain of ideals in R/I. By the Correspondence Theorem, R has ideals Ki(i=1,2,...) such that I⊆Ki and Ki/I=Ji and Ki⊆Ki+1 for all i. Then I⊆K1⊆K2⊆⋅⋅⋅⊆Ki⊆Ki+1⊆⋅⋅⋅ is an ascending chain of ideals of R. Since R is Noetherian, there is some N such that Ki=KN whenever i⩾N, so Ji=Ki/I=KN/I=JN for i⩾N. Hence R/I is Noetherian.
Comments