Ringhomomorphismus/Surjektiv und Restklassenring/Fakt

Es seien und kommutative Ringe und es sei

ein surjektiver Ringhomomorphismus.

Dann gibt es eine kanonische Isomorphie von Ringen