Nenneraufnahme/Idealerzeuger/Nenneraufnahme an Element/Fakt

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

Dann gibt es ein und Elemente mit