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$.
  • 1
    One can show that any index $2$ subgroup must be normal. Hint: What are the left cosets? What are the right cosets? So by that result, you answer 1), and see why looking at $S_4$ or any $S_n$ won't help in this problem: $A_n$ is always a normal subgroup, so $S_n$ is not simple.2012-07-03
  • 0
    @RagibZaman Thanks! I forgot I am working only with simple groups. Also with regards to your comment "So by that result, you answer 1)" I don't see how. Can you please elaborate? Thanks.2012-07-03
  • 0
    If G had an index 2 subgroup, that subgroup would be normal, contradicting that G is a simple group.2012-07-03
  • 0
    @RagibZaman Yes! I should go to bed!2012-07-03
  • 0
    @Ragib: No, because the subgroup might be trivial; what it contradicts is the hypothesis on the *size* of $G$.2012-07-03
  • 0
    @ArturoMagidin I don't understand. We have $|G|\leq 6$ so a subgroup of index $2$ must be of order $3$, not trivial? EDIT: Never mind, I think your comment was to show there's no contradiction if the group is of order $2$, so we see how the hypothesis on the size of $G$ is relevant.2012-07-03
  • 0
    @Ragib: The assumption is that $|G|$ is *at least* $6$, not at most. There **are** simple groups (or rather, a unique simple group) that has a subgroup of index $2$: the cyclic group of order $2$ has the trivial subgroup, which is of index $2$. And there *is* a simple group with a subgroup of index $3$: the cyclic group of order $3$. But neither of these satisfies the *extra* hypothesis that says that $G$ is not only simple, but of order **at least** $6$. It's the latter hypothesis that is contradicted, not the former.2012-07-03
  • 0
    Sorry, that was a typo, I knew it was $|G|\geq 6.$ I've understood your point, thanks.2012-07-03
  • 0
    @ArturoMagidin I am confused! Sorry, but I don't understand how "the latter hypothesis that is contradicted, not the former."2012-07-03
  • 1
    @POTUS: You have two hypothesis: $G$ is simple, and $|G|\geq 6$. The way Ragib wrote his statement, "If $G$ had a subgroup of index $2$ then that subgroup would be normal, contradicting that $G$ is simple" is not correct. Simple groups *do* have normal subgroups: they just can't be proper. So the correct full argument is tat if $G$ has a subgroup of index $2$, then the subgroup is normal. Since $G$ is simple, that subgroup must be *trivial*. Therefore, $G$ must have two elements, **contradicting that $|G|\geq 6$** (which was the "latter hypothesis").2012-07-03
  • 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
    I don't think I need counterexamples for 1). 1) is true by the above discussion, so I need prove it, right?2012-07-03
  • 1
    @POTUS: The point is that the only simple group that has a subgroup of index $2$ is the group of order $2$; but that group does not satisfy your hypothesis that $G$ has order at least $6$. For part 2, you conclude that $|G|=6$ (since the normal subgroup guaranteed by the result quoted above has index at most $6$, but must be trivial). But there are no simple groups of order $6$, so this cannot occur. For index $4$, $5$, or $6$, you'll want to think about it a bit more.2012-07-03
  • 0
    I am still confused, can you clarify which of the statements are true and which are not? Right now I feel like you are arguing that it is and it is not!2012-07-03
  • 0
    @POTUS: Hrmph. I see why you are confused; I keep saying "false" when I meant "true".2012-07-03
  • 0
    Okay! Phew! Thank you for being patient with me though!2012-07-03
  • 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