Es sei R {\displaystyle {}R} ein kommutativer Ring, S ⊆ R {\displaystyle {}S\subseteq R} ein multiplikatives System und M {\displaystyle {}M} ein R {\displaystyle {}R} -Modul. Zeige, dass die Nenneraufnahme M S {\displaystyle {}M_{S}} mit den in Fakt beschriebenen Operationen ein R S {\displaystyle {}R_{S}} -Modul ist.
