Gruppenhomomorphismus/Surjektiv und Restklassengruppe/Fakt

Der Isomorphiesatz (Gruppen)

Seien und Gruppen und sei

ein surjektiver Gruppenhomomorphismus.

Dann gibt es eine kanonische Isomorphie