Localization preserves Noetherian rings
If a ring is Noetherian, then any localization at a multiplicative set is again Noetherian.
Let be a commutative Noetherian ring and let be a multiplicative set. Then the localized ring
is Noetherian.
More generally, if is a Noetherian -module, then is a Noetherian -module.
Examples
- Since is Noetherian, its localization is Noetherian for every prime .
- If and , then is Noetherian.
Remarks
The converse fails: a localization can be Noetherian even when its source is not. Let , which has the infinite ascending chain of ideals, and localize at all nonzero elements. The resulting fraction field is a field, hence Noetherian. The preservation theorem is often used together with exactness of localization.