Localization respects associated primes for Noetherian rings

From Commalg
Revision as of 16:51, 27 February 2008 by Vipul (talk | contribs) (New page: ==Statement== Suppose <math>A</math> is a Noetherian commutative unital ring and <math>M</math> is any <math>A</math>-module (not necessarily finitely generate...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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: