##  [Nilradical](/nilradical-1) 

 Definition

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

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

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

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

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

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

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

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

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.