## [Nilradikal](/de/node/63649) Definition 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 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 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 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 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 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 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 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 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.