1
$\begingroup$

Let $D$ be a finite simple group with $H < D$ and $K < D$. Also $[D:H]=q$ and $[D:K]=p$, where $p$, $q$ are primes. Want to show that $p=q$.

I want to come up with a contradiction with one of the subgroups being normal. I just couldn't do it with the given information. Please help!

Thank you!

1 Answers 1

8

Consider the left multiplication action of $D$ on the left cosets of $H$, which induces a group homomorphism from $D$ to $S_q$, the symmetric group of $q$ symbols. Since $D$ is simple, this homomorphism is injective, and therefore the order of $D$ divides $q!$, the order of $S_q$. On the other hand, since $[D:K]=p$, $p$ divides the order of $D$. As a consequence, $p$ divides $q!$, i.e. $p\le q$. A similar argument shows that $q\le p$, so $p=q.$

  • 0
    @DonAntonio: Thank you!2012-12-15
  • 0
    you mean i have to use the fact that every group of order n is isomorphic to a subgroup of Sn??2012-12-15
  • 1
    No, I mean if $D$ a finite group and $H$ is a subgroup of $D$ with $[D:H]=q$, then there is a group homomorphism $\rho:D\to S_q$ induced by the left multiplication action of $D$ on the left cosets of $H$. Since the action is transitive, $\rho$ is nontrivial, i.e. $\mathrm{Ker}\rho\ne D$ . Moreover, since in this question, $D$ is simple, $\rho$ has to be injective. Therefore, $D$ is isomorphic to a subgroup of $S_q$.2012-12-15
  • 0
    thankyou now i understand your comment. thanx a lot for ur help.2012-12-16
  • 0
    @d13:You are welcome!2012-12-16