Tensorprodukt/Moduln/Definition

Tensorprodukt von Moduln

Es sei ein kommutativer Ring und seien -Moduln. Es sei der von sämtlichen Symbolen (mit ) erzeugte freie -Modul. Es sei der von allen Elementen der Form

  1. ,
  2. ,

erzeugte -Untermodul. Dann nennt man den Restklassenmodul das Tensorprodukt der , . Es wird mit

bezeichnet.