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.

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.