Twierdzenie o izomorfizmie: Różnice pomiędzy wersjami

m
→‎Pierwsze twierdzenie: poprawa linków, drobne techniczne
(poprawa linków)
m (→‎Pierwsze twierdzenie: poprawa linków, drobne techniczne)
=== Pierwsze twierdzenie ===
<!--sekcja wskazywana przez [[pierwsze twierdzenie o izomorfizmie]]-->
Jeżeli <math>G,\ H</math> są grupami, a
: <math>f\colon G \to H</math>
jest [[Homomorfizm grup|homomorfizmem]]
to
* [[jądro (algebra)|jądro]] <math>K</math> homomorfizmu <math>f</math> jest [[podgrupa normalna|podgrupą normalną]] <math>G,</math>
* [[obrazObraz (matematyka)i przeciwobraz|obraz]] <math>f</math> jest [[podgrupa|podgrupą]] <math>H,</math> a
* [[grupa ilorazowa]] <math>G/K,</math> nazywana czasem '''koobrazem''', jest [[izomorfizm|izomorficzna]] z obrazem <math>f.</math>