Eigenschaft eines Rings R (oder Schemas), keine von null verschiedenen nilpotenten Elemente zu besitzen; äquivalent dazu, dass das Nilradikal von R null ist.

Prinzip

Reduziertheit beruht auf dem Verschwinden nilpotenter Phänomene: jedes Element mit x^n = 0 muss null sein. Sie misst, ob die algebraische Struktur nur die topologischen Punkte ohne infinitesimale Verdickungen wiedergibt.

Demonstration

Ein endliches Produkt von Körpern ist reduziert; ist I ein radikales Ideal in k[x1,...,xn], dann ist k[x1,...,xn]/I reduziert und entspricht dem Koordinatenring einer affinen Varietät ohne eingebettete nilpotente Strukturen.

Fehlanwendung

Zu glauben, ein reduzierter Ring sei ein Integritätsbereich: reduziert schließt Nilpotente aus, erlaubt aber Nullteiler; 'reduziert' fälschlich mit 'irreduzibel' oder 'integral' gleichzusetzen ist ein Fehler.

Konsequenz

Bei Schemata bedeutet Reduziertheit, dass die Strukturgarbe keine infinitesimalen Verdickungen hat und die Geometrie nilpotente Richtungen ignoriert; viele Konstruktionen vereinfachen sich über reduzierten Basen.

Umkehrung

Ein nicht-reduzierter Ring enthält nichttriviale nilpotente Elemente und erzeugt infinitesimale Nachbarschaften im zugehörigen Schema (z. B. k[x]/(x^2) als verdoppelter Punkt).

Abgrenzung

Reduziertheit betrifft nur Nilpotente und kontrolliert nicht Nullteiler, Integrität, Normalität oder Faktorisierung; es ist eine lokale Eigenschaft am Spektrum, die an Ringen oder lokalen Ringen geprüft wird.

Semantische Spannung

Reduziert vs integral vs irreduzibel: reduziert verbietet Nilpotente, integral verhindert Nullteiler zusätzlich, irreduzibel bezieht sich auf die Topologie des Spektrums; die Begriffe überlappen, sind aber verschieden.

Synthese

Reduziertheit ist das Fehlen nilpotenter Elemente: eine algebraische Bedingung, die infinitesimale Verdickungen entfernt und sicherstellt, dass Ring oder Schema echte geometrische Punkte widerspiegelt.