Let G be any non-trivial finite group.

Has G always a subgroup, whose index is prime ?

If G is solvable and |G| has a prime divisor $p$, such that $p^2$ does not divide $|G|$, this is the case because of Hall's theorem.

If $G$ is a $p$-group, the answer is also positive.

The group $A_5$, for example, is not solvable, but has subgroups with index $5$.

So, I wonder whether we always can find a subgroup with prime index.


No. The first counterexample I can think of is $A_8$. The largest prime factor of $|A_8|$ is seven. But if there were a subgroup $H$ of index $p\le7$, then there would also be a non-trivial homomorphism $\phi:A_8\to S_p$. More precisely, the natural action of $A_8$ on the collection $X=A_8/H$ of left cosets of $H$ given by the rule $g\cdot (xH)=(gx)H$ is a homomorphism from $A_8$ to $Sym(X)\simeq S_p$. Because the action is transitive, the homomorphism is not trivial.

But because $|S_p|\le |S_7|<|A_8|$, $\operatorname{Ker}(\phi)\unlhd A_8$ is necessarily a non-trivial normal subgroup contradicting simplicity of $A_8$.

  • 1
    $\begingroup$ Can you elaborate on why there would be a non-trivial homomorphism? $\endgroup$ – Thomas Andrews Mar 11 '16 at 12:53
  • 1
    $\begingroup$ @Thomas. Sorry about being overly terse earlier. Hopefully it's better now. $\endgroup$ – Jyrki Lahtonen Mar 11 '16 at 13:00
  • 2
    $\begingroup$ For the solvable case, please see the addendum to my answer. $\endgroup$ – Andreas Caranti Mar 11 '16 at 13:04
  • 1
    $\begingroup$ Indeed, @Andreas. I had a blind spot there. For a moment at least :-) $\endgroup$ – Jyrki Lahtonen Mar 11 '16 at 13:05
  • 4
    $\begingroup$ ... Why doesn't the same reasoning work for $A_6$? $\endgroup$ – Dustan Levenstein Mar 11 '16 at 13:11

This article is relevant.

In it, Robert Guralnick classifies - using the classification - the finite simple groups that have a subgroup of prime-power index.

Added The case of solvable groups.

If $G$ is a solvable groups, then $G' < G$, where $G'$ is the derived subgroup. Now $G/G'$ is an abelian group. Find a subgroup $H/G'$ of prime index in it, and pull it back to a subgroup of prime index $H$ in $G$.


$A_n$ , has no subgroup of prime index iff $n \geq 6$ and $n$ is not prime .

Because of this theorm :
Theorem : If $G$ is a simple group with subgroup of index $m>1$, then $$|G|\quad |\quad m!$$ Proof : if $G$ has subgroup $H$ , and $G$ act on the cosets of $H$, then we have homomorphism from $G$ to $S_m$ with trivial kernel (because $G$ is simple).
Of course $A_{p-1} \triangleleft A_p$ .$\Box$

For another examples , because only normal subgroups of $S_n ( n \geq 5)$ are $ 1 , A_n $and $S_n$, by the same way you can show there is no subgroup of index $2<r<n$ in $S_n$ .

  • 1
    $\begingroup$ You would want to require $m>1$, but otherwise OK +1. Your final sentence could be a bit more elaborate; you are trying to explain why $n$ should not be prime. And of course you are using the numeric fact that $\frac12n!>m!$ for any $m<n\geq 6$. $\endgroup$ – Marc van Leeuwen Mar 12 '16 at 8:07
  • $\begingroup$ @MarcvanLeeuwen Thanks , I fixed $m>1$. $\endgroup$ – user217174 Mar 12 '16 at 8:10

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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