Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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.

share|improve this question
    
Doesn't your computation of $|HK|$ require that either $H$ or $K$ be normal? –  Robert Maschal Aug 1 '12 at 17:55
1  
@RobertMaschal I don't think so. The formula gives the order of the set $HK$, even if it's not a group. In general the subgroup generated by $H$ and $K$ may have bigger order. –  Louis La Brocante Aug 1 '12 at 17:58
    
@RobertMaschal Wouldn't they necessarily be normal in this group, because there would only be one Sylow $p$-subgroup, and one Sylow $q$-subgroup, so that the $H$ and $K$ complete contain their respective conjugacy classes? I may be off the mark a little here... –  Arkamis Aug 1 '12 at 18:01
    
@EdGorcenski if $q>p$ then the $q$-sylow can't be normal. However the remark RobertMaschal only requires $1$ of the two Sylow subgroups to be normal. Now as i said in the last comment, I don't think we need that $HK$ is a subgroup for the order formula... Still this seems strange to me. –  Louis La Brocante Aug 1 '12 at 18:04
    
Looking at it again, it seems fairly straightforward. Any $h \in H$ must be $|h| = p^m$, and for $k \in K$, $|k| = q^n$ by Lagrange. So then $H \bigcap K = \left\{ \rm{id.} \right\}$. I just fail to remember the conditions for $|HK| = |H||K|/|H \bigcap K|$. –  Arkamis Aug 1 '12 at 18:10

1 Answer 1

up vote 3 down vote accepted

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.

share|improve this answer
    
@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 –  Nicky Hekster Aug 1 '12 at 21:59

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.