„Izomorfizmustételek” változatai közötti eltérés

''Legyenek <math>G''</math> és ''<math>H''</math> csoportok, Φ<math>\Phi</math> [[homomorfizmus]] ''<math>G''</math>-ből ''<math>H''</math>-ba. Jelölje Φ<math>\Phi</math> magját ''<math>K''</math>, és rendelje a γ<submath>''K''\gamma_K</submath> homomorfizmus minden ''<math>g''</math> elemhez a ''<math>K''</math> szerinti bal mellékosztályát[[mellékosztály]]át! Ekkor van egy egyértelmű Ψ<math>\Psi: ''G''/''K'' ->\to Φ\Phi(''G'')</math> homomorfizmus, amire Φ<math>\Phi(''g'')=Ψ\Psi(γ_''K''\gamma_K(''g''))</math> minden ''<math>g'' ∈\in ''G''</math>-re.