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

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

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

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

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

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

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

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

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.