2.7 Moduln
Sei \(R\) ein Ring. Eine Menge \(M\) zusammen mit Verknüpfungen \(+\colon M\times M\to M\), \(\cdot \colon R\times M\times M\) heißt \(R\)-Modul, wenn gilt:
\((M, +)\) ist eine abelsche Gruppe,
für alle \(r, s\in R\), \(m\in M\) gilt: \((rs)\cdot m = r\cdot (s\cdot m)\),
für alle \(r, s\in R\), \(m, n\in M\) gilt: \((r+s)m = rm + sm\), \(r(m+n) = rm+rn\),
für alle \(m\in M\) gilt: \(1\cdot m = m\).
Sei \(R\) ein Ring. Eine Abbildung \(f\colon M\to N\) zwischen \(R\)-Moduln \(M\) und \(N\) heißt \(R\)-Modul-Homomorphismus, falls gilt:
Ein Isomorphismus zwischen \(R\)-Moduln ist ein Homomorphismus, der einen Umkehrhomomorphismus besitzt.
Für \(R\)-Moduln \(M, N\) trägt die Menge \(\operatorname{Hom}_R(M, N)\) aller \(R\)-Modul-Homomorphismen durch die Gruppenstruktur auf \(N\) die Struktur einer abelschen Gruppe (und sogar, induziert durch die \(R\)-Modulstruktur auf \(N\), die Struktur eines \(R\)-Moduls). Wie im Vektorraumfall überprüft man leicht, dass jeder bijektive Homomorphismus ein Isomorphismus ist.
Sei \(R\) ein Ring. Der Modul \(\{ 0\} \) heißt der Nullmodul und wird auch einfach mit \(0\) bezeichnet.
Ist \(R\) ein Körper, so ist ein \(R\)-Modul nichts anderes als ein \(R\)-Vektorraum, und ein \(R\)-Modul-Homomorphismus nichts anderes als ein \(R\)-Vektorraum-Homomorphismus.
Sei \(R\) ein Ring. Dann ist \(R\) (mit der Ringaddition und der Ringmultiplikation als Skalarmultiplikation) ein \(R\)-Modul.
Sei \(R\) ein Ring. Ist \(A\) eine \(R\)-Algebra (via \(\varphi \colon R\to A\)), so ist \(A\) ein Ring, und trägt gleichzeitig eine \(R\)-Modulstruktur, so dass die Ringaddition und die Moduladdition übereinstimmen, und die Ringmultiplikation und die Skalarmultiplikation verträglich sind: \(r(xy) = (rx)y = x(ry)\) für alle \(r\in R\), \(x, y\in A\): Wir definieren nämlich die Skalarmultiplikation durch \(r\cdot x := \varphi (r)x\), wobei auf der rechten Seite die Ringmultiplikation in \(A\) verwendet wird.
Ist andererseits \(A\) ein Ring, der gleichzeitig ein \(R\)-Modul ist, so dass die obigen Verträglichkeiten gelten, dann wird \(A\) durch \(\varphi \colon R\to A\), \(r\mapsto r\cdot 1\) zu einer \(R\)-Algebra.
Genauer sollte man die hier definierten Algebren als assoziative kommutative Algebren mit Eins bezeichnen. Andere Algebren kommen aber in diesem Skript nicht vor.
Weil \((-1)n = -n\) ist ein Untermodul stets abgeschlossen unter Bildung des additiven Inversen. Daher ist eine Teilmenge eines \(R\)-Moduls genau dann ein Untermodul, wenn sie mit den Einschränkungen von \(+\) und \(\cdot \) selbst ein \(R\)-Modul ist.
Die \(R\)-Untermoduln von \(R\) (Beispiel 2.66 (3)) sind genau die Ideale von \(R\). Ein \(\mathbb Z\)-Modul ist »dasselbe« wie eine abelsche Gruppe; unter dieser Entsprechung entsprechen sich die Begriffe von Modulhomomorphismus und Gruppenhomomorphismus, und die Begriffe von Untermodul und Untergruppe.
Über einen Körper sind alle Moduln frei: Das ist gerade der Satz, dass jeder Vektorraum eine Basis besitzt. Andererseits ist zum Beispiel der \(\mathbb Z\)-Modul \(\left.\mathbb Z\middle /2\right.\) nicht frei.
Sei \(R\) ein Ring.
Die triviale abelsche Gruppe \(\{ 0 \} \) kann in eindeutiger Weise zu einem \(R\)-Modul gemacht werden, den wir auch mit \(0\) bezeichnen. Dieser Modul heißt der Nullmodul. Der Ring \(R\) selbst ist in offensichtlicher Weise ein (freier) \(R\)-Modul.
Sei \(M\) ein \(R\)-Modul. Der Durchschnitt von Untermoduln von \(M\) ist ein Untermodul.
Sind \(R\) ein Ring, \(M\) ein \(R\)-Modul und ist \(X\subseteq M\) eine Teilmenge, so ist
\[ \langle X\rangle _R := \bigcap _{N \subseteq M\ \text{Untermodul}, X\subseteq N} N = \left\{ \sum _{i=1}^n a_i x_i;\ n\ge 0, a_i \in R, x_i\in X \right\} \]der kleinste Untermodul von \(M\), der \(X\) enthält. Wir nennen \(\langle X\rangle _R\) den von \(X\) erzeugten Untermodul. Ist \(X = \{ x_1, \dots , x_n \} \), so schreiben wir \(\langle x_1, \dots , x_n\rangle _R := \langle X\rangle _R\). Ein Untermodul \(N\) heißt endlich erzeugt, wenn endlich viele Elemente \(x_1, \dots , x_n\in N\) existieren mit \(N=\langle x_1, \dots , x_n\rangle \).
Sind \(N_\nu \subseteq M\) Untermoduln, so heißt der von \(\bigcup _\nu N_\nu \) erzeugte Untermodul die Summe der Untermoduln \(N_\nu \), in Zeichen \(\sum _\nu N_\nu \).
Sei \(R\) ein Ring. Sind \(M\), \(N\) Moduln über \(R\), so ist die Menge \(\operatorname{Hom}_R(M, N)\) aller \(R\)-Modul-Homomorphismen von \(M\) nach \(N\) in natürlicher Weise ein \(R\)-Modul.
Sei \(R\) ein Ring, und sei \((M_i)_{i\in I}\) eine Familie von \(R\)-Moduln.
Das kartesische Produkt \(\prod _i M_i\) ist mit komponentenweiser Addition und Skalarmultiplikation ein \(R\)-Modul, das (direkte) Produkt der \(M_i\). Das Produkt zusammen mit den Projektionen \(\pi _j\colon \prod _i M_i\to M_j\) erfüllt die folgende universelle Eigenschaft: Für alle \(R\)-Moduln \(T\) ist die Abbildung
\[ \operatorname{Hom}_R(T, \prod _i M_i) \to \prod _i \operatorname{Hom}_R(T, M_i),\quad f\mapsto (\pi _i\circ f)_i, \]eine Bijektion.
Die Teilmenge
\[ \bigoplus _{i\in I} M_i := \{ (m_i)_i \in \prod _i M_i;\ m_i=0\ \text{ für alle bis auf endlich viele}\ i \} \]ist ein Untermodul von \(\prod _i M_i\) und heißt die direkte Summe der \(M_i\). Die direkte Summe zusammen mit den Inklusionen \(\iota _j\colon M_j\to \bigoplus _i M_i\) erfüllt die folgende universelle Eigenschaft: Für alle \(R\)-Moduln \(T\) ist die Abbildung
\[ \operatorname{Hom}_R(\bigoplus M_i, T) \to \prod _i \operatorname{Hom}_R(M_i, T),\quad f\mapsto (f\circ \iota _i)_i, \]eine Bijektion.
Ist speziell \(M_i = M\) für alle \(i\), so schreiben wir auch \(M^I := \prod _i M\), \(M^{(I)} := \bigoplus _i M\). Ist \(I = \{ 1, \dots n\} \), so schreiben wir \(R^n:= R^I\).
Ist die Indexmenge \(I\) in der Definition endlich, so stimmen direktes Produkt und direkte Summe überein. Wie erwähnt lassen sich direktes Produkt und direkte Summe durch universelle Eigenschaften charakterisieren, es handelt sich gerade um das Produkt und das Koprodukt in der Kategorie der \(R\)-Moduln, siehe Definition 3.3, Abschnitt LA2.18.1.
Sei \(R\) ein Ring, \(M\) ein \(R\)-Modul. Der \(R\)-Modul \(M\) ist genau dann frei, wenn eine Menge \(I\) existiert, so dass \(M\cong R^{(I)}\). Der \(R\)-Modul \(M\) ist genau dann endlich erzeugt, wenn eine endliche Menge \(I\) und ein surjektiver \(R\)-Modul-Homomorphismus \(R^I\to M\) existieren.
Sind \(I\) eine Menge und \(m_i\in M\), \(i\in I\), dann erhalten wir den \(R\)-Modul-Homomorphismus \(R^{(I)}\to M\), \((x_i)_i\mapsto \sum _{i\in I} x_im_i\). Sein Bild ist der von den \(m_i\) erzeugte Untermodul von \(M\), sein Kern ist die Menge aller Tupel \((x_i)_i\), für die die zugehörige Linearkombination der \(m_i\) den Wert \(0\) hat. Daraus folgen beide Aussagen des Lemmas.
2.7.1 Quotient eines Moduls nach einem Untermodul
Ist \(R\) ein Ring, \(M\) ein \(R\)-Modul und \(N\subseteq M\) ein Untermodul, so ist die abelsche Gruppe \(M/N\) in natürlicher Weise ein \(R\)-Modul (mit \(r(m+N) := (rm)+N\) als Skalarmultiplikation), und es gilt die offensichtliche Version des Homomorphiesatzes. Als Folgerung aus Lemma 2.75 und dem Homomorphiesatz erhalten wir die folgende Aussage.
Ein \(R\)-Modul \(M\) ist genau dann endlich erzeugt, wenn \(n\ge 0\) und ein Untermodul \(N\subseteq R^n\) existieren mit \(M\cong R^n/N\).
2.7.2 Lokalisierung von Moduln
Ist \(R\) ein Ring, \(M\) ein \(R\)-Modul und \(S\subseteq R\) eine multiplikative Teilmenge, so kann man analog zur Lokalisierung von Ringen einen \(S^{-1}R\)-Modul \(S^{-1}M\) aller Brüche \(\frac ms\), \(m\in M\), \(s\in S\), konstruieren. Wie im Fall von Ringen definiert man
In Analogie zu den Schreibweisen \(R_{\mathfrak p}\), \(R_f\) schreiben wir auch \(M_{\mathfrak p}\), \(M_f\).
2.7.3 Das Lemma von Nakayama
Sind \(R\) ein Ring, \(\mathfrak a\subseteq R\) ein Ideal und \(M\) ein \(R\)-Modul, so sei
Dann induziert die \(R\)-Modul-Struktur auf \(M/\mathfrak a M\) in natürlicher Weise eine \(\left.R\middle /\mathfrak a\right.\)-Modul-Struktur.
Wir nehmen an, \(M\) sei nicht der Nullmodul und beginnen mit der folgenden
Behauptung. Es gibt einen Untermodul \(N\subset M\) und ein maximales Ideal \(\mathfrak m\subset R\), so dass \(M/N\cong R/\mathfrak m\) gilt.
Begründung. Wir führen Induktion nach der minimalen Anzahl \(n\) von Elementen eines Erzeugendensystems von \(M\). Wenn \(n=1\) ist, also \(M\) durch ein einziges Element erzeugt werden kann, dann gibt es einen surjektiven \(R\)-Modul-Homomorphismus \(R\to M\), also ist nach dem Homomorphiesatz \(M\cong \left.R\middle /\mathfrak a\right.\) für ein Ideal \(\mathfrak a\subset R\), das wegen \(M\ne 0\) ungleich \(R\) sein muss. Also ist \(\mathfrak a\) in einem maximalen Ideal von \(R\) enthalten (Satz 2.30), und daraus folgt die Behauptung, denn \(R/\mathfrak a/\mathfrak m/\mathfrak a\cong R/\mathfrak m\).
Sei nun \(n {\gt} 1\) und \(m_1,\dots , m_n\in M\) ein Erzeugendensystem. Dann lässt sich \(\overline{M}:=M/\langle m_n\rangle _R\) durch die Restklassen von \(m_1, \dots , m_{n-1}\) erzeugen, wir können also auf \(\overline{M}\) die Induktionsvoraussetzung anwenden, und jeder Quotient von \(\overline{M}\) ist isomorph zu einem Quotienten von \(M\).
Aus der obigen Behauptung folgt nun leicht der Satz. In der Tat, wenn \(\mathfrak a M = M\) gilt, dann folgt auch \(\mathfrak a \overline{M} = \overline{M}\) für jeden Quotienten \(\overline{M}\) von \(M\). Aber aus \(\mathfrak a (R/\mathfrak m) = R/\mathfrak m\) folgt \(1\in \mathfrak a + \mathfrak m\), also \(\mathfrak a \not\subseteq \mathfrak m\) im Widerspruch zur Voraussetzung \(\mathfrak a\subseteq \operatorname{Jac}(R)\).
Für zwei andere Möglichkeiten für den Beweis siehe [ AM ] Proposition 2.6.
Sei \(R\) ein Ring, \(\mathfrak a \subseteq \operatorname{Jac}(R)\) ein Ideal von \(R\) und sei \(M\) ein endlich erzeugter \(R\)-Modul. Ist \(N\subseteq M\) ein Untermodul mit \(N + \mathfrak a M = M\), so gilt \(N=M\).
Wir wenden das Lemma von Nakayama an auf den Quotienten \(\overline{M} := M/N\). Mit \(M\) ist auch \(\overline{M}\) endlich erzeugt und es gilt \(\mathfrak a \overline{M} = \overline{M}\), denn jedes \(m\in M\) lässt sich nach Voraussetzung als \(m=n+m^\prime \) mit \(n\in N\), \(m^\prime \in \mathfrak a M\) schreiben, im Quotienten gilt also \(m = m^\prime \in \mathfrak a \overline{M}\).
Sei \((R, \mathfrak m, k)\) ein lokaler Ring und \(M\) ein endlich erzeugter \(R\)-Modul. Dann ist \(M/\mathfrak m M\) in natürlicher Weise ein (endlich erzeugter) Vektorraum über dem Restklassenkörper \(k\) von \(R\). Sind \(x_1, \dots , x_n\in M\) Elemente, deren Restklassen in \(M/\mathfrak m M\) ein Erzeugendensystem dieses \(k\)-Vektorraums bilden, so ist \(x_1, \dots , x_n\) ein Erzeugendensystem von \(M\).
Nach dem vorherigen Korollar genügt es zu zeigen, dass \(\langle x_1, \dots , x_n\rangle _R + \mathfrak m M = M\) gilt, aber das ist klar nach Definition der \(x_i\).
Wir können uns also einen \(R\)-Modul als eine (sehr spezielle) »Familie von Vektorräumen« vorstellen – für jeden Punkt aus \(\operatorname{Spec}R\) haben wir einen Vektorraum über seinem Restklassenkörper.
Sei \(M\) ein endlich erzeugter \(R\)-Modul, und seien \(\mathfrak p \subseteq \mathfrak p^\prime \) Primideale von \(R\). Dann gilt \(\dim _{\kappa (\mathfrak p)} M(\mathfrak p) \le \dim _{\kappa (\mathfrak p^\prime )} M(\mathfrak p^\prime )\).
Indem wir zur Lokalisierung von \(R\) bezüglich \(\mathfrak p^\prime \) übergehen, können wir ohne Einschränkung annehmen, dass \(R\) ein lokaler Ring mit maximalem Ideal \(\mathfrak p^\prime \) ist. (Hier muss man ein paar Sachen nachprüfen. Dass diese Schritte hier nicht aufgeschrieben sind, ist der Grund, warum hier »Beweisskizze« steht.)
Im Fall, dass \(R\) ein lokaler Ring mit maximalem Ideal \(\mathfrak p^\prime \) ist, können wir eine Basis von \(M(\mathfrak p^\prime )\) über \(\kappa (\mathfrak p^\prime )\) liften und erhalten ein Erzeugendensystem von \(M\), das aus \(\dim _{\kappa (\mathfrak p^\prime )} M(\mathfrak p^\prime )\) Elementen besteht. Die Restklassen dieser Elemente liefern uns dann ein Erzeugendensystem von \(M/\mathfrak p M\) als \(R/\mathfrak p\)-Modul. Daraus erhalten wir ein Erzeugendensystem von \(M(\mathfrak p)\) als \(\kappa (\mathfrak p)\)-vektorraum. Daraus folgt die Behauptung.
Es ist auch nicht schwer, andersherum das Lemma von Nakayama als Folgerung von Satz 2.82 zu beweisen.
Sei \(R\) ein Ring, \(M\) ein \(R\)-Modul. Betrachte die Eigenschaften
\(M=0\).
Für alle \(\mathfrak p\in \operatorname{Spec}R\) gilt \(M_{\mathfrak p} = 0\).
Für alle \(\mathfrak m\in \operatorname{Spm}R\) gilt \(M_{\mathfrak m} = 0\).
Für alle \(\mathfrak m\in \operatorname{Spm}R\) gilt \(M({\mathfrak m}) = 0\).
Dann sind (i), (ii), (iii) äquivalent und implizieren (iv). Ist \(M\) endlich erzeugt über \(R\), so sind alle vier Eigenschaften äquivalent.
Die Implikationen (i) \(\Rightarrow \) (ii) \(\Rightarrow \) (iii) \(\Rightarrow \) (iv) sind klar. Ist \(M\) endlich erzeugt, dann folgt (iv) \(\Rightarrow \) (iii) aus dem Lemma von Nakayama. Es bleibt also noch (iii) \(\Rightarrow \) (i) zu zeigen. Sei dazu \(M\ne 0\), sagen wir \(m\in M\setminus \{ 0\} \). Die Abbildung \(R\to M\), \(a\mapsto am\) faktorisiert über einen injektiven \(R\)-Modul-Homomorphismus \(\left.R\middle /\mathfrak a\right.\to M\) für ein Ideal \(\mathfrak a \subsetneq R\). Mit anderen Worten: Das Ideal
ist der sogenannte Annihilator von \(m\). Sei \(\mathfrak m\) ein maximales Ideal von \(R\), das \(\mathfrak a\) enthält. Wäre \(\frac m1 = 0 \in M_{\mathfrak m}\), dann gäbe es \(s\in R\setminus \mathfrak m\) mit \(sm =0\), ein Widerspruch. Also ist die Lokalisierung \(M_{\mathfrak m}\) nicht der Nullmodul.
Die Implikation (iv) \(\Rightarrow \) (iii) gilt (im allgemeinen) nicht, wenn man die Voraussetzung, dass \(M\) endlich erzeugt sei, fallenlasse. Ein Beispiel ist der \(\mathbb Z\)-Modul \(\mathbb Q/\mathbb Z\). (Überlegen Sie sich, warum …)
Manchmal ist die folgende etwas allgemeinere Version des Lemmas von Nakayama nützlich. Sei \(R\) ein Ring, \(M\) ein endlich erzeugter \(R\)-Modul und \(\mathfrak a\subseteq R\) ein Ideal mit \(\mathfrak a M = M\). Dann existiert ein Element \(a\in \mathfrak a\), so dass \(am=m\) für alle \(m\in M\) gilt. (Überlegen Sie sich, dass daraus die Version von Satz 2.78 folgt.) Die andere Implikation ist ein bisschen aufwändiger; vielleicht als Hausaufgabe.