The ideal of a ring R consisting of all nilpotent elements; equivalently the set {a in R : a^n = 0 for some n>0} which is an ideal and equals the intersection of all prime ideals of R.

Principle

The nilradical measures the failure of reducedness at the level of ideals: killing the nilradical produces the largest reduced quotient of R, and its support is the nonreduced locus in scheme theoretic language.

Demonstration

In R = k[x]/(x^n) the nilradical is the ideal generated by the class of x; for a finite product of fields the nilradical is zero because there are no nonzero nilpotents, and for a local Artinian nonreduced ring it equals the maximal nilpotent ideal.

Misapplication

Confusing the nilradical with the Jacobson radical or assuming it is finitely generated in general; the nilradical need not coincide with radicals defined by nilpotency of modules or with notions of topological nilpotence.

Consequence

Quotienting R by its nilradical yields the reduced ring R_red; geometrically this contracts the nonreduced structure and identifies genuine underlying reduced components while removing infinitesimal directions.

Reversal

If the nilradical is zero then R is reduced; the absence of nilpotents simplifies primary decompositions and guarantees correspondence between minimal primes and irreducible components.

Boundary

The nilradical is contained in every prime ideal and may strictly contain zero; it does not detect torsion elements that are not nilpotent and does not capture nilpotence in families or completions unless considered in those contexts.

Semantic Tension

The nilradical can be mistaken for the Jacobson radical (intersection of maximal ideals) or for the radical of an ideal; these objects overlap in special cases but have different algebraic meanings and uses.

Synthesis

The nilradical is the ideal gathering all nilpotent behavior in R: it equals the intersection of primes, its quotient yields the reduced ring, and it delimits where infinitesimal or nonreduced phenomena live.