Associated primes turns short exact sequences to sub-unions

From Commalg

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