Das Ideal eines Rings R, das alle nilpotenten Elemente enthält; also die Menge {a ∈ R : a^n = 0 für ein n>0}, die ein Ideal bildet und gleich der Schnittmenge aller Primideale von R ist.

Prinzip

Das Nilradikal misst das Versagen der Reduziertheit auf Idealebene: Entfernt man das Nilradikal, erhält man den größten reduzierten Quotienten von R, und sein Träger ist die nichtreduzierte Stelle im schematischen Sinn.

Demonstration

In R = k[x]/(x^n) ist das Nilradikal das von der Klasse von x erzeugte Ideal; bei einem endlichen Produkt von Körpern ist das Nilradikal null, da keine nichtverschwindenden Nilpotenten existieren, und in einem lokalen artinschen nichtreduzierten Ring ist es das maximale nilpotente Ideal.

Fehlanwendung

Das Nilradikal mit dem Jacobson‑Radikal verwechseln oder annehmen, es sei im Allgemeinen endlich erzeugt; das Nilradikal stimmt nicht notwendigerweise mit Radikalen überein, die durch Nilpotenz von Moduln oder durch topologische Nilpotenz definiert sind.

Konsequenz

Die Quotientenbildung von R nach seinem Nilradikal liefert den reduzierten Ring R_red; geometrisch beseitigt dies die nichtreduzierte Struktur und stellt die zugrundeliegenden reduzierten Komponenten dar, während infinitesimale Richtungen entfernt werden.

Umkehrung

Ist das Nilradikal null, so ist R reduziert; das Fehlen von Nilpotenten vereinfacht primäre Zerlegungen und stellt die Entsprechung zwischen minimalen Primidealen und irreduziblen Komponenten sicher.

Abgrenzung

Das Nilradikal liegt in jedem Primideal und kann strikt größer als null sein; es detektiert keine Torsionselemente, die nicht nilpotent sind, und erfasst Nilpotenz in Familien oder Komplettierungen nur, wenn man sie in diesen Kontexten betrachtet.

Semantische Spannung

Das Nilradikal wird häufig mit dem Jacobson‑Radikal (Schnitt der maximalen Ideale) oder mit dem Radikal eines Ideals verwechselt; diese Objekte fallen in Spezialfällen zusammen, haben aber unterschiedliche algebraische Bedeutungen und Verwendungszwecke.

Synthese

Das Nilradikal ist das Ideal, das jegliches nilpotentes Verhalten in R zusammenfasst: es ist der Schnitt aller Primideale, sein Quotient liefert den reduzierten Ring und es markiert den Ort infinitesimaler oder nichtreduzierter Phänomene.