Kurs:Kommutative Algebra/Teil I/Vorlesung 18

Annullatoren

Wenn ein Torsionselement ${}x$ gegeben ist, so ist für alle ${}r\in R$ auch ${}rx$ ein Torsionselement, wegen der Assoziativität der Skalarmultiplikation. Auch die Summe von Torsionselementen ist wieder ein Torsionselement, da das Produkt jener Ringelemente, die die jeweiligen Summanden annullieren, die Summe annulliert. Deshalb verwendet man folgende Bezeichnung.

Definition

Es sei ${}R$ ein kommutativer Ring und ${}M$ ein ${}R$ - Modul. Die Menge aller Torsionselemente von ${}M$ bildet den Torsionsuntermodul von ${}M$ .

Definition

Ein Modul, der nur aus Torsionselementen besteht heißt Torsionsmodul.

Definition

Ein Modul, der außer ${}0$ keine Torsionselemente enthält, heißt torsionsfrei.

Über einem Integritätsbereich ist daher trivialerweise jeder torsionsfreie Modul treu. Die Umkehrung gilt jedoch nicht.

Produkt von Ideal und Untermodul

Definition

Es sei ${}R$ ein kommutativer Ring und ${}{\mathfrak {a}}\subseteq R$ ein Ideal. Zu einem Untermodul ${}U\subseteq V$ eines ${}R$ - Moduls ${}V$ bezeichnet man mit ${}{\mathfrak {a}}U$ den von allen Produkten

fv{\text{ mit }}f\in {\mathfrak {a}}{\text{ und }}v\in U

erzeugten Untermodul.

Lemma

Es sei ${}R$ ein kommutativer Ring, ${}M$ ein ${}R$ - Modul und ${}I\subseteq R$ ein Ideal mit ${}IM=0$ .

Dann ist ${}M$ in natürlicher Weise ein ${}R/I$ -Modul.

Beweis

Siehe Aufgabe 15.2.

\Box

Freie Moduln

Definition

Es sei ${}R$ ein kommutativer Ring und ${}M$ ein ${}R$ - Modul. ${}M$ heißt frei (über ${}R$ ), wenn er eine ${}R$ - Basis besitzt.

Bemerkung

Es sei ${}R=\mathbb {Z}$ und ${}n\in \mathbb {N}$ . Dann ist ${}M=\mathbb {Z} /(n)$ ein ${}\mathbb {Z}$ - Modul und wird von der ${}1\in M$

erzeugt. Allerdings gilt ${}n\cdot 1=0$ , die Familie ${}(1)$ ist also bei ${}n\neq 0,1$ nicht linear unabhängig und keine Basis. Da auch für jeden anderen Erzeuger ${}\xi \in M$ gilt, dass ${}n\cdot \xi =0$ ist, ist ${}M$ als ${}\mathbb {Z}$ -Modul nicht frei. Wenn man ${}M$ als kommutativen Ring auffasst, so ist ${}M$ als Modul über sich selbst frei. Bei ${}n=p$ mit einer Primzahl ${}p$ liegt ein ${}\mathbb {Z} /(p)$ - Vektorraum vor.

Definition

Es sei ${}R$ ein vom Nullring verschiedener kommutativer Ring und ${}M$ ein freier ${}R$ -Modul. Man nennt dann die Kardinalität einer Basis von M den Rang von ${}M$ .

Lemma

Ein Ideal ${}{\mathfrak {a}}\subseteq R$ in einem kommutativen Ring ${}R$

ist genau dann frei, wenn es das Nullideal oder ein von einem Nichtnullteiler erzeugtes Hauptideal ist.

Beweis

Wenn ${}{\mathfrak {a}}\neq 0$ frei ist, so folgt aus Lemma 16.5 (2), dass es ein Hauptideal sein muss, und aus Lemma 16.5 (1), dass der Erzeuger ein Nichtnullteiler sein muss. Daraus folgt auch die Umkehrung.

\Box

Lemma

Es sei ${}M_{i}$ , ${}i\in I$ , eine Familie von freien ${}R$ - Moduln über einem kommutativen Ring ${}R$ .

Dann ist auch die direkte Summe ${}\bigoplus _{i\in I}M_{i}$ frei.

Beweis

Dies folgt aus Lemma 15.23 und aus Lemma 16.7.

\Box

Beispiel

Es sei ${}R$ ein kommutativer Ring. Das Produkt ${}R^{n}$ ist ein endlicher, freier Modul mit Rang ${}n$ . Er besteht aus den ${}n$ -Tupeln von Elementen aus ${}R$ :

(r_{1},\ldots ,r_{n}).

Addition und Skalarmultiplikation werden komponentenweise definiert, es ist also

{}(a_{1},\ldots ,a_{n})+(b_{1},\ldots ,b_{n})=(a_{1}+b_{1},\ldots ,a_{n}+b_{n})\,

und

{}s(a_{1},\ldots ,a_{n})=(sa_{1},\ldots ,sa_{n})\,.

Eine Basis

von

{}R^{n}

bilden die Elemente

e_{1},\ldots ,e_{n},

wobei

{}e_{i}=(0,\ldots ,0,1,0,\ldots ,0

) so definiert ist, dass an der

{}i

-ten Stelle des Tupels eine

{}1

steht und alle anderen Koordinaten

{}0

sind.

Den folgenden Satz nennt man die Wohldefiniertheit des Ranges eines freien Moduls.

Satz

Es sei ${}R\neq 0$ ein kommutativer Ring und ${}M$ ein endlich erzeugter freier ${}R$ - Modul.

Dann gilt für zwei ${}R$ - Basen ${}{\mathfrak {v}}=v_{1},\ldots ,v_{n}$ und ${}{\mathfrak {w}}=w_{1},\ldots ,w_{m}$ von ${}M$ , dass ${}n=m$ ist.

Beweis

Da ${}R$ ein kommutativer Ring ${}\neq 0$ ist, gibt es nach Lemma 10.3 ein maximales Ideal ${}{\mathfrak {a}}$ in ${}R$ . Dementsprechend ist der Restklassenring ${}R/{\mathfrak {a}}$ nach Lemma 10.2 ein Körper. Der Untermodul ${}M/{\mathfrak {a}}M$ wird dann zu einem ${}R/{\mathfrak {a}}$ -Vektorraum.

${}M$ hat als ${}R$ -Modul die Basis ${}{\mathfrak {v}}$ , also ${}M=\bigoplus _{v\in {\mathfrak {v}}}Rv$ . Dementsprechend ist ${}{\mathfrak {a}}M=\bigoplus _{v\in {\mathfrak {v}}}{\mathfrak {a}}v$ .

Hieraus folgt die Isomorphie

{}{\begin{aligned}M/{\mathfrak {a}}M&={\left(\bigoplus _{v\in {\mathfrak {v}}}Rv\right)/\left(\bigoplus _{v\in {\mathfrak {v}}}{\mathfrak {a}}v\right)}\\&\cong \bigoplus _{v\in {\mathfrak {v}}}{\left(Rv\right)}/{\left({\mathfrak {a}}v\right)}\\&\cong \bigoplus _{v\in {\mathfrak {v}}}R/{\mathfrak {a}}\end{aligned}}

Somit hat ${}M/{\mathfrak {a}}M$ als ${}R/{\mathfrak {a}}$ -Vektorraum eine Basis der Mächtigkeit von ${}{\mathfrak {v}}$ .

Da wir für Vektorräume nach Satz 17.4 wissen, dass je zwei Basen die gleiche Kardinalität haben, folgt die Aussage.

\Box

Definition

Es sei ${}R$ ein Ring und ${}M$ ein freier ${}R$ - Modul. Man sagt, dass ${}M$ den Rang ${}r$ besitzt, wenn alle Basen von ${}M$ die gleiche Kardinalität ${}r$ besitzen.

Basiswechsel

Wir wissen nach Satz 18.15, dass in einem endlich erzeugten freien ${}R$ - Modul je zwei Basen die gleiche Länge haben, also die gleiche Anzahl von Basisvektoren besitzen. Jeder Vektor ${}v\in M$ besitzt bezüglich einer jeden Basis eindeutig bestimmte Koordinaten (oder Koeffizienten). Wie verhalten sich diese Koordinaten zu zwei Basen untereinander? Dies beantwortet die folgende Aussage.

Lemma

Es sei ${}R$ ein kommutativer Ring und ${}M$ ein endlich erzeugter freier

${}R$ - Modul vom Rang ${}n$ . Es seien ${}{\mathfrak {v}}=v_{1},\ldots ,v_{n}$ und ${}{\mathfrak {w}}=w_{1},\ldots ,w_{n}$ zwei Basen von ${}M$ . Es sei

{}v_{j}=\sum _{i=1}^{n}c_{ij}w_{i}\,

mit den Koeffizienten ${}c_{ij}\in R$ , die wir zur ${}n\times n$ - Matrix

{}M_{\mathfrak {w}}^{\mathfrak {v}}={\left(c_{ij}\right)}_{ij}\,

zusammenfassen.

Dann hat ein Vektor ${}u$ , der bezüglich der Basis ${}{\mathfrak {v}}$ die Koordinaten ${}{\begin{pmatrix}s_{1}\\\vdots \\s_{n}\end{pmatrix}}$ besitzt, bezüglich der Basis ${}{\mathfrak {w}}$ die Koordinaten

${}{\begin{pmatrix}t_{1}\\\vdots \\t_{n}\end{pmatrix}}=M_{\mathfrak {w}}^{\mathfrak {v}}{\begin{pmatrix}s_{1}\\\vdots \\s_{n}\end{pmatrix}}={\begin{pmatrix}c_{11}&c_{12}&\ldots &c_{1n}\\c_{21}&c_{22}&\ldots &c_{2n}\\\vdots &\vdots &\ddots &\vdots \\c_{n1}&c_{n2}&\ldots &c_{nn}\end{pmatrix}}{\begin{pmatrix}s_{1}\\\vdots \\s_{n}\end{pmatrix}}\,.$

Beweis

Dies folgt direkt aus

{}u=\sum _{j=1}^{n}s_{j}v_{j}=\sum _{j=1}^{n}s_{j}{\left(\sum _{i=1}^{n}c_{ij}w_{i}\right)}=\sum _{i=1}^{n}{\left(\sum _{j=1}^{n}s_{j}c_{ij}\right)}w_{i}\,

und der Definition der Matrizenmultiplikation.

\Box

Wenn wir die zu einer Basis ${}{\mathfrak {v}}$ gehörende bijektive Abbildung (siehe Bemerkung 16.13)

\Psi _{\mathfrak {v}}\colon R^{n}\longrightarrow M

betrachten, so kann man die vorstehende Aussage auch so ausdrücken, dass das Dreieck

{\begin{matrix}R^{n}&{\stackrel {M_{\mathfrak {w}}^{\mathfrak {v}}}{\longrightarrow }}&R^{n}&\\&\!\!\!\!\!\Psi _{\mathfrak {v}}\searrow &\downarrow \Psi _{\mathfrak {w}}\!\!\!\!\!&\\&&M&\!\!\!\!\!\!\!\!\\\end{matrix}}

kommutiert.^[1]

Definition

Es sei ${}R$ ein kommutativer Ring und ${}M$ ein endlich erzeugter freier

${}R$ - Modul vom Rang ${}n$ . Es seien ${}{\mathfrak {v}}=v_{1},\ldots ,v_{n}$ und ${}{\mathfrak {w}}=w_{1},\ldots ,w_{n}$ zwei Basen von ${}V$ . Es sei

{}v_{j}=\sum _{i=1}^{n}c_{ij}w_{i}\,

mit den Koeffizienten ${}c_{ij}\in R$ . Dann nennt man die ${}n\times n$ - Matrix

{}M_{\mathfrak {w}}^{\mathfrak {v}}=(c_{ij})_{ij}\,

die Übergangsmatrix zum Basiswechsel von ${}{\mathfrak {v}}$ nach ${}{\mathfrak {w}}$ .

Statt Übergangsmatrix sagt man auch Transformationsmatrix oder Basiswechselmatrix.

Bemerkung

Es sei ${}V$ ein endlich erzeugter freier Modul. In der ${}j$ -ten Spalte der Transformationsmatrix ${}M_{\mathfrak {w}}^{\mathfrak {v}}$ stehen die Koordinaten von ${}v_{j}$ bezüglich der Basis ${}{\mathfrak {w}}$ . Der Vektor ${}v_{j}$ hat bezüglich der Basis ${}{\mathfrak {v}}$ die Koordinaten ${}e_{j}$ , und wenn man die Matrix auf ${}e_{j}$ anwendet, erhält man die ${}j$ -te Spalte der Matrix, und diese ist eben das Koordinatentupel von ${}v_{j}$ in der Basis ${}{\mathfrak {w}}$ . Bei einem eindimensionalen Raum mit

{}v=cw\,

ist ${}M_{\mathfrak {w}}^{\mathfrak {v}}=c={\frac {v}{w}}$ , wobei der Bruch in der Tat wohldefiniert ist und wodurch man sich die Reihenfolge der Basen in dieser Schreibweise merken kann. Eine weitere Beziehung ist

{}{\mathfrak {v}}={{\left(M_{\mathfrak {w}}^{\mathfrak {v}}\right)}^{\text{tr}}}{\mathfrak {w}}\,,

wobei hier die Matrix aber nicht auf ein ${}n$ -Tupel aus ${}R$ , sondern auf ein ${}n$ -Tupel aus ${}V$ angewendet wird und sich ein neues ${}n$ -Tupel aus ${}V$ ergibt. Dies könnte man als Argument dafür ansehen, die Übergangsmatrix direkt als ihre Transponierte anzusetzen, doch betrachtet man das in Lemma 18.17 beschriebene Transformationsverhalten als ausschlaggebend.

Wenn

{}V=R^{n}\,

und ${}{\mathfrak {e}}$ die Standardbasis davon ist und ${}{\mathfrak {v}}$ eine weitere Basis, so erhält man die Übergangsmatrix ${}M_{\mathfrak {v}}^{\mathfrak {e}}$ von ${}{\mathfrak {e}}$ nach ${}{\mathfrak {v}}$ , indem man ${}e_{j}$ als Linearkombination der Basisvektoren ${}v_{1},\ldots ,v_{n}$ ausdrückt und die entsprechenden Tupel als Spalten nimmt. Dagegen besteht ${}M_{\mathfrak {e}}^{\mathfrak {v}}$ einfach aus den ${}v_{1},\ldots ,v_{n}$ als Spalten geschrieben.

Beispiel

Wir betrachten im ${}\mathbb {R} ^{2}$ die Standardbasis

{}{\mathfrak {u}}={\begin{pmatrix}1\\0\end{pmatrix}},\,{\begin{pmatrix}0\\1\end{pmatrix}}\,

und die Basis

{}{\mathfrak {v}}={\begin{pmatrix}1\\2\end{pmatrix}},\,{\begin{pmatrix}-2\\3\end{pmatrix}}\,.

Die Basisvektoren von ${}{\mathfrak {v}}$ lassen sich direkt mit der Standardbasis ausdrücken, nämlich

v_{1}={\begin{pmatrix}1\\2\end{pmatrix}}=1{\begin{pmatrix}1\\0\end{pmatrix}}+2{\begin{pmatrix}0\\1\end{pmatrix}}\,\,{\text{  und }}\,\,v_{2}={\begin{pmatrix}-2\\3\end{pmatrix}}=-2{\begin{pmatrix}1\\0\end{pmatrix}}+3{\begin{pmatrix}0\\1\end{pmatrix}}.

Daher erhält man sofort

{}M_{\mathfrak {u}}^{\mathfrak {v}}={\begin{pmatrix}1&-2\\2&3\end{pmatrix}}\,.

Zum Beispiel hat der Vektor, der bezüglich ${}{\mathfrak {v}}$ die Koordinaten ${}(4,-3)$ besitzt, bezüglich der Standardbasis ${}{\mathfrak {u}}$ die Koordinaten

{}M_{\mathfrak {u}}^{\mathfrak {v}}{\begin{pmatrix}4\\-3\end{pmatrix}}={\begin{pmatrix}1&-2\\2&3\end{pmatrix}}{\begin{pmatrix}4\\-3\end{pmatrix}}={\begin{pmatrix}10\\-1\end{pmatrix}}\,.

Die Übergangsmatrix ${}M_{\mathfrak {v}}^{\mathfrak {u}}$ ist schwieriger zu bestimmen: Dazu müssen wir die Standardvektoren als Linearkombinationen von ${}v_{1}$ und ${}v_{2}$ ausdrücken. Eine direkte Rechnung (dahinter steckt das simultane Lösen von zwei linearen Gleichungssystemen) ergibt

{}{\begin{pmatrix}1\\0\end{pmatrix}}={\frac {3}{7}}{\begin{pmatrix}1\\2\end{pmatrix}}-{\frac {2}{7}}{\begin{pmatrix}-2\\3\end{pmatrix}}\,

und

{}{\begin{pmatrix}0\\1\end{pmatrix}}={\frac {2}{7}}{\begin{pmatrix}1\\2\end{pmatrix}}+{\frac {1}{7}}{\begin{pmatrix}-2\\3\end{pmatrix}}\,.

Somit ist

{}M_{\mathfrak {v}}^{\mathfrak {u}}={\begin{pmatrix}{\frac {3}{7}}&{\frac {2}{7}}\\-{\frac {2}{7}}&{\frac {1}{7}}\end{pmatrix}}\,.

Lemma

Es sei ${}R$ ein kommutativer Ring und ${}M$ ein endlich erzeugter freier

${}R$ - Modul vom Rang ${}n$ . Es seien ${}{\mathfrak {u}}=u_{1},\ldots ,u_{n},\,{\mathfrak {v}}=v_{1},\ldots ,v_{n}$ und ${}{\mathfrak {w}}=w_{1},\ldots ,w_{n}$ Basen von ${}M$ .

Dann stehen die Übergangsmatrizen zueinander in der Beziehung

${}M_{\mathfrak {w}}^{\mathfrak {u}}=M_{\mathfrak {w}}^{\mathfrak {v}}\circ M_{\mathfrak {v}}^{\mathfrak {u}}\,.$

Insbesondere ist

{}M_{\mathfrak {v}}^{\mathfrak {u}}\circ M_{\mathfrak {u}}^{\mathfrak {v}}=E_{n}\,.

Beweis

Siehe Aufgabe 18.3.

\Box

Freie Algebren

Eine ${}R$ -Algebra heißt frei, wenn sie als ${}R$ -Modul frei ist.

Lemma

Es sei ${}R$ ein kommutativer Ring und es sei ${}P=\sum _{i=0}^{n}r_{i}X^{i}\in R[X]$ ein normiertes Polynom vom Grad ${}n$ und ${}A=R[X]/(P)$ der zugehörige Restklassenring. Dann gelten folgende Rechenregeln (wir bezeichnen die Restklasse von ${}X$ in ${}A$ mit ${}x$ ).

In ${}A$ ist ${}x^{n}=-\sum _{i=0}^{n-1}r_{i}x^{i}$ .

Höhere Potenzen ${}x^{k}$ , ${}k\geq n$ , kann man mit den Potenzen ${}x^{i}$ , ${}i\leq n-1$ , ausdrücken, indem man mittels Vielfachen von (2) sukzessive den Grad um eins reduziert.

Die Potenzen ${}x^{0}=1,\,x^{1}$ ${},\ldots ,x^{n-1}$ bilden eine ${}R$ - Basis von ${}A$ .

${}A$ ist eine freier ${}R$ - Modul vom Rang ${}n$ .

In ${}A$ werden zwei Elemente ${}P=\sum _{i=0}^{n-1}b_{i}x^{i}$ und ${}Q=\sum _{i=0}^{n-1}c_{i}x^{i}$ komponentenweise addiert, und multipliziert, indem sie als Polynome multipliziert werden und dann die Restklasse berechnet wird.

Beweis

Dies folgt direkt durch Umstellung der definierenden Gleichung ${}P=0$ .
Dies folgt durch Multiplikation der Gleichung in (1) mit Potenzen von ${}x$ .
Dass die Potenzen ${}x^{i}$ , ${}i=0,\ldots ,n-1$ , ein Erzeugendensystem bilden, folgt aus Teil (1) und (2). Zum Beweis der linearen Unabhängigkeit sei angenommen, es gebe eine lineare Abhängigkeit, sagen wir ${}\sum _{i=0}^{n-1}c_{i}x^{i}=0$ . D.h., dass das Polynom ${}Q=\sum _{i=0}^{n-1}c_{i}X^{i}$ unter der Restklassenabbildung auf ${}0$ geht, also zum Kern gehört. Dann muss es aber ein Vielfaches von ${}P$ sein, was aber aus Gradgründen und wegen der Normiertheit von ${}P$ erzwingt, dass ${}Q$ das Nullpolynom sein muss. Also sind alle ${}c_{i}=0$ .
Dies folgt direkt aus (3).
Dies ist klar.

\Box

Bemerkung

Die Ergebnisse von Lemma 18.22 gelten auch dann, wenn der Leitkoeffizient von ${}P$ eine Einheit in ${}R$ ist, da man dann das Polynom durch diesen dividieren kann, ohne das Ideal und den Restklassenring zu ändern. Dies findet insbesondere Anwendung, wenn ${}R$ ein Körper ist. Wenn der Leitkoeffizient keine Einheit ist, so ist die Restklassenalgebra nicht frei; einfache Beispiele sind ${}\mathbb {Z} [X]/(2X)$ oder ${}K[X,Y]/(XY)$ .

Satz

Es seien ${}R\subseteq S$ und ${}S\subseteq T$ endliche freie Algebren.

Dann ist auch ${}R\subseteq T$ eine freie endliche Ringerweiterung und es gilt

${}\operatorname {Rang} _{R}T=\operatorname {Rang} _{R}S\cdot \operatorname {Rang} _{S}T\,.$

Beweis

Wir setzen ${}\operatorname {Rang} _{R}S=n$ und ${}\operatorname {Rang} _{S}T=m$ . Es sei ${}x_{1},\ldots ,x_{n}\in S$ eine ${}R$ - Basis von ${}S$ und ${}y_{1},\ldots ,y_{m}\in T$ eine ${}S$ -Basis von ${}T$ . Wir behaupten, dass die Produkte

x_{i}y_{j},1\leq i\leq n,1\leq j\leq m,

eine ${}R$ -Basis von ${}T$ bilden. Wir zeigen zuerst, dass diese Produkte den Vektorraum ${}T$ über ${}R$ erzeugen. Es sei dazu ${}z\in T$ . Wir schreiben

z=b_{1}y_{1}+\cdots +b_{m}y_{m}{\text{ mit Koeffizienten }}b_{j}\in S.

Wir können jedes ${}b_{j}$ als ${}b_{j}=a_{1j}x_{1}+\cdots +a_{nj}x_{n}$ mit Koeffizienten ${}a_{ij}\in R$ ausdrücken. Das ergibt

{}{\begin{aligned}z&=b_{1}y_{1}+\cdots +b_{m}y_{m}\\&=(a_{11}x_{1}+\cdots +a_{n1}x_{n})y_{1}+\cdots +(a_{1m}x_{1}+\cdots +a_{nm}x_{n})y_{m}\\&=\sum _{1\leq i\leq n,\,1\leq j\leq m}a_{ij}x_{i}y_{j}.\end{aligned}}

Daher ist ${}z$ eine ${}R$ -Linearkombination der Produkte ${}x_{i}y_{j}$ .
Um zu zeigen, dass diese Produkte linear unabhängig sind, sei

{}0=\sum _{1\leq i\leq n,\,1\leq j\leq m}c_{ij}x_{i}y_{j}\,

mit ${}c_{ij}\in R$ angenommen. Wir schreiben dies als ${}0=\sum _{j=1}^{m}{\left(\sum _{i=1}^{n}c_{ij}x_{i}\right)}y_{j}$ . Da die ${}y_{j}$ linear unabhängig über ${}S$ sind und die Koeffizienten der ${}y_{j}$ zu ${}S$ gehören, folgt, dass ${}\sum _{i=1}^{n}c_{ij}x_{i}=0$ ist für jedes ${}j$ . Da die ${}x_{i}$ linear unabhängig über ${}R$ sind und ${}c_{ij}\in R$ ist, folgt, dass ${}c_{ij}=0$ für alle ${}i,j$ ist.

\Box

Korollar

Es seien ${}K\subseteq L$ und ${}L\subseteq M$ endliche Körpererweiterungen.

Dann ist auch ${}K\subseteq M$ eine endliche Körpererweiterung und es gilt

${}\operatorname {grad} _{K}M=\operatorname {grad} _{K}L\cdot \operatorname {grad} _{L}M\,.$

Beweis

Dies ist ein Spezialfall von Satz 18.24.

\Box

Fußnoten

↑ Die Kommutativität eines solchen Pfeil- bzw. Abbildungsdiagramms besagt einfach, dass die zusammengesetzten Abbildungen übereinstimmen, wenn ihre Definitionsmengen und ihre Wertemengen übereinstimmen. In diesem Fall heißt es einfach nur ${}\Psi _{\mathfrak {v}}=\Psi _{\mathfrak {w}}\circ M_{\mathfrak {w}}^{\mathfrak {v}}$ .

<< | Kurs:Kommutative Algebra/Teil I | >>

PDF-Version dieser Vorlesung

Arbeitsblatt zur Vorlesung (PDF)

[1] Die Kommutativität eines solchen Pfeil- bzw. Abbildungsdiagramms besagt einfach, dass die zusammengesetzten Abbildungen übereinstimmen, wenn ihre Definitionsmengen und ihre Wertemengen übereinstimmen. In diesem Fall heißt es einfach nur ${}\Psi _{\mathfrak {v}}=\Psi _{\mathfrak {w}}\circ M_{\mathfrak {w}}^{\mathfrak {v}}$ .

[1]