Nenneraufnahme/Restklassenbildung/Vertauschbarkeit/Fakt

Es sei ${}R$ ein kommutativer Ring, ${}{\mathfrak {a}}\subseteq R$ ein Ideal und ${}S\subseteq R$ ein multiplikatives System.

Dann gibt es eine natürliche Ringisomorphie

${}{\left(R/{\mathfrak {a}}\right)}_{S}=R_{S}/{\mathfrak {a}}R_{S}\,,$

wobei links die Nenneraufnahme am Bild des multiplikativen Systems in ${}R/{\mathfrak {a}}$ bezeichnet.

Einen Beweis erstellen