Es sei ${\displaystyle {}R}$ ein kommutativer Ring und ${\displaystyle {}M}$ ein projektiver ${\displaystyle {}R}$-Modul. Es sei ${\displaystyle {}T\subseteq R}$ ein multiplikatives System.

${\displaystyle {}M_{T}}$

${\displaystyle {}R_{T}}$