Propiedad de un anillo R (o esquema) de no tener elementos nilpotentes distintos de cero; equivalente a que el nilradical de R sea cero.

Principio

La reducción se rige por la anulación del comportamiento nilpotente: todo elemento que satisfaga x^n = 0 debe ser cero. Mide si la estructura algebraica refleja solo los puntos topológicos sin engrosamientos infinitesimales.

Demostración

Un producto finito de cuerpos es reducido; si I es un ideal radical en k[x1,...,xn], entonces k[x1,...,xn]/I es reducido y equivale al anillo de coordenadas de una variedad afín sin estructura nilpotente incorporada.

Aplicación incorrecta

Suponer que un anillo reducido es un dominio (íntegro): reducido excluye nilpotentes pero permite divisores de cero; confundir 'reducido' con 'irredudible' o 'íntegro' es un error.

Consecuencia

Para esquemas, la reducción significa que el haz estructural no tiene engrosamientos infinitesimales y que la geometría ignora las direcciones nilpotentes; muchas construcciones se simplifican sobre bases reducidas.

Inversión

Un anillo no reducido contiene elementos nilpotentes no nulos, produciendo vecindades infinitesimales en el esquema correspondiente (p. ej. k[x]/(x^2) representa un punto doblado).

Límite

La reducción solo se refiere a nilpotentes y no controla divisores de cero, integralidad, normalidad ni factorización; es una propiedad local en el espectro que debe comprobarse en anillos o anillos locales.

Tensión semántica

Reducido vs íntegro vs irreducible: reducido prohíbe nilpotentes, íntegro requiere además la ausencia de divisores de cero, e irreducible se refiere a la topología del espectro; son nociones que se solapan pero son distintas.

Síntesis

La propiedad reducida es la ausencia de elementos nilpotentes: una condición algebraica que elimina engrosamientos infinitesimales y asegura que el anillo o esquema refleje puntos geométricos auténticos.