Lemat Goursata – twierdzenie teorii grup.
edytuj Twierdzenie
Niech G,G1 będą grupami i niech H będzie podgrupą
taką, że dwa rzuty
oraz
są suriekcjami. Niech N oraz N1 będą jądrami odpowiednio π2 oraz π1. Wówczas N jest podgrupą normalną G, zaś N1 podgrupą normalną G1. Wtedy obraz H w
jest wykresem izomorfizmu
.
edytuj Wnioski
- Dla danej grupy G zachodzi
.
