Minimal primes are associated primes
ID: minimal-primes-are-associated-primes
For a Noetherian ring and a proper ideal , every minimal prime over is an associated prime of a module . The localized quotient has one prime, so its finitely generated maximal ideal is nilpotent and its socle is nonzero. An element with annihilator can be lifted to the quotient. Clearing denominators for a finite generating set of gives a nonzero element with annihilator exactly .
New to topics? Read the docs here!