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