In a noetherian ring A, every proper ideal bA has a primary decomposition.

PROOF:

  1. Say an ideal bA is irreducible if b=ac implies 1;; b=a or b=c.
  2. Show that every ideal is a intersection of finitely many irreducible ideals. To do this, assume contradiction and let Σ=1;;{aA|a is not an intersection of finitely many irreducible ideals
  3. Show that every irreducible ideal is primary. (Here we may assume a=0, and we look for a proof with annihilators).
Powered by Forestry.md