Reduced Noetherian implies zero divisor in minimal prime
This article defines a result where the base ring (or one or more of the rings involved) is Noetherian
View more results involving Noetherianness or Read a survey article on applying Noetherianness
Suppose is a reduced Noetherian ring: a reduced ring that is also a Noetherian ring: in other words, it has no nilpotents, and every ideal is finitely generated. Then, any zero divisor in must be inside some minimal prime ideal of .
(For non-Noetherian rings, we can only say that every zero divisor must be inside some prime ideal, since minimal primes are not guaranteed to exist).
Breakdown without both assumptions
- Noetherian not implies zero divisor in minimal prime
- Reduced not implies zero divisor in minimal prime
The converse is true for any Noetherian ring. Further information: Noetherian implies every element in minimal prime is zero divisor
- Reduced Noetherian local one-dimensional implies Cohen-Macaulay
- Reduced Noetherian one-dimensional implies Cohen-Macaulay
- Noetherian ring has finitely many minimal primes and every prime contains a minimal prime (and thus, in particular, the nilradical is an intersection of those finitely many minimal primes)
- Equivalence of definitions of nilradical: In a commutative unital ring, the nilradical, defined as the set of nilpotent elements, also equals the intersection of all prime ideals.
The result is true if we replace the assumption of Noetherianness by the assumption that every prime contains a minimal prime.
Given: Suppose is a zero divisor
To prove: is in some minimal prime.
Proof: There exists such that .
- By fact (1), every prime ideal contains a minimal prime ideal. Hence, the intersection of all prime ideals equals the intersection of all minimal prime ideals. By fact (2), the intersection of all prime ideals is the set of nilpotent elements. Finally, since the ring is reduced, it has no nonzero nilpotents, so the intersection of all primes is the zero ideal. Thus, the intersection of all minimal primes is the zero ideal.
- Clearly, we have that is in every minimal prime. For every minimal prime, either is in the minimal prime or is in the minimal prime. If is not in any minimal prime, then must be in every minimal prime, hence must be in the intersection of all minimal primes.
- Combining steps (1) and (2), we obtain that .