Ein assoziiertes Primideal eines R‑Moduls M ist ein Primideal p, das als Annihilator eines Elements m ∈ M auftritt, d. h. p = Ann_R(m). Äquivalent ist p der Annihilator eines zyklischen Untermoduls R·m; solche Primideale bilden die Menge Ass_R(M) und treten in primären Zerlegungen auf.

Prinzip

Zeige elementbasierte algebraische Hindernisse auf: Assoziierte Primideale sind präzise algebraische Zeugen für Elemente, deren Annihilation durch ein Primideal gesteuert wird, und codieren primäre Komponenten sowie eingebettete Teile der Modulstruktur.

Demonstration

Für M = Z/12Z liefern Elemente der Ordnung 2 bzw. 3 die Annihilatoren (2) bzw. (3), also Ass_Z(M) = { (2), (3) }. Für M = R/I enthalten die assoziierten Primideale die minimalen Primideale über I und gegebenenfalls eingebettete Primideale aus primären Komponenten.

Fehlanwendung

Anzunehmen, assoziierte Primideale stünden stets im Gleichklang mit den minimalen Primidealen des Trägers; assoziierte Primideale schließen eingebettete Primideale ein und können strikt umfangreicher sein als die Menge minimaler Primideale über dem Annihilator oder Träger, besonders in nichtreduzierten Fällen.

Konsequenz

Assoziierte Primideale steuern die Modulstruktur: sie detektieren eingebettete Komponenten, erscheinen in primären Zerlegungen (jede primäre Komponente hat ein assoziiertes Primideal) und sind für endlich erzeugte Module über noetherschen Ringen endlich, wodurch sie diskrete algebraische Invarianten liefern.

Umkehrung

Im Gegensatz dazu stehen Primideale im Träger, die nicht assoziiert sind: solche Primideale zeigen an, wo das Modul nicht verschwindet, ohne dass ein einzelnes Element existiert, dessen Annihilator jenes Primideal ist; dies macht den Unterschied zwischen geometrischem Vorkommen und algebraischem Zeugen deutlich.

Abgrenzung

Definiert für Module über kommutativen Ringen; in nicht-noetherschen Umgebungen kann Ass(M) unendlich oder schlecht verhalten sein, und für nichtkommutative Ringe sind links-/rechts-Varianten zu unterscheiden. Das Nullmodul hat eine leere Menge assoziierter Primideale, wohingegen nichttriviale endlich erzeugte Module über noetherschen Ringen mindestens ein assoziiertes Primideal besitzen.

Semantische Spannung

Assoziierte Primideale vs minimale Primideale vs Träger: Minimale Primideale über dem Annihilator gehören zu den assoziierten Primidealen, doch assoziierte Primideale umfassen auch eingebettete Primideale, die das geometrische Bild verkomplizieren; die Wahl hängt davon ab, ob man elementare Zeugen oder topologische Loci benötigt.

Synthese

Ein assoziiertes Primideal ist ein Primideal, das als Annihilator eines Elements eines Moduls auftritt; es ist ein algebraisches Zeugnis einer primären Komponente, zentral für die primäre Zerlegung und zum Verständnis, wie elementare Torsionsstücke zur lokalen und globalen Struktur des Moduls beitragen.