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

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

$M_{S}$

und zeige, dass sie ein ${}R_{S}$-Modul ist.

Eine Lösung erstellen