0
$\begingroup$

Let $G$ be a finite simple group with $|G|\geq 6$. For each of the following statements, prove or provide a counterexample.

  1. $G$ cannot have an index-$2$ subgroup.
  2. $G$ cannot have an index-$3$ subgroup.
  3. $G$ cannot have a proper subgroup of index less than $6$.
  • 0
    @POTUS: (And I was pointing out to Ragib that there is a simple group with a subgroup of index $2$, and a simple group that has a subgroup of index $3$; so it was the fact that you are assuming your group has order at least $6$ which causes the contradictions)2012-07-03

1 Answers 1

8

Let $G$ be a group. If $H$ is a subgroup of index $n$, then $H$ contains a normal subgroup of $G$ of index at most $n!$.

This is a common problem; consider the action of $G$ on the left cosets of $H$ by left multiplication, $g\cdot xH \longmapsto gxH$. This induces a homomorphism $G\to S_n$, and the kernel is contained in $H$. Since $G/K$ is isomorphic to a subgroup of $S_n$, the index of $K$ is at most $n!$.

If $G$ is assumed to be simple, then $K$ must be trivial.

This will tell you the only possible counterexamples for index 2 or 3. Try them and see if they meet all your hypothesis.


Added. Assume that $G$ is a simple group, and $H$ is a subgroup of index $2$ in $G$. Then $H$ contains a subgroup $K$ that is normal in $G$, and has index at most $2!$. Since $K\subseteq H$ and $[G:H]=2$, then $[G:K] = [G:H][H:K] = 2[H:K]\geq 2$, it follows that $[G:K]=2$, so $H=K$. Since $G$ is simple and $H$ is normal, it follows that $H=\{e\}$. But since $[G:H]=2$, it follows that $|G|=2$. That is, $G$ is the cyclic group of order $2$. In summary: the only simple group that has a subgroup of index $2$ is the cyclic group of order $2$.

Thus, if $G$ is a simple group and $|G|\geq 6$, then $G$ cannot have a subgroup of index $2$. Thus, 1 is true.

Assume $G$ is a simple group and $H$ is a subgroup of index $3$ in $G$. By the result above, $H$ contains a normal subgroup $K$ of $G$ that has index at most $3!$ in $G$. Thus, $K=\{e\}$ by the same argument as above, so $|G|= [G:K] \leq 6$. The only simple groups of order at most $6$ are $C_2$, $C_3$, and $C_5$; the only one that has a subgroup of index $3$ is $C_3$. So $G$ will be cyclic of order $3$.

Thus, if $G$ is a simple group of order at least $6$, then $G$ cannot have a subgroup of index $3$. Thus, 2 is true.

For subgroups of index $4$, we get as above that $G$ contains a normal subgroup of index at most $4! = 24$; this must be trivial, so $|G|\leq 24$. The only simple groups of order at most $24$ are $C_p$ with $p$ a prime, $p\leq 24$, and none of them has a subgroup of index $4$. So no simple group has a subgroup of index $4$.

Subgroups of index $5$ yield a normal subgroup of index at most $5!= 120$. Now we have some possibilities, since there are nonabelian groups of order less than $120$. For instance, we have $A_5$, of order $60$. Does $A_5$ have a subgroup of index $5$? That would be a subgroup of order $12$. And in fact, $A_5$ does contain subgroups of order $12$, for example, the stabilizer of a point is isomorphic to $A_4$, of order $12$. Thus, $A_5$ is a simple group of order at least $6$ that has a subgroup of index $5$. So 3 is false (though "barely", as it were, since a simple group as given does not have subgroups of indices 2, 3, or 4).


$S_4$ does you no good, since $S_4$ has lots of normal subgroups: $A_4$, and also a normal subgroup of order $4$.

  • 0
    @POTUS: Sorry for being confusing; I wasn't checking the phrasing of 1, 2, and 3, and misremembered them when I typed the now-deleted comment.2012-07-03