Träger eines Moduls

Der Träger eines Moduls ist in der kommutativen Algebra die Menge aller Primideale, sodass der Modul nach Lokalisierung nach einem solchen Primideal nicht zum Nullmodul wird.

Dieser Artikel beschäftigt sich mit kommutativer Algebra. Insbesondere sind alle betrachteten Ringe kommutativ und haben ein Einselement. Für weitere Details siehe Kommutative Algebra.

Definition

Ist $M$ ein unitärer Modul über einem kommutativen Ring mit Eins $R$ und $p$ ein Primideal, so bezeichnet $M_{p}$ die Lokalisierung des Moduls $M$ nach dem Primideal $p$. Mit $\operatorname {Spec} (R)$ wird die Menge aller Primideale von $R$ bezeichnet (siehe Spektrum eines Ringes).

Der Träger von $M$ wird definiert als:

$\operatorname {Supp} (M):=\{p\in \operatorname {Spec} (R)\mid M_{p}\neq \langle 0\rangle \}$

(nach engl. support für „Träger“)

Sätze

Abgeschlossenheit des Trägers

Der Annihilator von $M$ ist:

$\operatorname {Ann} M=\{a\in A\mid am=0\ \mathrm {f{\ddot {u}}r\ alle} \ m\in M\}$

Es gilt folgender Satz:

• Ist $M$ endlich erzeugt, so ist:

$\operatorname {Supp} (M)=\{p\in \operatorname {Spec} (R)\mid p\supset \operatorname {Ann} (M)\}$

Insbesondere ist der Träger von $M$ in diesem Fall eine abgeschlossene Menge von $\operatorname {Spec} (R)$.

Lokal-Global-Prinzip

Der Träger eines Moduls, der nicht der Nullmodul ist, ist nicht leer. Es gilt die Lokal-Global-Aussage, dass folgende drei Aussagen äquivalent sind:

• Für alle maximalen Ideale $m$ gilt:

$M_{m}=0$

• Für alle Primideale $p$ gilt:

$M_{p}=0$

• Es ist

$M=0$

Ein Modul ist also genau dann der Nullmodul, wenn er lokal der Nullmodul ist.

Literatur

• Ernst Kunz: Einführung in die kommutative Algebra und algebraische Geometrie. Vieweg, 1980, ISBN 3-528-07246-6.
• Michael Francis Atiyah, Ian G. Macdonald: Introduction to Commutative Algebra. Addison-Wesley, 1969, ISBN 0-2010-0361-9.