Ringhomomorphismus/Surjektiv und Restklassenring/Fakt

Aus Wikiversity

Es seien und kommutative Ringe und es sei

ein surjektiver Ringhomomorphismus.

Dann gibt es eine kanonische Isomorphie von Ringen