Eine assoziierte Komponente, die zu einem assoziierten Primideal gehört, das nicht minimal bezüglich Inklusion ist; mit anderen Worten ein assoziiertes Teil des Schemas, das innerhalb einer anderen Komponente eingebettet ist und daher eingebettet statt minimal ist.

Prinzip

Assoziierte Primideale katalogisieren die primäre Struktur eines Moduls oder Ideals; eine eingebettete assoziierte Komponente stammt von einem nichtminimalen assoziierten Primideal und zeichnet Annihilatoren von Elementen oder Untermodulen auf, die innerhalb größerer Komponenten getragen sind.

Demonstration

Für das Modul R/I mit I = (x^2, xy) in k[x,y] enthalten die assoziierten Primideale das minimale Primideal der x‑Achse und ein eingebettetes assoziiertes Primideal in (x,y), das von der x‑Torsionsklasse stammt; diese eingebettete assoziierte Komponente entspricht jenem nichtminimalen assoziierten Primideal.

Fehlanwendung

Annehmen, jede assoziierte Komponente trage zu einem eigenständigen geometrischen irreduziblen Teil des reduzierten Schemas bei — eingebettete assoziierte Komponenten haben möglicherweise keinen Gegenpart in der reduzierten topologischen Zerlegung und spiegeln stattdessen schematische Annihilatoren wider.

Konsequenz

Das Erkennen eingebetteter assoziierter Komponenten ist wesentlich für eine korrekte primäre Zerlegung, für die Berechnung lokaler Kohomologie und für das Verständnis von Annihilatoren von Elementen; sie beeinflussen Vielfachheit und Tiefe und leiten Auflösungen.

Umkehrung

Eine minimale assoziierte Komponente entspricht einem minimalen Primideal und liefert einen oberflächlichen irreduziblen Träger; das Entfernen eingebetteter assoziierter Komponenten reduziert die Menge der assoziierten Primideale auf das minimale Spektrum.

Abgrenzung

Der Begriff gilt für assoziierte Primideale und assoziierte Unterschemata; er schließt minimale Primideale und topologische irreduzible Komponenten aus und bezieht sich nicht auf Komponenten, die lediglich mengenmäßig enthalten sind, aber nicht durch assoziierte Primideale getragen werden.

Semantische Spannung

Spannung zwischen 'eingebetteter assoziierter Komponente' und 'eingebetteter Komponente' in der Verwendung: erstere betont die Herkunft über assoziiertes Primideal/Annihilator, letztere häufig das geometrische Bild — sie überschneiden sich, setzen aber unterschiedliche algebraische Akzente.

Synthese

Eine eingebettete assoziierte Komponente ist ein assoziiertes Unterschema, das von einem nichtminimalen assoziierten Primideal herrührt: es kodiert Annihilatoren und Torsion, die innerhalb größerer Komponenten getragen sind, und ist für eine exakte primäre Zerlegung und homologische Analyse entscheidend.