Nilradical equals intersection of prime ideals

In a commutative ring, the nilradical is the intersection of all prime ideals.
Nilradical equals intersection of prime ideals

Nilradical equals intersection of prime ideals: Let RR be a commutative ring. Then

Nil(R)=pSpec(R)p, \mathrm{Nil}(R)=\bigcap_{\mathfrak p\in \mathrm{Spec}(R)} \mathfrak p,

i.e., an element is nilpotent if and only if it lies in every prime ideal. Equivalently, Nil(R)=(0)\mathrm{Nil}(R)=\sqrt{(0)}.

The is the ideal of all ; this proposition expresses it as an intersection of . Equivalently, it is the of (0)(0), so R/Nil(R)R/\mathrm{Nil}(R) is .