Localization of a Noetherian ring is Noetherian

If R is Noetherian, then every localization S^{-1}R (in particular R_p) is Noetherian.
Localization of a Noetherian ring is Noetherian

Corollary (Noetherian rings localize to Noetherian rings).
Let RR be a and let SRS\subseteq R be a . Then the localized ring

S1R S^{-1}R

is Noetherian.

In particular, for any prime ideal pR\mathfrak p\subset R, the localization

Rp R_{\mathfrak p}

(from ) is a Noetherian .

This is an immediate consequence of .

Related knowls.

Examples

  1. Localizing Z\mathbb{Z} at a prime.
    Take R=ZR=\mathbb{Z} and S=Z(p)S=\mathbb{Z}\setminus(p). Then S1Z=Z(p)S^{-1}\mathbb{Z}=\mathbb{Z}_{(p)} is Noetherian (in fact a PID).

  2. Inverting an element in a polynomial ring.
    Let R=k[x,y]R=k[x,y] (Noetherian) and S={1,x,x2,}S=\{1,x,x^2,\dots\}. Then

    S1Rk[x,y]xk[x,y,1/x] S^{-1}R \cong k[x,y]_x \cong k[x,y,1/x]

    is Noetherian.

  3. Localizing at a prime ideal.
    In R=k[x,y]R=k[x,y], let p=(x)\mathfrak p=(x). Then RpR_{\mathfrak p} is Noetherian, and elements outside (x)(x) become units in RpR_{\mathfrak p}.