Die Operation, die einer Teilstruktur (typischerweise einem Ideal) die Elemente zuordnet, deren eine Potenz in der Teilstruktur liegt; für ein Ideal I ist sein Radikal rad(I) = {x | x^n ∈ I für ein n ≥ 1}, womit ein radikalgeschlossenes Objekt (ein Ideal, das seinem eigenen Radikal entspricht) entsteht.

Prinzip

Man bildet das Radikal durch Schließen unter Ziehen von Potenzwurzeln: Ein Element gehört genau dann zum Radikal, wenn es in jedem Primideal liegt, das die ursprüngliche Teilstruktur enthält; Radikale sind Schnitte von primen Überstrukturen und detektieren reduzierte Quotienten.

Demonstration

In k[x] ist das Radikal von (x^2) gleich (x), weil jedes Polynom, dessen Potenz in (x^2) liegt, durch x teilbar sein muss. In Z gilt rad((12)) = (6), da die Primteiler von 12 2 und 3 sind und das Radikal vom Produkt der verschiedenen Primfaktoren erzeugt wird.

Fehlanwendung

Das Radikalschließen mit dem integralen Abschluss oder dem Adjoinieren algebraischer Elemente zu verwechseln; Radikale zu bilden ohne die umgebende Struktur zu beachten kann Vielfachheitsinformationen auslöschen und verschiedene primäre Komponenten vermischen.

Konsequenz

Die Bildung von Radikalen liefert reduzierte Quotienten (der Quotient durch ein radikales Ideal ist reduziert) und identifiziert den Prim-Support; sie beseitigt nilpotente Informationen und vereinfacht das geometrische Bild auf Kosten des Verlusts von Vielfachheit und eingebetteten Daten.

Umkehrung

Die Umkehrung besteht im Übergang zu Potenzen oder primären Verdickungen (Ersetzen eines Ideals durch Potenzen oder primäre Komponenten), wodurch Nilpotente und Vielfachheitsinformationen, die das Radikal vergisst, wieder eingeführt werden.

Abgrenzung

Radikalschluss ist eine intrinsische Operation an Idealen und Untervariäten, erfasst jedoch keine Integrität oder feinere algebraische Strukturen; er ist schwächer als integraler Abschluss und Primärzerlegung und spiegelt möglicherweise keine Endlichkeits- oder Abstiegeigenschaften wider.

Semantische Spannung

Radikalschluss steht im Spannungsfeld mit integralem Abschluss und Primärzerlegung: Er erfasst die Trägerschicht (Primideale), nicht aber Vielfachheiten oder integrale Relationen, und ist daher für Aufgaben, die Endlichkeit oder Normalisierung verlangen, oft ungeeignet.

Synthese

Der Radikalschluss ist der kanonische Schließungsprozess durch Potenzwurzeln, der ein radikalgeschlossenes (reduziertes) Objekt als Schnitt aller primen Überideale erzeugt; er zeigt den Träger an und entfernt Nilpotente, während er Vielfachheits- und Integritätsfeinheiten aufgibt.