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 be a Noetherian ring
and let be a multiplicative set
. Then the localized ring
is Noetherian.
In particular, for any prime ideal , the localization
(from localization at a prime ) is a Noetherian local ring .
This is an immediate consequence of localization preserves Noetherianity .
Related knowls.
Examples
Localizing at a prime.
Take and . Then is Noetherian (in fact a PID).Inverting an element in a polynomial ring.
Let (Noetherian) and . Thenis Noetherian.
Localizing at a prime ideal.
In , let . Then is Noetherian, and elements outside become units in .