## [Radikalberechnung](/de/node/61541) Definition Algorithmen und Techniken zur Berechnung des Radikals sqrt(I) eines Ideals I, also der Menge {f | f^n ∈ I für ein n}, welche das Ideal der auf derselben Varietät verschwindenden Funktionen und damit die zugrunde liegende reduzierte geometrische Komponente bestimmt. ## Prinzip Prinzip Berechnung der Abschlussbildung unter Wurzeln: Verwendung von Gröbner-Basen, primärer Zerlegung, Sättigung oder spezialisierten Algorithmen (z. B. Rabinowitsch-Trick, Testideale), um zu erkennen, ob ein Polynom modulo I nilpotent ist und somit zum Radikal gehört. ## Demonstration Demonstration Für I = (x^2, xy) in k[x,y] sieht man, dass x^2 ∈ I und xy ∈ I, also muss jedes f, dessen Potenz durch x teilbar ist, im Radikal liegen; explizit ist sqrt(I) = (x). Dies lässt sich mittels Gröbner-Basenrechnung oder durch Lokalisierung an Primidealen und Mitgliedschaftstests überprüfen. ## Fehlanwendung Fehlanwendung Anzunehmen, Radikalberechnung koste genauso viel wie Idealmitgliedschaft, ist irreführend: Radikale zu berechnen kann eine teure primäre Zerlegung erfordern; naiven Heuristiken ohne Verifikation kann in Gegenwart eingebetteter Komponenten oder in positiver Charakteristik falsche Radikale liefern. ## Konsequenz Konsequenz Die Kenntnis von sqrt(I) liefert die reduzierte Schemstruktur und die mengenmäßige Trägerschaft, vereinfacht viele geometrische Fragen und ist ein erster Schritt vor der Berechnung primärer Komponenten oder Multiplizitäten. ## Umkehrung Umkehrung Konzentriert man sich nur auf Radikale, geht scheme-theoretische Multiplizität und nilpotente Struktur verloren; umgekehrt ist es unmöglich, aus Radikalen allein die volle Schemstruktur zu rekonstruieren, da Radikale eingebettete und nilpotente Daten ignorieren. ## Abgrenzung Abgrenzung Effektive Algorithmen existieren für endlich erzeugte Algebren über Körpern, besonders in Charakteristik null oder in kleinen positiven Charakteristiken mit Vorsicht; in großer Charakteristik, über unendlichen Koeffizientenringen oder in nicht-noetherschen Ringen kann das Problem schwieriger oder unentscheidbar sein. ## Semantische Spannung Semantische Spannung Die Radikalberechnung steht oft im Gegensatz zur primären Zerlegung: das Radikal liefert mengenmäßige Informationen kostengünstiger, während die primäre Zerlegung feinere scheme-theoretische Daten zu höheren Rechnungskosten liefert. ## Synthese Synthese Radikalberechnung identifiziert die reduzierte Unterstützung eines Ideals durch Auffinden aller Elemente, deren Potenzen im Ideal liegen; die Methoden reichen von Gröbner-basierten Mitgliedschaftstests über Sättigung bis hin zur primären Zerlegung und tauschen Rechenaufwand gegen Strukturtiefe.