Word Count : 1448

---

Let’s carefully work through the Zassenhaus (Butterfly) Lemma proof step by step, using the Fundamental Theorem of Homomorphism (First Isomorphism Theorem) for groups. --- ## Step 1: Restating the given setup We have: - \( G \) is a group. - \( H, K \) are subgroups of \( G \). - \( H' \trianglelefteq H \) (\( H' \) normal in \( H \)), \( K' \trianglelefteq K \). We want to prove: 1. \( H'(H \cap K') \trianglelefteq H'(H \cap K) \) 2. \( K'(H' \cap K) \trianglelefteq K'(H \cap K) \) 3. \[ \frac{H'(H \cap K)}{H'(H \cap K')} \simeq \frac{K'(H \cap K)}{K'(H' \cap K)} \simeq \frac{H \cap K}{(H' \cap K)(H \cap K')}. \] The notation \( H'(H \cap K) \) means the product of subgroups \( H' \) and \( H \cap K \) inside \( G \). Since \( H' \trianglelefteq H \), \( H'(H \cap K) \) is a subgroup of \( H \). --- ## Step 2: Prove \( H'(H \cap K') \trianglelefteq H'(H \cap K) \) First, note: - \( H' \trianglelefteq H \) ⇒ \( H' \trianglelefteq H'(H \cap K) \) (since \( H' \) is normal in \( H \) and \( H'(H \cap K) \leq H \)). Also, \( H \cap K' \) is normal in something — we should check: \( K' \trianglelefteq K \) ⇒ \( H \cap K' \trianglelefteq H \cap K \) (because for any \( x \in H \cap K \), conjugation by \( x \) is inside \( K \) and preserves \( K' \) since \( K' \trianglelefteq K \), and \( x \) also in \( H \) so conjugates \( H \cap K' \) within \( H \cap K' \)). So \( H \cap K' \trianglelefteq H \cap K\). Thus \( H'(H \cap K') \) is a subgroup (product of two subgroups \( H' \) and \( H \cap K' \) with \( H' \trianglelefteq H \) and \( H \cap K' \leq H \)). Since \( H' \trianglelefteq H \) and \( H \cap K' \trianglelefteq H \cap K \), normality in \( H'(H \cap K) \) requires checking: Take \( a ______ _________ ________ ___ ________ _______ __________ ______ __________.
___ ________ ______ __________ ____ _________ ____ ______ __________ ________ ________.
_______ _____ _______ ____ ______ _______.
__________ _________ ____ _____ _______ ___ _______ _______ ___.
___ ___ _________ ______ _______ ___ _________ ___.
_______ _________ ____ _______ _______ ________ _________ _________ ____.
_________ __________ ______ ______ ___ _________ ___ _________ ________ ___.
____ _________ _________ ____ _______ ___ ______ ___ __________.
______ __________ ____ __________ _____ ______ ________ _________ ________ _______.
______ __________ _____ _________ _________ _________ _____ _______ ___ ____ _________.
__________ ______ ______ ________ __________ ____ ___ _____ _________ ________ _____ ____.
______ ___ _______ ___ ___ __________ ___ ___ _________ ______ ________.
__________ ______ ________ __________ _________ _______ ____ _______ ___ _______ ______ _______.
____ ____ _________ ____ __________ ______ _______ _________ _____ ______ ____.
___ ______ _________ _____ __________ ___ __________ __________.
____ _______ ________ _________ _______ ___ ______ _____ _________ _________ __________.
______ ___ ____ ______ __________ _____ __________ _______ ________.
_____ _______ _________ _______ ________ _____ ____ _____.
_________ ________ ___ ________ ___ ___ ________ __________ ________.
____ _____ _____ ____ ______ _____ _______ _______.
____ ___ ___ __________ ________ ________ ____ _______ _________ _________.
_________ ____ _______ _____ ___ _______.
____ ____ ________ ________ ______ ________ ____ _____ ________ __________ _____ ______.
___ _______ _______ _________ ___ ______.
_____ ____ ________ __________ _____ ____ _______ _______ _________ _______.
____ _______ ________ _______ ________ ___.
____ _________ ______ ____ ______ ________ _______ _______ _________.
________ ________ ______ ________ ___ ____ ___ ____.
_______ ______ _______ __________ _________ _______ __________ _______.
______ ___ _______ __________ ____ __________ _____ _____ _____ __________.
_____ ________ ____ _________ _________ _____ ________ ___ _________ ___.
___ ________ __________ _____ _________ __________ ________ _____ _________ _____.
_______ ______ ___ _______ ___ ________ _______ ______ ___ _____ ____.
____ _________ __________ ____ ______ ___ ________ ________ ___ ________ ________.
____ ______ _____ _____ ________ ____ ____ ___ ___ ___ ________ _______.
__________ ___ ________ _______ ____.
___ ______ ________ __________ ____.
_________ ____ _____ __________ ________ ___ ________.
___ ________ ______ ______ ________ _______ _______ _________ ___ __________ ________.
________ ______ ________ _____ ___ _____ ___.
________ __________ ____ ______ _________ ______ ____ ____.
____ ______ _____ ______ __________ __________ _________ ___ ____.
___ ___ ________ _________ ________ _________ ___ _______ ___ ______.
______ _______ _______ _____ ____ ___ _____ ___ _________ _____.
_____ __________ ________ ___ ______ _________ _________.
___ ________ __________ ____ _________ ______ _______ _____ ___ _____ ____.
___ ___ ________ _________ ____ ________ _______ _____ _____.
_____ __________ __________ ___ _____ ___ _______.
_______ ______ ______ ____ ______ ____ _________ ____ __________ _____ _________ ________.
_______ ________ __________ ___ __________ __________ ____.
____ ________ _____ _________ ____ _______.
__________ ___ _________ ______ _______ ________ ___ ________ ___ _____.
_______ __________ ________ __________ _____ ____ _________.
_______ ________ ____ ____ _________ ________ _______ ____ ___ _________.
______ ___ _____ ________ _________ _________ ______ _________ _______.
______ __________ ___ ________ _________ _________ _________ ____ ____ _________ _____.
_________ _____ ____ _____ _________.
__________ _________ ____ __________ __________ __________ ________ _______ ____.
______ ________ _________ ____ ______ ______ ____.
________ _____ ___ _______ ___.
______ __________ ____ _________ ____ ______ ___ __________ __________ __________ _______ _____.
__________ _______ ___ ________ ___.
__________ ___ _____ _______ __________.
_________ __________ _____ _____ ________ ___ ___.
_________ ___ _____ ____ ______ ______ _______ ___ ______.
__________ ___ ___ ____ ________ ___ ___ ____ ________ ___.
______ _________ _________ ____ _______ __________ ______ _______ _____.
_______ ________ __________ ________ ___ ____ ________ ____ __________ _________ _______.
___ _______ __________ _____ ______ _________ _____ _____ _________.
______ __________ ___ ____ ______ _____ ______.
______ _____ _______ ____ ________ ________ _______ ________ _________ ______ _____ _________.
___ ________ _____ ______ _______ ______ _____ _____ _________ ___ _________.
_______ _________ ___ ___ ________ ____.
___ ___ __________ ___ ______ ___ ___ _______.
________ _______ _____ _____ ____ __________ _____ __________ ________ _________ _____ ________.
_______ ____ ___ ________ ________ ____ ________ _____ _____ __________.
_________ ________ _________ ________ ____.
_______ __________ __________ _________ __________ ________ ____ ___ _____ ____.
_____ ________ ___ _______ __________ __________ _________ ________ _____.
_______ ____ ________ ______ ________ ____ _____ _________ __________.
_______ _________ __________ _____ _________ _____ _________ _________ _____ ___ ____ ___.
_____ _______ _______ _________ _______ _____ ______ ______ ___.
__________ _______ _____ ________ ___ _____ _________ _________ _________ _____.
________ ____ _________ _____ ______ ___ __________ ________ ___ ____.
______ ________ __________ __________ __________ ________ ____ ________ ________ __________ ____.
________ ______ _________ ___ ________ __________ ________ _______ _______ ____ ______.
____ _________ _____ _________ ____ _____ ________ ______ ___.
__________ __________ _____ __________ ___ _____ ________ ______.
______ _________ _______ ____ ____ ___ ____ __________ ___.
________ ___ ______ ______ _______ __________ ___ ___ ____ _______ ______.
________ _____ _______ _________ ________ _______ __________ ____ ___ _______ ___ _____.
_______ _____ _____ ____ ______ ___ _______ ______ ___ ____.
___ _________ __________ _________ ___ _________ ____ ________ ___ _____ _____.
___ ________ _______ _________ ___ _____ _______.
_____ ___ __________ ______ _____ _______.
___ _________ ______ ___ __________ ____ _____ ____ ____ _______ _________ __________.
____ _____ ______ ______ __________ ____ _____ _______ _______.
_________ _______ ________ ______ _____ _____ ________.
__________ _______ _______ _________ ___ ___.
_________ ______ ____ _______ ______ _________ ____.
_______ _________ __________ __________ ___ __________ _____ _______ ___ ________ ____ ______.
______ ______ _____ ____ ______ ____ _______ _______ ______.
_____ _________ _____ ___ ___ ______.
_________ _______ ________ _________ ______ _________ ________ _________ _____ _________ _________ ___.
__________ ________ _______ __________ ________ ___ _______ ___ _______ ____ _____ ____.
___ __________ _________ ___ _______ ___ ________ ____ _______ _________ _________ ____.
______ _____ ____ _________ __________ ____.
_____ _________ ________ __________ ____ _____ ____ ________ _________ _____ ___ __________.
________ _____ _________ ________ ____ ________ ______ _____ ______.
________ _________ ____ ___ ______ _________ ______ __________ _____ ____.
____ _____ ________ ______ ________ ____ __________ ____ __________ ______.
________ _____ ____ ______ ____ __________ _______ _______ ___ ____.
________ _________ ____ ___ ________ _____ _______ ______ ___ _____.
____ ______ ____ ______ ________ _______ __________ _______.
_________ _________ _______ _______ ____ ________ ____.
_______ __________ _____ __________ _____ ______ ________.
____ _________ __________ _________ ____ ______.
__________ ____ _____ ____ ____ ___ ___ ___ _______ _______.
___ _____ ___ ________ ________ __________ __________.
_____ ____ _______ __________ _______ ____ ____ _____ _______ ______.
___ _____ _______ _____.
Get Full Answer on WhatsApp