Let RR be a and let SRS\subseteq R be a . Then the localized ring

S1RS^{-1}R

is Noetherian.

More generally, if MM is a Noetherian RR-module, then S1MS^{-1}M is a Noetherian S1RS^{-1}R-module.

Examples
  • Since Z\mathbb Z is Noetherian, its Z(p)\mathbb Z_{(p)} is Noetherian for every prime pp.
  • If R=k[x,y]R=k[x,y] and S={1,x,x2,}S=\{1,x,x^2,\ldots\}, then S1R=RxS^{-1}R=R_x is Noetherian.
Remarks

The converse fails: a localization can be Noetherian even when its source is not. Let R=k[x1,x2,]R=k[x_1,x_2,\ldots], which has the infinite ascending chain (x1)(x1,x2)(x_1)\subsetneq(x_1,x_2)\subsetneq\cdots of ideals, and localize at all nonzero elements. The resulting fraction field Frac(R)\operatorname{Frac}(R) is a field, hence Noetherian. The preservation theorem is often used together with .