Nenneraufnahme/Idealerzeuger/Nenneraufnahme an Element/Fakt/Beweis/Aufgabe

Es sei ein kommutativer Ring, ein Ideal und ein multiplikatives System. In der Nenneraufnahme gelte

Zeige, dass es ein und Elemente mit

gibt.