Tensorprodukt/Funktorialität im Modul/Fakt/Beweis2

Beweis

(1). Dies folgt aus Fakt. (2). Die Surjektivität ist ein Spezialfall von Fakt. Für die Exaktheit an der anderen Stelle müssen wir die Isomorphie

${}V\otimes _{R}M/\operatorname {bild} {\left(U\otimes _{R}M\right)}\cong W\otimes _{R}M\,$

nachweisen. Dazu beweisen wir für diesen Restklassenmodul, dass er die universelle Eigenschaft des Tensorprodukts erfüllt. Es sei also

$W\times M\longrightarrow N$

eine ${}R$-multilineare Abbildung in einen ${}R$-Modul ${}N$. Somit liegt auch eine eindeutige multilineare Abbildung

$\psi \colon V\times M\longrightarrow N$

und damit eine ${}R$-lineare Abbildung

${\tilde {\psi }}\colon V\otimes _{R}M\longrightarrow N$

vor. Wegen

${}\psi (\operatorname {bild} U\times M)=0\,$

ist

${}{\tilde {\psi }}{\left(\operatorname {bild} U\otimes _{R}M\right)}=0\,$

und daher gibt es eine eindeutige Faktorisierung

$V\otimes _{R}M/\operatorname {bild} {\left(U\otimes _{R}M\right)}\longrightarrow N.$

Zur bewiesenen Aussage