Nenneraufnahme (kommutative Algebra)/Moduln/Einführung/Aufgabe

Sei ein kommutativer Ring, ein multiplikatives System und ein -Modul. Definiere die „Nenneraufnahme“

und zeige, dass sie ein -Modul ist.