Die Darstellung eines Ideals I in einem noetherschen Ring (häufig einem Polynomring) als endliche Schnittdarstellung I = Q1 ∩ … ∩ Qr von primären Idealen Qi, wobei jedes Qi den Primideal-Radikal Pi hat; diese Zerlegung separiert die primären Komponenten, die den verschiedenen primeassoziierten geometrischen Komponenten von V(I) entsprechen.

Prinzip

Im noetherschen Kontext besitzt jedes Ideal eine irredundante Zerlegung in primäre Komponenten, indiziert durch assoziierte Primideale; isolierte Primideale liefern primäre Komponenten mit gleichem Radikal, während eingebettete Primideale Komponenten entsprechen, die in anderen enthalten sind.

Demonstration

In k[x,y] sei I = (x^2, xy). Eine primäre Zerlegung ist I = (x) ∩ (x^2,y). Hier ist (x) prim und damit primär mit Radikal (x), während (x^2,y) primär ist mit Radikal (x,y), was auf eine eingebettete Komponente am Ursprung und die eindimensionale Komponente x=0 hinweist.

Fehlanwendung

Beliebige Schnitte primärer Ideale als primäre Zerlegung von I zu betrachten, ohne Minimalität und assoziierte Primideale zu prüfen, führt zu falschen Aussagen; primäre Zerlegung mit radikaler Zerlegung (I = ⋂ sqrt(Qi)) zu verwechseln verkennt Multiplizitäten und eingebettete Strukturen.

Konsequenz

Die primäre Zerlegung macht eingebettete und isolierte geometrische Teile von Spec(R/I) sichtbar, klärt Multiplizitäten und lokales Verhalten und leitet Berechnungen von Radikalen, Lokalisierungen und fasertheoretischen Zerlegungen.

Umkehrung

Kehrt man das Ziel um und betrachtet nur radikale Komponenten (Primideale) und verwirft die primäre Struktur, gehen Informationen über Nilpotente und Multiplizitäten verloren; die Forderung nach Eindeutigkeit der primären Faktoren scheitert, weil primäre Komponenten nur bis zu ihren Radikalen eindeutig sind.

Abgrenzung

Gilt in noetherschen Ringen (Polynomringe über Feldern, lokale noethersche Ringe). In nicht-noetherschen Ringen existieren primäre Zerlegungen möglicherweise nicht oder nicht endlich; Eindeutigkeit gilt nur bis auf Inklusionen und Radikale, nicht auf Ebene der einzelnen primären Ideale.

Semantische Spannung

Die primäre Zerlegung steht im Begriffsspannungsverhältnis zur Primfaktorzerlegung des Radikals: die radikale Zerlegung erfasst die mengenmäßige Trägerschaft (die Primideale), während die primäre Zerlegung diese Beschreibung durch Kodierung von Multiplizitäten und eingebetteter Struktur verfeinert.

Synthese

Die primäre Zerlegung zerlegt ein Ideal in primäre Stücke mit Primideal-Radikalen, trennt geometrische Komponenten und codiert eingebettete Multiplizitäten; sie ist ein noethersches Werkzeug, das Radikal- und Lokalisierungstechniken für feinstrukturierte Untersuchungen ergänzt.