Nenneraufnahme/Restklassenbildung/Vertauschbarkeit/Fakt/Beweis/Aufgabe
Erscheinungsbild
Es sei ein kommutativer Ring, ein Ideal und ein multiplikatives System. Zeige, dass es eine natürliche Ringisomorphie
gibt, wobei links die Nenneraufnahme am Bild des multiplikativen Systems in bezeichnet.