Zum Inhalt springen

Nenneraufnahme/Restklassenbildung/Vertauschbarkeit/Fakt

Aus Wikiversity

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.