In a noetherian ring
PROOF:
- Say an ideal
is irreducible if implies 1;; or . - Show that every ideal is a intersection of finitely many irreducible ideals. To do this, assume contradiction and let
1;; - Show that every irreducible ideal is primary. (Here we may assume
, and we look for a proof with annihilators).