2.8 Tensorprodukte

Sei $R$ ein Ring.

Definition 2.86

Gegeben seien $R$-Moduln $M$ und $N$. Ein $R$-Modul $T$ zusammen mit einer bilinearen Abbildung $\beta \colon M\times N \to T$ heißt Tensorprodukt von $M$ und $N$ über $R$, falls für jeden $R$-Modul $P$ und jede bilineare Abbildung $b \colon M\times N\to P$ genau ein $R$-Modulhomomorphismus $\psi \colon T \to P$ existiert, so dass $\psi \circ \beta = b$.

Satz 2.87

Seien $M$, $N$ Moduln über $R$. Dann existiert ein Tensorprodukt von $M$ und $N$ über $R$, und es ist eindeutig bestimmt bis auf eindeutigen Isomorphismus.

Beweis

Die Eindeutigkeit folgt in der üblichen Weise aus der universellen Eigenschaft. Für die Konstruktion betrachten wir den »riesigen« freien $R$-Modul $R^{(M\times N)}$, dessen Standardbasis durch die Elemente $e_{(m,n)}$, $(m,n)\in M\times N$, gegeben ist.

Die Idee der folgenden Konstruktion ist die folgende: Sei $M\times N\to R^{(M\times N)}$ die Abbildung $(m,n)\mapsto e_{(m,n)}$. (Diese Abbildung ist weder linear noch bilinear.) Sie hat aber die Eigenschaft, dass jede (bilineare) Abbildung $M\times N\to P$ in einen $R$-Modul $P$ über eine eindeutig bestimmte lineare Abbildung $R^{(M\times N)}\to P$ faktorisiert.

Wir werden zu einem Quotienten $R^{(M\times N)}/W$ von $R^{(M\times N)}$ übergehen, so dass die Abbildung $M\times N\to R^{(M\times N)}/W$, die wir durch Verkettung mit der kanonischen Projektion erhalten, bilinear ist, und zwar so, dass wir einen möglichst kleinen Untermodul herausteilen. Es folgt dann leicht, dass dieser Quotient und diese bilineare Abbildung die universelle Eigenschaft des Tensorprodukts erfüllen.

Sei $W\subseteq R^{(M\times N)}$ der Untermodul, der von allen Elementen der folgenden Form erzeugt wird:

\begin{align*} & e_{(m+m', n)} - (e_{(m,n)} + e_{(m', n)}),\\ & e_{(am, n)} - ae_{(m,n)},\\ & e_{(m, n+n')} - (e_{(m,n)} + e_{(m,n')}),\\ & e_{(m,an)} - ae_{(m,n)}, \end{align*}

wobei $m$, $n$ bzw. $a$ alle Elemente von $M$, $N$ bzw. $R$ durchlaufen. Sei $T$ der Quotient $(R^{(M\times N)})/W$. Dann ist die Abbildung $\beta \colon M\times N\to T$, die $(m,n)$ auf die Restklasse von $e_{(m,n)}$ abbildet, bilinear.

Sei nun $b\colon M\times N\to P$ irgendeine bilineare Abbildung. Dann faktorisiert die eindeutig bestimmte Abbildung $R^{(M\times N)}\to P$ mit $e_{(m,n)}\mapsto b(m,n)$ über einen Homomorphismus $\psi \colon T\to P$. Dieser bildet $\beta (m,n)$ ab auf $b(m,n)$, es gilt also $\psi \circ \beta = b$. Weil $T$ von den $\beta (m,n)$ erzeugt wird, ist klar, dass $\psi $ durch diese Eigenschaft eindeutig bestimmt ist. Also ist $T$ zusammen mit $\beta $ ein Tensorprodukt von $M$ und $N$ über $R$.

Wir bezeichnen das Tensorprodukt von $M$ und $N$ über $R$ mit $M\otimes _R N$, und das Bild von $(x,y)\in M\times N$ in $M\otimes _R N$ mit $x\otimes y$. Elemente der Form $x\otimes y$ nennen wir Elementartensoren. In der Regel ist nicht jedes Element von $M\otimes _RN$ ein Elementartensor! Nach Definition (d.h., weil $\beta $ bilinear ist) gelten für Elementartensoren die folgenden Rechenregeln:

\begin{align} & (ax+a’ x’)\otimes y = a(x\otimes y) + a’(x’\otimes y),\\ & x\otimes (ay+ay’) = a(x\otimes y) + a’(x\otimes y’), \end{align}

für $x,x'\in M$, $y,y'\in N$, $a,a'\in R$.

Beispiel 2.88

Ist $K$ ein Körper und sind $V$, $W$ endlich-dimensionale Vektorräume über $K$, so haben wir Identifikationen

\[ \operatorname{Hom}_K(V\otimes _KW, K) = \operatorname{Bil}(V\times W, K) = \operatorname{Hom}_K(V, W^\vee ), \]

also ist $V\otimes _KW = \operatorname{Hom}_K(V, W^\vee )^\vee $.

Speziell können wir $K^m\otimes _K K^n$ mit $\operatorname{M}_{m\times n}(K)$ identifizieren.

Bemerkung 2.89

Seien $R$ ein Ring und seien $M$, $N$ Moduln über $R$.

Jedes Element von $M\otimes _RN$ ist eine endliche Summe von Elementen der Form $x\otimes y$, $x\in M$, $y\in N$. (Das folgt unmittelbar aus unserer Konstruktion. Man kann es aber auch aus der universellen Eigenschaft folgern, vergleiche Lemma LA2.18.41.)
Seien $(x_i)_i$ ein Erzeugendensystem von $M$ und $(y_i)_i$ ein Erzeugendensystem von $N$. Dann ist $(x_i\otimes y_j)_{i, j}$ ein Erzeugendensystem von $M\otimes _RN$. Das folgt leicht aus den obigen Rechenregeln für Elementartensoren und dem vorherigen Punkt.
Wir haben kanonische Isomorphismen $R\otimes _RM \stackrel{\sim }{\smash {\longrightarrow }\rule{0pt}{0.4ex}}M$, $r\otimes m\mapsto rm$ und $M\otimes N\stackrel{\sim }{\smash {\longrightarrow }\rule{0pt}{0.4ex}}N\otimes M$, $m\otimes n\mapsto n\otimes m$.
Das Tensorprodukt ist »funktoriell« im folgenden Sinne: Sind $\varphi \colon M\to M'$ und $\psi \colon N\to N'$ Modulhomomorphismen, so erhalten wir einen $R$-Modul-Homomorphismus

\[ \varphi \otimes \psi \colon M\otimes _RN \to M'\otimes _RN',\quad m\otimes n\mapsto \varphi (m)\otimes \psi (n). \]

Diese Konstruktion ist verträglich mit der Verkettung von Abbildungen. Achtung: Selbst wenn $\varphi $ und $\psi $ injektiv sind, ist die Abbildung $\varphi \otimes \psi $ im allgemeinen nicht injektiv! Dieses Phänomen werden wir später (unter dem Stichwort Flachheit) noch ausführlicher untersuchen.

Satz 2.90

Seien $M$ und $N$ Moduln über $R$. Seien $x_i\in M$, $y_i\in N$, $i=1,\dots , n$, mit

\[ \sum _{i=1}^n x_i\otimes y_i = 0\quad \text{in}\ M\otimes _RN. \]

Dann existieren endlich erzeugte Untermoduln $M_0\subseteq M$, $N_0\subseteq N$, so dass $x_i\in M_0$, $y_i\in N_0$ für alle $i$ und so dass

\[ \sum _{i=1}^n x_i\otimes y_i = 0\quad \text{in}\ M_0\otimes _RN_0. \]

Beweis

Wir benutzen an dieser Stelle noch einmal die Konstruktion des Tensorprodukts. (Man kann den Satz auch aus der universellen Eigenschaft des Tensorprodukts herleiten, ohne die Konstruktion zu benutzen, aber mit unserem jetzigen Kenntnisstand wäre das etwas lästiger. »Später«, aber vielleicht nicht in dieser Vorlesung, folgt die Aussage daraus, dass Tensorprodukte mit Kolimiten vertauschen.)

Wir benutzen die Notation aus dem Beweis von Satz 2.87. Die Voraussetzung besagt, dass $\sum _{i=1}^n e_{(x_i, y_i)}$ in dem Untermodul $W$ von $R^{(M\times N)}$ liegt, also als endliche Linearkombination mit Koeffizienten in $R$ von Elementen des dort angegebenen Erzeugendensystems von $W$ ausgedrückt werden kann. In diesen endlich vielen Elementen kommen (in den Indizes) jeweils nur endlich viele Elemente von $M$ und von $N$ vor. Wir können dann für $M_0$ bzw. $N_0$ den Untermodul von $M$ bzw. $N$ wählen, der von den $x_i$ (bzw. $y_i$) und allen in der besagten Linearkombination auftretenden Elementen erzeugt wird. Genau dieselbe Linearkombination liegt dann auch in dem analog gebildeten Untermodul $W_0 \subseteq R^{(M_0\times N_0)}$, für den $R^{(M_0\times N_0)}/W_0$ ein Tensorprodukt von $M_0$ und $N_0$ bildet. Also liegt $\sum _{i=1}^n e_{(x_i, y_i)}$ in $W_0$.

Bemerkung 2.91

Analog zum obigen Fall kann man für multilineare (anstelle von bilinearen) Abbildungen vorgehen. Man erhält dann Tensorprodukte $M_1\otimes _RM_2\otimes \cdots \otimes _RM_n$. Man hat natürliche Identifikationen

\[ M\otimes _R N\otimes _R P = (M\otimes _R N)\otimes _R P = M\otimes _R (N\otimes _R P), \]

und entsprechend für mehr als 3 Faktoren. Den zweiten und dritten Term in dieser Kette kann man auch mit den Überlegungen der folgenden Bemerkung identifizieren.

Bemerkung 2.92

Seien $A$, $B$ Ringe, sei $M$ ein $A$-Modul, $P$ ein $B$-Modul, und sei $N$ ein $(A, B)$-Bimodul, d.h. es sei $N$ ein $A$-Modul und gleichzeitig ein $B$-Modul, so dass $(ax)b = a(xb)$ für alle $a\in A$, $b\in B$, $x\in N$. Wir schreiben hier die Skalarmultiplikation mit Elementen von $B$ als Multiplikation von rechts.

Dann ist $M\otimes _AN$ ein $B$-Modul (»von rechts«), und $N\otimes _BP$ ein $A$-Modul (»von links«), und

\[ (M\otimes _AN)\otimes _BP = M\otimes _A(N\otimes _BP), \quad (m\otimes n)\otimes p\mapsto m\otimes (n\otimes p), \]

ist ein Isomorphismus von $(A,B)$-Bimoduln, mit dem wir stets die beiden Seiten identifizieren.

Hat man erst einmal gezeigt, dass es eine Abbildung gibt, die auf Elementartensoren das oben Beschriebene tut, ist klar, dass es sich um einen Isomorphismus handelt (weil man die Umkehrabbildung ja dann »genauso« hinschreiben kann). Um die Existenz der Abbildung zu zeigen, fixieren wir zunächst $p\in P$ und betrachten die Abbildung

\[ M\otimes _AN \to M\otimes _A(N\otimes _BP),\quad m\otimes n\mapsto m\otimes (n\otimes p). \]

Dass es einen solchen $A$-Modulhomomorphismus gibt, folgt daraus, dass der Ausdruck $m\otimes (n\otimes p)$ bilinear in $m$ und in $n$ ist. Setzen wir diese Abbildungen für alle $p\in P$ zusammen, so bekommen wir eine Abbildung

\[ M\otimes _AN \times P \to M\otimes _A(N\otimes _BP),\quad (m\otimes n, p)\mapsto m\otimes (n\otimes p). \]

Diese ist, wie gerade gesehen, linear im ersten Faktor $M\otimes _AN$. Es ist außerdem direkt ersichtlich, dass sie auch linear im zweiten Faktor (also in $P$) ist. Aus der universellen Eigenschaft des Tensorprodukts folgt damit die Existenz einer $A$-linearen Abbildung der gewünschten Form. Man rechnet dann leicht nach, dass es sich sogar um einen Homomorphismus von $(A, B)$-Bimoduln handelt, also gleichzeitig auch um einen $B$-Modulhomomorphismus.

Satz 2.93

Seien $M$, $N$, $P$ Moduln über dem Ring $R$. Die natürliche Abbildung

\[ \operatorname{Hom}(M\otimes _R N, P) \to \operatorname{Hom}(M, \operatorname{Hom}(N, P)),\quad \varphi \mapsto (m\mapsto (n\mapsto \varphi (m\otimes n))), \]

ist ein Isomorphismus von $R$-Moduln.

Beweis

Die Umkehrabbildung ist gegeben durch

\[ \psi \mapsto (m\otimes n\mapsto \psi (m)(n)), \]

wobei wie üblich die Abbildung $M\otimes _R N\to P$ auf der rechten Seite nur auf den Elementartensoren angegeben ist. Weil der Ausdruck $\psi (m)(n)$ in $m$ und $n$ bilinear ist, erhalten wir eine eindeutig bestimmte solche Abbildung auf ganz $M\otimes _RN$. Man überprüft dann, dass die beiden Abbildungen invers zueinander sind.

Eine »formale« Folgerung aus diesem Satz ist, dass Tensorprodukt mit direkten Summen vertauscht:

Korollar 2.94

Seien $R$ ein Ring, $N$ ein $R$-Modul, und $M_i$, $i\in I$, eine Familie von $R$-Moduln. Dann ist die Abbildung

\[ \left(\bigoplus _{i\in I} M_i \right)\otimes _R N \longrightarrow \bigoplus _{i\in I} (M_i\otimes _R N),\qquad (m_i)_i\otimes n \mapsto (m_i\otimes n)_i, \]

ein Isomorphismus von $R$-Moduln.

Beweis

Man kann dies »per Hand nachrechnen«, indem man eine Umkehrabbildung angibt. Wir wollen das Ergebnis stattdessen, wie angekündigt, aus Satz 2.93 herleiten. Dafür genügt es zu zeigen, dass $\left(\bigoplus _{i\in I} M_i \right)\otimes _R N$ (zusammen mit den natürlichen Abbildungen $\iota _i\colon M_i\otimes N \to \left(\bigoplus _{i\in I} M_i \right)\otimes _R N$) die universelle Eigenschaft der direkten Summe erfüllt. Dazu ist zu zeigen, dass

\[ \operatorname{Hom}_R\left(\left(\bigoplus _{i\in I} M_i \right)\otimes _R N, P\right) = \prod _{i\in I}\operatorname{Hom}_R(M_i\otimes _N, P) \]

für jeden $R$-Modul $P$ gilt. (Genauer ist zu zeigen, dass die Abbildung von links nach rechts, $\varphi \mapsto (\varphi \circ \iota _i)_i$, eine Bijektion ist.)

Dies folgt aus der folgenden Kette von Identifikationen.

\begin{align*} \operatorname{Hom}_R\left(\left(\bigoplus _{i\in I} M_i \right)\otimes _R N, P\right) & = \operatorname{Hom}_R\left(\left(\bigoplus _{i\in I} M_i \right), \operatorname{Hom}_R(N, P)\right) \\ & = \prod _i \operatorname{Hom}(M_i, \operatorname{Hom}_R(N, P)) \\ & = \prod _i \operatorname{Hom}(M_i\otimes N, P), \end{align*}

wobei wir im ersten und letzten Schritt Satz 2.93, und im zweiten Schritt die universelle Eigenschaft der direkten Summe angewandt haben. Es ist nicht schwierig zu überprüfen, dass die Verkettung dieser Identifikationen tatsächlich der oben beschriebenen Abbildung entspricht.

Korollar 2.95

Sei $R$ ein Ring und seien $M$, $N$ freie Moduln über $R$. Dann ist auch das Tensorprodukt $M\otimes _R N$ ein freier $R$-Modul. Genauer gilt: Sind $(m_i)_{i\in I}$ und $(n_j)_{j\in J}$ Basen von $M$ bzw. $N$, dann ist die Familie $(m_i\otimes n_j)_{i\in I, j\in J}$ eine Basis von $M\otimes _R N$.

Beweis

Die Wahl von Basen entspricht der Wahl von Isomorphismen $M\cong R^{(I)}$ und $N\cong R^{(J)}$. Wegen der Funktorialität des Tensorprodukts und nach dem vorherigen Korollar gilt

\[ M\otimes _R N \cong R^{(I)}\otimes _R R^{(J)} = R^{(I\times J)}. \]

Wenn man diese Abbildung hinschreibt, sieht man, dass die Elemente $m_i\otimes n_j$ auf der linken Seite genau den Standard-Basisvektoren auf der rechten Seite entsprechen.

2.8.1 Basiswechsel

Sei $\varphi \colon A\to B$ ein Ringhomomorphismus und $M$ ein $A$-Modul. Dann wird der $A$-Modul $B\otimes _AM$ durch die (wohldefinierte!) Skalarmultiplikation

\[ B \times (B\otimes _AM) \to B\otimes _AM,\quad (b, b'\otimes m)\mapsto (bb')\otimes m \]

zu einem $B$-Modul. Wir sagen, der $B$-Modul $B\otimes _AM$ entstehe aus $M$ durch Basiswechsel mit $\varphi $ (oder entlang $\varphi $).

Der Basiswechsel hat die folgende universelle Eigenschaft: Für alle $B$-Moduln $N$ ist die Abbildung

\[ \operatorname{Hom}_B(B\otimes _A M, N) \to \operatorname{Hom}_A(M, N),\quad \xi \mapsto (m\mapsto \xi (m\otimes 1)), \]

bijektiv mit Umkehrabbildung $\psi \mapsto (b\otimes m\mapsto b\psi (m))$. (Hier wird auf der rechten Seite $N$ als $A$-Modul via $\varphi $ aufgefasst, also $a\cdot n := \varphi (a)n$, vgl. Bemerkung 2.98.)

Beispiel 2.96

Sei $R$ ein Ring, $S\subseteq R$ eine multiplikative Teilmenge, $\varphi \colon R\to S^{-1}$ der natürliche Homomorphismus und $M$ ein $R$-Modul. Dann ist

\[ S^{-1}R\otimes _RM \to S^{-1}M,\quad \frac xs \otimes m \mapsto \frac{xm}s \]

ein Isomorphismus von $S^{-1}R$-Moduln (mit Umkehrabbildung $\frac ms\mapsto \frac1s\otimes m$).
Sei $R$ ein Ring und $\mathfrak a$ ein Ideal. Sei $\varphi \colon R\to \left.R\middle /\mathfrak a\right.$ die kanonische Projektion. Dann ist

\[ \left.R\middle /\mathfrak a\right.\otimes _R M \to M/\mathfrak aM,\quad \overline{x} \otimes m \mapsto \overline{xm} \]

ein Isomorphismus von $\left.R\middle /\mathfrak a\right.$-Moduln (mit Umkehrabbildung $\overline{m}\mapsto 1\otimes m$). Dies folgt auch ohne explizite Rechnung daraus, dass der Quotient $M/\mathfrak a M$ die universelle Eigenschaft des Basiswechsels $\left.R\middle /\mathfrak a\right.\otimes _RM$ erfüllt.
Sei $R$ ein Ring und $\mathfrak p\in \operatorname{Spec}R$ ein Primideal. Sei $M$ ein $R$-Modul. Dann gilt

\[ M(\mathfrak p) = M\otimes _R \kappa (\mathfrak p). \]

Beispiel 2.97

Seien $R$ ein Ring und $\mathfrak p\in \operatorname{Spec}(R)$. Aus den obigen Rechenregeln folgt insbesondere

\[ (M\otimes _R N)_{\mathfrak p} = M_{\mathfrak p}\otimes _{R_{\mathfrak p}} N_{\mathfrak p} \]

und

\[ (M\otimes _R N)(\mathfrak p) = M(\mathfrak p)\otimes _{\kappa (\mathfrak p)} N(\mathfrak p). \]

Für die erste Identifikation rechnet man

\[ (M\otimes _R N)_{\mathfrak p} = (M\otimes _R N)\otimes _R R_{\mathfrak p} = M\otimes _R R_{\mathfrak p} \otimes _{R_{\mathfrak p}} (N\otimes _RR_{\mathfrak p}) = M_{\mathfrak p}\otimes _{R_{\mathfrak p}} N_{\mathfrak p}. \]

Bemerkung 2.98

Ist andererseits $\varphi \colon A\to B$ ein Ringhomomorphismus und $M$ ein $B$-Modul, so kann man $M$ als $A$-Modul auffassen durch die Skalarmultiplikation $a\cdot m:= \varphi (a) m$. Wir bezeichnen den so erhaltenen $A$-Modul in der Regel wieder mit $M$ (oder manchmal, wenn es besonders darauf ankommt, mit $M_{[\varphi ]}$).

2.8.2 Tensorprodukt von Algebren

Seien $R$ ein Ring und $A$, $B$ Algebren über $R$. Dann wird $A\otimes _R B$ mit der (wohldefinierten!) Multiplikation

\[ (a\otimes b)(a'\otimes b') := aa' \otimes bb' \]

zu einem Ring, und vermöge des Ringhomomorphismus $R\to A\otimes _RB$, $x\mapsto x\otimes 1 (= 1\otimes x)$ zu einer $R$-Algebra. Mit den Ringhomomorphismen $\alpha :A\to A\otimes _RB$, $a\mapsto a\otimes 1$ bzw. $\beta :B\to A\otimes _RB$, $b\mapsto 1\otimes b$ können wir $A\otimes _RB$ auch als $A$-Algebra bzw. als $B$-Algebra auffassen.

Satz 2.99 Universelle Eigenschaft des Tensorprodukts von Algebren

Seien $R$ ein Ring und seien $A$, $B$ Algebren über $R$.

Es existiert ein kommutatives Diagramm

$\begin{tikzcd} R \arrow{r}{\varphi} \arrow{d}[swap]{\psi} & A \arrow{d}{\alpha} \\ B \arrow{r}{\beta} & A \otimes_RB \end{tikzcd}$

von Ringhomomorphismen, und für jeden Ring $T$ zusammen mit Ringhomomorphismen $f: A\to T$, $g: B\to T$ mit $f\circ \varphi = g\circ \psi $ existiert ein eindeutig bestimmter Ringhomomorphismus $h:A\otimes _RB \to T$, so dass $f = h \circ \alpha $, $g = h\circ \beta $.

Mit den obigen Notationen ist $h(a\otimes b) = f(a)\cdot g(b)$.

Beweis

Jedenfalls muss $h(a\otimes b) = f(a)\cdot g(b)$ gelten, damit $f = h \circ \alpha $ und $g = h\circ \beta $ sein kann. Weil der Ausdruck $f(a)g(b)$ bilinear in $a$ und $b$ ist, existiert jedenfalls ein eindeutig bestimmter $R$-Modul-Homomorphismus $A\otimes _R B\to T$ mit $h(a\otimes b) = f(a)\cdot g(b)$ für alle $a\in A$, $b\in B$. Dass $f = h \circ \alpha $ und $g = h\circ \beta $ gilt, ist auf Elementartensoren klar nach Definition, und folgt dann allgemein, weil sich jedes Element als Summe von Elementartensoren schreiben lässt. Schließlich zeigt man, dass $h$ ein Ringhomomorphismus ist; wieder genügt es (warum?) für die Multiplikativität zu überprüfen, dass sich $h$ multiplikativ auf Elementartensoren verhält, und das ist offensichtlich.

Bemerkung 2.100 Umformulierung der universellen Eigenschaft

Seien $R$-Algebren $A$ und $B$ gegeben. Dann sind die Abbildungen $\alpha \colon A\to A\otimes _RB$, $a\mapsto a\otimes 1$, und $\beta \colon B\to A\otimes _RB$, $b\mapsto 1\otimes b$, Homomorphismen von $R$-Algebren.

Für jede $R$-Algebra $C$ und $R$-Algebren-Homomorphismen $f\colon A\to C$, $g\colon B\to C$ existiert ein eindeutig bestimmter Homomorphismus $h\colon A\otimes _RB\to C$ von $R$-Algebren, so dass $h\circ \alpha = f$, $h\circ \beta = g$.

Mit anderen Worten: Das Tensorprodukt $A\otimes _RB$ (zusammen mit den Abbildungen $\alpha $ $\beta $) erfüllt die universelle Eigenschaft des Koprodukts in der Kategorie der $R$-Algebren, siehe Definition 3.3.

Bemerkung 2.101

In dieser Bemerkung sind die Gleichheitszeichen so zu verstehen, dass behauptet wird, dass die natürliche Abbildung zwischen den beiden Seiten ein Isomorphismus ist.

Ist $B$ eine $A$-Algebra und ist $\mathfrak a\subseteq A$ ein Ideal, so gilt $(A/\mathfrak a) \otimes _AB = B/\mathfrak aB$.
Ist $B$ eine $A$-Algebra und ist $S\subseteq A$ eine multiplikative Teilmenge, so gilt $S^{-1}A\otimes _AB = S^{-1}B$.
Ist $B$ eine $A$-Algebra, so gilt $A[X]\otimes _AB = B[X]$.

Kommutative Algebra, SS 2023

Inhalt

2.8 Tensorprodukte

2.8.1 Basiswechsel

2.8.2 Tensorprodukt von Algebren