Associated primes turns short exact sequences to sub-unions

From Commalg
Revision as of 16:18, 12 May 2008 by Vipul (talk | contribs) (1 revision)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statement

Suppose is a commutative unital ring. Consider a short exact sequence of modules:

Then we have:

where denotes the set of associated primes.

Proof

Proof outline

The key nontrivial ingredient, where we actually use primeness, is the following fact:

Hands-on proof

Fill this in later