# 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.