Gruppenhomomorphismus/Homomorphiesatz/Surjektiv und Kern/Fakt

Der Homomorphiesatz (Gruppen)

Seien und Gruppen, es sei ein Gruppenhomomorphismus und ein surjektiver Gruppenhomomorphismus. Es sei vorausgesetzt, dass

ist.

Dann gibt es einen eindeutig bestimmten Gruppenhomomorphismus

derart, dass ist.

Mit anderen Worten: das Diagramm

ist kommutativ.