Zassenhaus's Lemma:
Statement:
Let G be a group; let H,H′,K,K′ be subgroups of G such that H' is a normal subgroup of H and K' is a normal subgroup of K. Then H′⋅(H∩K′) is a normal subgroup of H′⋅(H∩K) ; likewise, K′⋅(K∩H′) is a normal subgroup of K′⋅(H∩K) ; furthermore, the quotient groups
(H′⋅(H∩K))/(H′⋅(H∩K′)) and
(K′⋅(H∩K))/(K′⋅(K∩H′)) are isomorphic.
Proof:
We first note that H∩K is a subgroup of H. Let η be the canonical homomorphism from H to H/H'. Then (η−1∘η)(H∩K)=H′⋅(H∩K) , so this indeed a group. Also, note that H∩K′ is a normal subgroup of H∩K . Hence
(η−1∘η)(H∩K′)=H′⋅(H∩K′)
is a normal subgroup of
(η−1∘η)(H∩K)=H′⋅(H∩K)
Now,
Let λ be the canonical homomorphism from H′⋅(H∩K) to (H′⋅(H∩K))/(H′⋅(H∩K′)) . Now, note that
(H∩K)∩(H′⋅(H∩K′))=(H′∩K)⋅(H∩K′)
Thus by the group homomorphism theorems, groups (H′⋅(H∩K))/(H′⋅(H∩K′)) and (H∩K)/((H′∩K)⋅(H∩K′)) are isomorphic. The lemma then follows from symmetry between H and K.
Comments