Sei ${\displaystyle {}R}$ ein kommutativer Ring, ${\displaystyle {}S\subseteq R}$ ein multiplikatives System und ${\displaystyle {}M}$ ein ${\displaystyle {}R}$-Modul. Definiere die „Nenneraufnahme“

${\displaystyle M_{S}}$

${\displaystyle {}R_{S}}$