# Subgroups of $A_5$ have order at most $12$?

How does one prove that any proper subgroup of $A_5$ has order at most $12$?

I have seen that there are $24$ $5$-cycles and $20$ $3$-cycles. What do the other members of $A_5$ look like?

-
Hint: The order of any element of $A_5$, when written as a product of disjoint cycles, is the least common multiple of its cycle lengths. Consider the possible lengths of products of disjoint cycles in $A_5$ and you'll have your proof. – luke Apr 10 '13 at 15:44
As far as I checked there is a product of 2-cycle and 3- cycles. But this product is not an even permutation. So if you please elaborate your point then it will be good for me. @ zach – Chipmunks Apr 10 '13 at 15:54
How does @zach's comment solve this problem? – user641 Apr 10 '13 at 19:54
@SteveD I've added a short explanation to my answer. I'm not sure if it can be simplified. – Alexander Gruber Apr 13 '13 at 7:50
@AlexanderGruber: While your explanation is great, I think most of the work was on your end, not zach's! – user641 Apr 13 '13 at 8:14

The cycle structure of a non-trivial element of $A_5$ is either $5$, $3$, or $2$-$2$. If you've got a $5$-cycle $a$ multiplied by a $3$-cycle $b$ for which $ab$ is a $5$-cycle, then $ab^2$ will be of type $2$-$2$ and thus have order $2$, so there can be no subgroup of order $15$. For a subgroup $H$ of order $20$, note first no $4$-cycles exist in $A_5$, so a Sylow $2$-subgroup $H_2\in \operatorname{Syl}_2(H)$ must be a Klein $V$ group. Then a Sylow $5$-subgroup $H_5\in\operatorname{Syl}_5(H)$ is not normal in $H$, as this would require that $H_2$ embed into $\operatorname{Aut}(H_5)\cong \mathbb{Z}_4$. But noting that $n_5$ should divide $[H:H_5] = 4$ and $n_5\equiv 1\pmod 5$ we see by Sylow's theorem that $H_5$ should be normal in $H$, so this is a contradiction.
Here's a fun alternative proof. The only (proper) divisors of $|A_5|=60=2^2\cdot 3\cdot 5$ greater than $12$ are $15=3\cdot 5, 20=2^2\cdot 5,$ and $30=2\cdot 3 \cdot 5$. Any subgroup of index $2$ is necessarily normal, and groups whose order is the product of three primes are solvable, so since $A_5$ is not solvable so it may not contain a subgroup of order $30$. If $H$ is a subgroup of order $15$, then $H$ is cyclic, but an easy computation shows that in $A_5$ elements of order $5$ and elements of order $3$ do not commute. Therefore it remains to be shown that $A_5$ can't have a subgroup of order $20$.
Now, notice that $A_5$ does have a subgroup $K$ of order $12$ - in particular, $K$ is an isomorphic copy of $A_4$. Suppose that there exists a $J\leqslant A_5$ of order $20$ and notice that $[A_5:J]$ and $[A_5:K]$ are coprime. Then $A_5=JK$ and $[J:J\cap K]=[A_5:K]$. So $|J\cap K|=4$. Thus $J\cap K\in\operatorname{Syl}_2(J)\cap\operatorname{Syl}_2(K)$. We observe that any $H_3\in\operatorname{Syl}_3(K)$ normalizes $J \cap K$, and in particular, $H_3$ acts fixed point freely on $J \cap K$. We see that the Sylow $5$-subgroup $H_5$ of $J$ must normal in $J$, so $J\cap K$ acts nontrivially on $H_5$. It follows that $H_3$ acts faithfully on $H_5$, but this is impossible since $\operatorname{Aut}(H_5)$ has order $4$. This completes the proof.
By the way, another cool idea would be to show that groups of order $p^2q$ are solvable, so because $A_5$ has a group of order $12$, it cannot have both a group of order $15$ and a group of order $20$, as any group with three solvable subgroups of coprime index is solvable. Then prove that $A_5$ has a subgroup of order $15$ if and only if it has a subgroup of order $20$. – Alexander Gruber Apr 10 '13 at 19:22