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. Definiere die „Nenneraufnahme“
und zeige, dass sie ein R S {\displaystyle {}R_{S}} -Modul ist.
