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

[wersja nieprzejrzana][wersja przejrzana]
Usunięta treść Dodana treść
Poprawiłem sformułowanie drugiego twierdzenia o izomorfizmie.
Kolejne poprawki w sformułowaniu drugiego twierdzenia o izomorfizmie dla grup.
Linia 24:
Niech
: <math>H, K</math> będą podgrupami <math>G</math> i
: <math>H</math> będzie [[podgrupa normalna|podgrupą normalną]] <math>KG.</math>
Wówczas
: [[Iloczyn kompleksowy|Iloczyn]] <math>HK</math> grup <math>H</math> oraz <math>K</math> jest podgrupą w <math>G,</math>
: <math>H \cap K</math> jest podgrupą normalną w <math>HK,</math> a
: <math>HK/KH</math> jest [[izomorfizm|izomorficzna]] z <math>HK/(H \cap K).</math>
 
=== Trzecie twierdzenie (znane też jako drugie) ===