Localization respects associated primes for Noetherian rings
Statement
Suppose is a Noetherian commutative unital ring and is any -module (not necessarily finitely generated. Let be a multiplicatively closed subset of .
There is a natural inclusion on spectra:
The set of associated primes for as an -module is the inverse image in of the set of associated primes for as an -module.
If we identify with its image, a subset of , then we can write: