##  [Reducedness](/reducedness-0) 

 Definition

The property of a ring R (or scheme) having no nonzero nilpotent elements; equivalently the nilradical of R is zero.

 

 

 

 

 

 





## Principle

Principle

Reducedness is governed by the vanishing of nilpotent behavior: every element satisfying x^n=0 must be zero. It measures whether the algebraic structure reflects only the topological (variety) points without infinitesimal thickening.

 

 

 

 

 





## Demonstration

Demonstration

A finite product of fields is reduced; if I is a radical ideal in k[x1,...,xn], then k[x1,...,xn]/I is reduced and equals the coordinate ring of an affine variety without embedded nilpotent structure.

 

 

 

 

## Misapplication

Misapplication

Assuming a reduced ring is a domain (integral): reduced rules out nilpotents but allows zero divisors; replacing ‘reduced’ by ‘irreducible’ or ‘integral’ is an error.

 

 

 

 

 





## Consequence

Consequence

For schemes, reducedness means the structure sheaf has no infinitesimal thickenings and the geometry ignores nilpotent directions; many geometric constructions simplify when working on reduced bases.

 

 

 

 

## Reversal

Reversal

A non-reduced ring contains nonzero nilpotent elements, producing infinitesimal neighborhoods in the corresponding scheme (e.g., k[x]/(x^2) has a doubled point).

 

 

 

 

 





## Boundary

Boundary

Reducedness concerns only nilpotents and does not control zero divisors, integrality, normality, or factorization; it is a local property on the spectrum but must be checked on rings or local rings.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Reduced vs integral vs irreducible: reduced forbids nilpotents, integral requires no zero divisors and reducedness, and irreducible refers to topology of the spectrum; these notions overlap but are distinct.

 

 

 

 

 





## Synthesis

Synthesis

Reducedness is the absence of nilpotent elements: an algebraic condition removing infinitesimal thickening and ensuring the ring or scheme records honest geometric points rather than nilpotent directions.