2
$\begingroup$

Suppose $H$ and $K$ are subgroups of a finite group $G$. Then I read $ |HxK|=|H|[K:x^{-1}Hx\cap K] $

where $x\in G$. How can this equality be derived?

I wanted to prove the equivalent equality $|HxK|/|H|=[K:x^{-1}Hx\cap K]$ by exhibiting a bijection of the cosets of $x^{-1}Hx\cap K$ in $K$ with cosets of $H$ in $HxK$, but I realize $HxK$ need not be a group, nor $H$ a subgroup. Thanks.

Source: This is the third statement of Exercise 5 of Jacobson's Basic Algebra I, page 53.

  • 0
    Thanks for the link @BabakSorouh, there is lots of good info there.2012-05-26

1 Answers 1

4

$K$ operates on the left cosets of $H$ by translation: $k(xH) := kxH$. Let $m := |\{kxH : k\in K\}|$ denote the size of the orbit of $xH$ under this operation. Then $KxH$ is the disjoint union of $m$ sets of the form $kxH$, $k\in K$, each of which has size $|H|$, so $|KxH| = m|H|$.

On the other hand, we know that the size of the orbit of $xH$ equals the index of the stabilizer. An element $k \in K$ is in the stabilizer iff $kxH = xH \Leftrightarrow x^{-1}kx \in H \Leftrightarrow k \in xHx^{-1},$ so the stabilizer is $K \cap xHx^{-1}$. So we have $m = [K : K\cap xHx^{-1}] = [K : x^{-1}Kx \cap H]$ (note that $K\cap xHx^{-1}$ and $x^{-1}Kx \cap H$ are conjugated subgroups of $K$, hence have the same index). Finally, $|KxH| = m|H| = |H| [K : x^{-1}Kx \cap H].$