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

m
drobne techniczne - patrz WP:CHECK, WP:SK
m (poprawa linków)
m (drobne techniczne - patrz WP:CHECK, WP:SK)
W szczególności, jeżeli <math>f</math> jest [[funkcja "na"|suriekcją]] (czyli „na”, a w tym wypadku [[epimorfizm]]em), a jądro jest trywialne, to <math>G</math> jest izomorficzna z <math>H</math>.
 
Jeżeli ciąg rozszczepia się, to <math>G</math> jest w rzeczywistości [[iloczyny grup|iloczynem półprostym]]. W [[kategoria abelowa|kategorii abelowej]] (takiej jak np. [[przestrzeń liniowa|przestrzenie liniowe]] i [[moduł (matematyka)|moduły]]) [[lemat o rozszczepianiu]] uściśla ten fakt do rozkładu <math>G</math> na [[Iloczyny grup#Suma_prostaSuma prosta|sumę prostą]].
 
=== Drugie twierdzenie (znane też jako trzecie) ===