Es sei ${\displaystyle {}R}$ ein kommutativer Ring und ${\displaystyle {}M}$ ein projektiver ${\displaystyle {}R}$-Modul. Es sei ${\displaystyle {}S}$ eine ${\displaystyle {}R}$-Algebra.

${\displaystyle {}M\otimes _{R}S}$

${\displaystyle {}S}$