Ringhomomorphismus/Surjektiv und Restklassenring/Fakt

Es seien und kommutative Ringe und sei

ein surjektiver Ringhomomorphismus.

Dann gibt es eine kanonische Isomorphie von Ringen