3
$\begingroup$

I would like to know if this statement (which i just met and suspiciously never realized before) and its proof are true:

Let $p$, $q$ be distinct primes and $G$ a group of order $n=p^{\alpha}q^{\beta}$. If $H$ is a $p$-Sylow subgroup of $G$ and $K$ a $q$-Sylow subgroup, then $G=HK$.

$\textit{Proof : }$ the order of the set $HK$ is $\frac{|H||K|}{|H\cap K|}=p^{\alpha}q^{\beta}=|G|$.

I'm a bit surprised by that.

  • 0
    @Rolando: this is true, and does suggest a certain amount of solvability (see Bender's proof of Burnside's theorem), but it only applies in somewhat limited circumstances:If $H\cap K =\{e\}$ only due to order considerations, then you have that $H$ is a Hall $\pi$-subgroup and $K$ is a $\pi$-complement. If a group actually has $p$-complements for all primes $p$ (much less for all sets of primes $\pi$), then it is solvable by Hall's theorem.2012-08-01

1 Answers 1

4

This is true. The computation of $|HK|$ only requires that $H$ and $K$ are subgroups. Explicitly, note that $h_1 k_1 = h_2 k_2 \Leftrightarrow h_2^{-1} h_1 = k_2 k_1^{-1}$

so this element must be an element of $H \cap K$, and conversely if $g \in H \cap K$ then $hk = hg^{-1} g k$. So each possible product in $HK$ occurs exactly $|H \cap K|$ times.

  • 0
    @Rolando, yes it is remarkable that the left side of the equation is a *set* and its order can be expressed in terms of *subgroups*2012-08-01