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

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

${\displaystyle {}S}$