Associated primes turns short exact sequences to sub-unions

Statement

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

$0\to M\to N\to L\to 0$

Then we have:

$As{s}_A(N)\subset As{s}_A(M)\cup As{s}_A(L)$

where $As{s}_A$ denotes the set of associated primes.

Proof

Proof outline

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

• Principal ideal is isomorphic to integral domain as a module: Any principal ideal in an integral domain is isomorphic to the integral domain as a module. Another way of putting this is that any submodule of an integral domain, contains a submodule isomorphic to the whole domain (as a module).

Hands-on proof

Fill this in later