Associated primes turns short exact sequences to sub-unions
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:
- 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