Dowód Niech Ponieważ toLemat 1. Niech oraz Wówczas oraz Dowód. Drugie twierdzenie o izomorfizmie mówi, że jeśli jest grupą, a oraz to oraz jest izomorficzna z Stosując to twierdzenie dla zastąpionych odpowiednio otrzymuje się oraz Skoro a to zachodzi teza. czyli podobnie dla jest Jako że oraz zapisując dla zwięzłości to zachodzi (jako iloczyn prosty, zob. iloczyn kompleksowy).
Ponieważ oraz toLemat 2. Niech oraz Wówczas oraz Dowód. Ponieważ to wiadomo, że oraz Zatem Należy dowieść, że jest normalna w Zauważając, że (zob. normalizator), otrzymuje się dla wszystkich (zob. sprzężenie i podgrupa normalna). Wtedy, dla dowolnych jest ponieważ oraz Zatem dla wszystkich oraz Z drugiego twierdzenia o izomorfizmie z odpowiednio w miejscach otrzymuje się oraz Ponieważ oraz to izomorfizm ten oznacza, że
Teraz oraz (ponieważ ), a więc z (1) wynika
Powtarzając to samo rozumowanie dla zastąpionymi odpowiednio uzyskuje się
Teza wynika z połączenia (2) oraz (3).
Zobacz też lemat Goursata prawo modularności Dedekinda twierdzenie Schreiera
Uwagi
Przypisy
Bibliografia
Linki zewnętrzne [dostęp 2025-12-04].
Kategoria:Teoria modułów Kategoria:Teoria krat Zassenhausa, Lemat Kategoria:Podgrupy Z