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
- ,
- ,
erzeugte
-Untermodul.
Dann nennt man den
Restklassenmodul
das Tensorprodukt der
, .
Es wird mit
-
bezeichnet.