Nilradical equals intersection of all prime ideals
Statement
In a commutative unital ring, the nilradical (defined as the smallest radical ideal, or as the set of nilpotent elements) is the intersection of all prime ideals.
Proof
Hands-on proof
We need to show that if is a commutative unital ring with nilradical
, and if
, then there exists a prime ideal not containing
. Consider the multiplicatively closed subset
comprising
and the positive powers of
. Then, the following can be verified:
- There exist ideals maximal with respect to the property of intersecting
trivially (this involves appealing to Zorn's lemma or an equivalent)
- Any such ideal must be a prime ideal
Thus, we have found a prime ideal not containing .
Proof using localizations
A conceptually more general version of the above is described as follows. With the same notation as before, let denote the localization at the multiplicative subset
. The ring
has a maximal ideal (because every proper ideal is contained in a maximal ideal). The contraction of this to
gives a prime ideal (because maximal ideals are prime and the contraction of a prime ideal is prime) and it is disjoint from
.
The two proofs are exactly the same, though the proof using localization makes things conceptually easier. In the latter proof, we hide Zorn's lemma behind the fact that every proper ideal is contained in a maximal ideal.