Order of Subgroup Product/Proof 1

Proof
From Intersection of Subgroups, we have that $H \cap K \le H$.

Let the number of left cosets of $H \cap K$ in $H$ be $r$.

Then the left coset space of $H \cap K$ in $H$ is:
 * $\set {x_1 \paren {H \cap K}, x_2 \paren {H \cap K}, \ldots, x_r \paren {H \cap K} }$

So each element of $H$ is in $x_i \paren {H \cap K}$ for some $1 \le i \le r$.

Also, if $i \ne j$, we have:
 * $x_j^{-1} x_i \notin H \cap K$

Let $h k \in H K$.

We can write $h = x_i g$ for some $1 \le i \le r$ and some $g \in K$.

Thus $h k = x_i \left({g k}\right)$.

Since $g, k \in K$, this shows $h k \in x_i K$.

Now suppose the left cosets $x_i K$ are not all disjoint.

Then $x_i K = x_j K$ for some $i, j$ by Coset Spaces form Partition.

So $x_j^{-1} x_i \in K$ by Congruence Class Modulo Subgroup is Coset.

Since $x_i, x_j \in H$, we have $x_j^{-1} x_i \in H \cap K$, which is contrary to the definition.

Therefore, the cosets $x_i K$ are disjoint for $1 \le i \le r$.

This leads us to:
 * $\dfrac {\order H} {\order {H \cap K} } = \dfrac {\order {H K} } {\order K} = r$

whence the result.