In a commutative ring R, the nilradical Nil(R) is the ideal consisting of all nilpotent elements of R; equivalently it is the intersection of all prime ideals of R. It captures the nonreduced part of the ring.

Principle

Nilradical is the radical ideal of nilpotent behavior: an element lies in Nil(R) precisely when some positive power of it is zero. Quotienting by Nil(R) yields the largest reduced quotient of R (the reduced ring R_{red}).

Demonstration

In k[x]/(x^n) the class of x is nilpotent and generates the nilradical; Nil(k[x]/(x^n))=(x) and the quotient by this ideal is isomorphic to k, a reduced ring.

Misapplication

Assuming the nilradical and Jacobson radical coincide in general, or treating 'nilradical' without specifying commutativity; in noncommutative rings 'nilradical' has several inequivalent variants (upper, lower, Levitzki radical).

Consequence

Removing the nilradical (passing to R/Nil(R)) eliminates nilpotent elements and produces a reduced object on which geometric and spectral constructions reflect actual points; many structural theorems simplify on the reduced quotient.

Reversal

A reduced ring is precisely a ring with nilradical zero: it has no nonzero nilpotent elements, so the intersection of primes is {0}.

Boundary

The standard description Nil(R)=⋂_{p prime} p assumes commutativity and a usual ideal theory. For noncommutative rings one must choose among various nilradicals; for schemes the nilradical corresponds to the structure sheaf's nilpotent sections and must be treated sheafwise.

Semantic Tension

Nilradical vs Jacobson radical: nilradical is governed by prime ideals and nilpotence, Jacobson by maximal ideals and module-theoretic annihilation; they coincide in some Noetherian or special contexts but not in general.

Synthesis

The nilradical is the ideal of nilpotent elements — the intersection of prime ideals in a commutative ring — and is the canonical obstruction to reducedness, removed by passing to the reduced quotient.