Schreier-Zassenhaus Theorem

Theorem
Let $G$ be a finite group.

Let $\mathcal H_1$ and $\mathcal H_2$ be two normal series for $G$.

Then $\mathcal H_1$ and $\mathcal H_2$ have refinements of equal length whose factors are isomorphic.

Proof
Suppose that:
 * $(1): \quad \left\{{e}\right\} = G_0 \triangleleft G_1 \triangleleft \cdots \triangleleft G_{n-1} \triangleleft G_n = G$

and:
 * $(2): \quad \left\{{e}\right\} = H_0 \triangleleft H_1 \triangleleft \cdots \triangleleft H_{m-1} \triangleleft H_m = G$

are two normal series for $G$.

Let a new series be formed:
 * $(3): \quad \left\{{e}\right\} = \hat G_0 \subseteq \hat G_1 \subseteq \cdots \subseteq \hat G_{n m-1} \subseteq \hat G_{n m} = G$

such that:
 * $\hat G_k = G_q \left({G_{q+1} \cap H_r}\right)$

for $k = q m + r$, where $0 \le q < n$ and $0 \le r \le m$. For completeness, define $\hat G_{n m} = G_n$.

Note that, by the above construction:
 * $\hat G_{q m} = G_q \left({G_{q+1} \cap H_0}\right) = G_q \left(\{e\}\right) = G_q$

This implies that each group in $(1)$ also appears in $(3)$.

By Lemma 1, $\hat G_k$ is well-defined.

By Lemma 2, $\hat G_k$ is a normal subgroup of $\hat G_{k+1}$.

$(A): \quad$ But note that $(3)$ may not actually be a normal series as it is possible that $\hat G_k = \hat G_{k+1}$ for some $k$.

Having created series $(3)$, we use the same procedure to form:
 * $(4): \quad \left\{{e}\right\} = \hat H_0 \subseteq \hat H_1 \subseteq \cdots \subseteq \hat H_{n m-1} \subseteq \hat H_{n m} = G$

such that:
 * $\hat H_k = H_q \left({H_{q+1} \cap G_r}\right)$

for $k = q n + r$, where $0 \le q < m$ and $0 \le r \le n$.

The same statements that were made about $(3)$ also hold about $(4)$.

Now let $k = u m + v$ and $l = v n + u$.

It follows that:

So $(3)$ and $(4)$ have isomorphic factors.

In $(A)$ it was remarked that some of the factors in these isomorphic series may have redundant elements where $\hat G_k = \hat G_{k+1}$ and similarly for $\hat H_l = \hat H_{l+1}$.

As the series consist of isomorphic elements, all we now have to do is remove these redundant elements from both (they will occur at the same place).

Hence we end up with two refinements of equal length whose factors are isomorphic.

It is also known as the Schreier Refinement Theorem.

Lemma 1: Well-Definition of Construction $(3)$
Consider the ambiquity of $k = q m + r$ in the following cases:


 * When $m\nmid k$, there is none
 * When $m | k$, we have $k = qm + m = (q+1)m$.

For $(3)$ to be well-defined, we require $G_q \left({G_{q+1} \cap H_m}\right) = G_{q+1} \left({G_{q+2} \cap H_0}\right)$.

Noe that the right side is just $G_{q+1}\left({G_{q+2} \cap \{e\}}\right) = G_{q+1}\left(\{e\}\right) = G_{q+1}$.

The left side is $G_q \left({G_{q+1} \cap H_m}\right) = G_q \left({G_{q+1} \cap G}\right) = G_q G_{q+1} = G_{q+1}$.

Thus the construction is verified.

Lemma 2: $\hat G_k \triangleleft \hat G_{k+1}$ in $(3)$
Choose the representation of $k$ in which $r < m$. It follows that $\hat G_{k+1} = G_q \left({G_{q+1} \cap H_{r+1}}\right)$. Since $H_{r+1}\triangleright H_r$,
 * $\hat G_{k+1} = G_q \left({G_{q+1} \cap H_{r+1}}\right) \triangleright G_q \left({G_{q+1} \cap H_r}\right) = \hat G_k$.