Teoria Grup

I twierdzenie o izomorfizmie

Niech $H$ bedzie dzielnikiem normalnym grupy $G$. Jezeli $f~:~G \to F$ jest homomorfizmem grup, to \[G~\big /~\ker f \cong \operatorname{Im}. f\]