Gruppenhomomorphismus/Surjektiv und Restklassengruppe/Fakt

Aus Wikiversity
Der Isomorphiesatz (Gruppen)

Es seien und Gruppen und sei

ein surjektiver Gruppenhomomorphismus.

Dann gibt es eine kanonische Isomorphie