Tensorprodukt/Moduln/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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.