Die Darstellung einer geeignet endlich erzeugten Teilstruktur (typischerweise eines Ideals in einem noetherschen Ring) als Schnitt von primären Teilstrukturen, wobei jede primäre Komponente ein zugehöriges Primideal hat, das ihr nilpotentes Verhalten steuert.

Prinzip

Man zerlegt, indem man Komponenten isoliert, deren Radikale Primideale sind: Ein Ideal I schreibt sich als I = ⋂ Q_i mit Q_i primär und rad(Q_i) = P_i; die assoziierten Primideale P_i sind intrinsisch und kodieren geometrische bzw. kombinatorische Vielfachheiten, während die primären Komponenten nicht notwendigerweise eindeutig sind, ihre minimalen Teile aber eindeutig bestimmt sind.

Demonstration

In Z besitzt das Ideal (12) die Primärzerlegung (12) = (4) ∩ (3), wobei (4) 2-primär und (3) 3-primär ist. In k[x,y] zerlegt sich ein Ideal, das sich überschneidende Kurven definiert, in Komponenten, die den Zweigen und eingebetteten Punkten entsprechen.

Fehlanwendung

Die Annahme, dass primäre Komponenten eindeutig seien, ohne zwischen minimalen und eingebetteten Komponenten zu unterscheiden, oder der Versuch, in nicht-noetherschen Ringen zu zerlegen, wo Existenz fehlen kann, führt zu falschen Schlüssen.

Konsequenz

Primärzerlegung offenbart die assoziierten Primideale, primären Vielfachheiten und die eingebettete Struktur des Objekts; sie ermöglicht Lokalisierung, Berechnung von Radikalen und primären Teilen sowie die geometrische Interpretation von Komponenten und Singularitäten.

Umkehrung

Das Gegenteil besteht darin, Summen oder Produkte primärer Komponenten zu bilden, um nicht-schnittartige Kombinationen zu erzeugen; das Umkehren der Schnittbildung zerstört in der Regel die feinen primären Informationen (eingebettete Primes, Vielfachheiten), die die Zerlegung sichtbar macht.

Abgrenzung

Primärzerlegung erfordert Endlichkeitsbedingungen (noethersche Ringe) für Existenz und algorithmische Berechenbarkeit; die Eindeutigkeitsaussage gilt nur für minimale primäre Komponenten und assoziierte Primideale, während eingebettete Komponenten nicht eindeutig und wahlabhängig sind.

Semantische Spannung

Primärzerlegung steht in Spannung zur Primidealzerlegung und zur Radikalzerlegung: Primidealzerlegung scheitert oft, Radikalzerlegung erfasst nur Radikale (Primideale), während die Primärzerlegung nilpotente und vielfachheitsbezogene Daten bewahrt.

Synthese

Primärzerlegung ist die kanonische Schnittdarstellung einer endlich erzeugten Teilstruktur in primäre Komponenten mit Primideal-Radikalen; sie macht sowohl die primäre Trägerschicht als auch die nilpotente Vielfachheitsstruktur sichtbar und verbindet algebraische mit geometrischer Beschreibung.