Zassenhaus Lemma

Lemma
Let $G$ be a group.

Let $H_1$ and $H_2$ be subgroups of $G$.

Let:
 * $N_1 \triangleleft H_1$
 * $N_2 \triangleleft H_2$

where $\triangleleft$ denotes the relation of being a normal subgroup.

then:
 * $\displaystyle \frac {N_1 \left({H_1 \cap H_2}\right)} {N_1 \left({H_1 \cap N_2}\right)} \cong \frac {H_1 \cap H_2} {\left({H_1 \cap N_2}\right) \left({N_1 \cap H_2}\right)} \cong \frac {N_2 \left({H_1 \cap H_2}\right)} {N_2 \left({N_1 \cap H_2}\right)}$

where:
 * $N_1 \left({H_1 \cap H_2}\right)$ etc. denotes subset product
 * $\cong$ denotes group isomorphism.

This lemma is also known as:
 * the butterfly lemma, so named because the Hasse diagram of the various subgroups involved can be drawn to resemble a butterfly
 * the fourth isomorphism theorem, which name is not recommended because of the lack of any consistent naming convention for the Isomorphism Theorems in the literature.

Proof
Because of symmetry, only the first of the isomorphisms needs to be proved.

Proof of Normality
In order for the expressions to make sense, the expressions on the bottom of the fractions need to be normal subgroups.

That is, we need to show that:
 * $(1): \quad N_1 \left({H_1 \cap N_2}\right) \triangleleft N_1 \left({H_1 \cap H_2}\right)$
 * $(2): \quad \left({H_1 \cap N_2}\right) \left({N_1 \cap H_2}\right) \triangleleft H_1 \cap H_2$

Proof of Isomorphism
Let:
 * $H = H_1 \cap H_2$
 * $N_1 \left({H_1 \cap N_2}\right)$

Then:

From Intersection with Subgroup Product of Superset we have:


 * If $X, Y, Z$ are subgroups of a group $\left({G, \circ}\right)$, and $Y \subseteq X$, then:
 * $X \cap \left({Y \circ Z}\right) = Y \circ \left({X \cap Z}\right)$

Thus:

Hence the result.