Das Verfahren, die Primideale zu identifizieren, die mit einem Modul oder Ideal assoziiert sind: jene Primideale, die als Annihilatoren eines Elements des Moduls auftreten oder die in der Primärzerlegung als Träger von Primärkomponenten erscheinen.

Prinzip

Elemente (oder Untermodule) auf ihre Annihilatoren untersuchen und die prime Annihilatoren sammeln; äquivalent eine Primärzerlegung berechnen und die zugrundeliegenden Primideale ablesen. In noetherschen Umgebungen ergibt dies eine endliche, wohldefinierte Menge assoziierter Primideale, die lokale Obstruktionen und Träger beschreibt.

Demonstration

Für das Z-Modul Z/12Z sind die assoziierten Primideale (2) und (3), weil 12 in 4- und 3-Torsionsanteile zerfällt und es Elemente gibt, deren Annihilatoren 2 oder 3 sind. Für ein Ideal I in einem Polynomring erhält man die assoziierten Primideale, indem man eine Primärzerlegung von I berechnet und die Radikale der Primärideale nimmt.

Fehlanwendung

Das Verwechseln assoziierter Primideale mit minimalen Primidealen des definierenden Ideals oder die Annahme, assoziierte Primideale seien stets minimal; eingebettete assoziierte Primideale können vorkommen und sind relevant. Ein weiterer Missbrauch ist, assoziierte Primideale nach Lokalisierung oder Erweiterung automatisch mit denen über dem Ausgangsring gleichzusetzen, ohne das Verhalten bei Wechsel des Rings zu prüfen.

Konsequenz

Die Kenntnis assoziierter Primideale klärt die lokale Struktur des Moduls: sie identifiziert Orte von Torsion oder eingebetteten Komponenten, leitet die Lokalisierung, unterstützt die Berechnung von Tiefe- und Dimensionsinvarianten und ist wesentlich für Primärzerlegung, lokale Kohomologie und Exactness-Tests.

Umkehrung

Die duale Sicht konzentriert sich auf minimale Primideale des Supports oder auf die Menge der Primideale im Support: minimale Primideale erfassen irreduzible Komponenten des Supports, während assoziierte Primideale sowohl minimale als auch eingebettete Primideale umfassen; die Beschränkung auf minimale Primideale entfernt nützliche Torsionsinformationen.

Abgrenzung

In noetherschen Ringen und für endlich erzeugte Module wohlverhalten und endlich; in nicht-noetherschen Kontexten kann die Menge assoziierter Primideale unendlich oder pathologisch sein. Die Berechnung setzt Algorithmen für Primärzerlegung oder Annihilatortests voraus, und das Verhalten kann sich unter nicht-flachem Basiswechsel ändern.

Semantische Spannung

Es besteht eine satzungsgemäße Spannung zwischen assoziierten Primidealen und anderen prime-bezogenen Begriffen (Support, minimale Primideale, Spektrum): assoziierte Primideale erfassen annihilatoren- und elementbezogene Struktur, während Support und minimale Primideale geometrische oder irreduzible Zerlegung betonen. Die Wahl hängt davon ab, ob elementare Torsionsinformation oder globale geometrische Komponenten benötigt werden.

Synthese

Die Berechnung assoziierter Primideale ist der Prozess, Primideale zu finden, die Elemente eines Moduls annihilieren oder als Radikale von Primärkomponenten auftreten; in noetherschen Umgebungen liefert er eine endliche Menge, die Torsion und eingebettete Phänomene offenlegt, Lokalisierung, Zerlegung und Tiefe-Invarianten leitet, jedoch Vorsicht bei Basiswechseln und in nicht-noetherschen Fällen erfordert.