Kurs:Kommutative Algebra/Teil II/Vorlesung 31

Tensorprodukt

Definition

Es sei ${}R$ ein kommutativer Ring und ${}V_{1},\ldots ,V_{n},W$ seien ${}R$- Moduln. Es sei ${}F$ der von sämtlichen Symbolen ${}v_{1}\otimes v_{2}\otimes \cdots \otimes v_{n}$ (mit ${}v_{i}\in V_{i}$) erzeugte freie ${}R$- Modul. Es sei ${}U\subseteq F$ der von allen Elementen der Form

1. ${}r{\left(v_{1}\otimes \cdots \otimes v_{i-1}\otimes v_{i}\otimes v_{i+1}\otimes \cdots \otimes v_{n}\right)}-v_{1}\otimes \cdots \otimes v_{i-1}\otimes rv_{i}\otimes v_{i+1}\otimes \cdots \otimes v_{n}$,
2. ${}v_{1}\otimes \cdots \otimes v_{i-1}\otimes (u+w)\otimes v_{i+1}\otimes \cdots \otimes v_{n}-v_{1}\otimes \cdots \otimes v_{i-1}\otimes u\otimes v_{i+1}\otimes \cdots \otimes v_{n}-v_{1}\otimes \cdots \otimes v_{i-1}\otimes w\otimes v_{i+1}\otimes \cdots \otimes v_{n}$,

erzeugte ${}R$- Untermodul. Dann nennt man den Restklassenmodul ${}F/U$ das Tensorprodukt der ${}V_{i}$, ${}i\in {\{1,\ldots ,n\}}$. Es wird mit

$V_{1}\otimes _{R}V_{2}\otimes _{R}\cdots \otimes _{R}V_{n}$

bezeichnet.

Die Bilder von ${}(v_{1},\ldots ,v_{n})$ in ${}V_{1}\otimes _{R}V_{2}\otimes _{R}\cdots \otimes _{R}V_{n}$ bezeichnet man wieder mit ${}v_{1}\otimes \cdots \otimes v_{n}$. Jedes Element aus ${}V_{1}\otimes _{R}\cdots \otimes _{R}V_{n}$ besitzt eine (nicht eindeutige)

Darstellung als

$a_{1}v_{1,1}\otimes \cdots \otimes v_{1,n}+\cdots +a_{m}v_{m,1}\otimes \cdots \otimes v_{m,n}$

(mit ${}a_{i}\in R$ und ${}v_{i,j}\in V_{j}$). Insbesondere bilden die (zerlegbaren Tensoren) ${}v_{1}\otimes _{}\cdots \otimes _{}v_{n}$ ein ${}R$- Modulerzeugendensystem des Tensorprodukts. Die definierenden Erzeuger des Untermoduls werden zu Gleichungen im Tensorprodukt, sie drücken die Multilinearität aus. Insbesondere gilt

$v_{1}\otimes _{}\cdots \otimes _{}v_{i-1}\otimes rv_{i}\otimes v_{i+1}\otimes _{}\cdots \otimes _{}v_{n}=v_{1}\otimes _{}\cdots \otimes _{}v_{j-1}\otimes rv_{j}\otimes v_{j+1}\otimes _{}\cdots \otimes _{}v_{n}\,$

für beliebige ${}i,j$.

Wichtiger als die Konstruktion des Tensorprodukts ist die folgende universelle Eigenschaft.

Lemma

Es sei ${}R$ ein kommutativer Ring und ${}V_{1},\ldots ,V_{n}$ seien ${}R$- Moduln.

1. Die Abbildung

   $\pi \colon V_{1}\times \cdots \times V_{n}\longrightarrow V_{1}\otimes _{R}\cdots \otimes _{R}V_{n},\,{\left(v_{1},\ldots ,v_{n}\right)}\longmapsto v_{1}\otimes \cdots \otimes v_{n},$

   ist ${}R$- multilinear.

2. Es sei ${}W$ ein weiterer ${}R$- Modul und

   $\psi \colon V_{1}\times \cdots \times V_{n}\longrightarrow W$

   eine multilineare Abbildung. Dann gibt es eine eindeutig bestimmte ${}R$- lineare Abbildung

   ${\bar {\psi }}\colon V_{1}\otimes _{R}\cdots \otimes _{R}V_{n}\longrightarrow W$

   mit ${}\psi ={\bar {\psi }}\circ \pi$.

Beweis

(1) folgt unmittelbar aus der Definition des Tensorprodukts. (2). Da die ${}v_{1}\otimes _{}\cdots \otimes _{}v_{n}$ ein ${}R$- Modulerzeugendensystem von ${}V_{1}\otimes _{R}\cdots \otimes _{R}V_{n}$ sind und

${}{\bar {\psi }}(v_{1}\otimes _{}\cdots \otimes _{}v_{n})=\psi (v_{1},\ldots ,v_{n})\,$

gelten muss, kann es maximal eine solche lineare Abbildung geben. Zur Existenz betrachten wir den freien Modul ${}F$ aus der Konstruktion des Tensorprodukts. Die Symbole ${}v_{1}\otimes _{}\cdots \otimes _{}v_{n}$ bilden eine Basis von ${}F$, daher legt die Vorschrift ${}\varphi {\left(v_{1}\otimes _{}\cdots \otimes _{}v_{n}\right)}:=\psi (v_{1},\ldots ,v_{n})$ eine lineare Abbildung

$F\longrightarrow W$

fest. Wegen der Multilinearität von ${}\psi$ wird der Untermodul ${}U$ auf ${}0$ abgebildet. Daher induziert diese Abbildung nach dem Faktorisierungssatz einen ${}R$- Modulhomomorphismus

$F/U\cong V_{1}\otimes _{R}\cdots \otimes _{R}V_{n}\longrightarrow W.$

$\Box$

Das Tensorprodukt ist durch diese universelle Eigenschaft bis auf (eindeutige) Isomorphie festgelegt. Wenn es also einen ${}R$-Modul ${}T$ zusammen mit einer multilinearen Abbildung ${}V_{1}\times \cdots \times V_{n}\rightarrow T$ derart gibt, dass jede multilineare Abbildung in einen ${}R$-Modul ${}W$ eindeutig über ${}T$ mit einer linearer Abbildung von ${}T$ nach ${}W$ faktorisiert, so gibt es einen eindeutig bestimmten Isomorphismus zwischen ${}T$ und dem Tensorprodukt ${}V_{1}\otimes _{R}\cdots \otimes _{R}V_{n}$. Daher ist diese universelle Eigenschaft wichtiger als die oben durchgeführte Konstruktion des Tensorprodukts.

Proposition

Es sei ${}R$ ein kommutativer Ring und ${}U,V,W$ seien ${}R$- Moduln. Dann gelten folgende Aussagen.

1. Es ist

   ${}U\otimes _{R}V\cong V\otimes _{R}U\,.$

2. Es ist

   ${}U\otimes _{R}{\left(V\otimes _{R}W\right)}\cong {\left(U\otimes _{R}V\right)}\otimes _{R}W\,.$

3. Es ist

   ${}U\otimes _{R}{\left(V\oplus W\right)}\cong {\left(U\otimes _{R}V\right)}\oplus {\left(U\otimes _{R}W\right)}\,.$

Beweis

Siehe Aufgabe 31.1.

$\Box$

Lemma

Es sei ${}R$ ein kommutativer Ring und seien ${}M_{1},\ldots ,M_{n}$ und ${}N$ Moduln über ${}R$.

Dann gibt es eine natürliche Isomorphie

$\operatorname {Hom} _{R}{\left(M_{1}\otimes _{}\cdots \otimes _{}M_{n},N\right)}\longrightarrow \operatorname {Mult} _{R}{\left(M_{1},\ldots ,M_{n};N\right)},\,\varphi \longmapsto \varphi \circ \pi .$

Beweis

Aus Lemma 31.2  (2) folgt unmittelbar, dass eine Bijektion vorliegt.

$\Box$

Korollar

Es sei ${}R$ ein kommutativer Ring und seien ${}M_{1},\ldots ,M_{n}$ Moduln über ${}R$.

Dann gibt es eine natürliche Isomorphie

${\left(M_{1}\otimes _{}\cdots \otimes _{}M_{n}\right)}^{*}\longrightarrow \operatorname {Mult} _{R}{\left(M_{1},\ldots ,M_{n};R\right)},\,\varphi \longmapsto \varphi \circ \pi .$

Beweis

Dies folgt unmittelbar aus Lemma 31.4, angewendet auf ${}N=R$.

$\Box$

<< | Kurs:Kommutative Algebra/Teil II | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)