Gruppenhomomorphismus/Faktorisierung/Fakt

Der Faktorisierungssatz (Gruppen)

Seien und Gruppen und sei

ein Gruppenhomomorphismus.

Dann gibt es eine kanonische Faktorisierung

wobei die kanonische Projektion, ein Gruppenisomorphismus und die kanonische Inklusion der Bildgruppe ist.