# No subgroup of $S_5$ with order 40

How can one prove that there are no subgroups of $S_5$ with order 40?

Thank you!

-
maths.qmul.ac.uk/~rab/MAS305/algnotes5.pdf page 5 shows what you want. Note also that all subgroups of $S_5$ have been classified: groupprops.subwiki.org/wiki/… –  Listing Dec 6 '11 at 22:03
Thanks very much, @Listing! –  Justin Zhou Dec 6 '11 at 22:21

Every subgroup of $S_n$ is either all even of half-even and half-odd.

Suppose $H$ is a subgroup of order 40 in $S_5$.

Case 1: $H$ is all even. Then $A_5$ has a subgroup of order 40. This is absurd since 40 does not divide $|A_5|=60$.

Case 2: $H$ is half-even and half-odd. Thus $K = H \cap A_5$ is a subgroup of $A_5$ of order $40/2=20$. Consider $A_5$ acting on the left cosets of $K$: $\sigma \cdot \tau K = (\sigma\tau)K$. Thus we have $A_5$ acting non-trivially on a set of 3 elements (the index of $K$ in $A_5$ is $60/20=3$). But $A_5$ is simple so any non-trivial action is faithful -- that is -- the corresponding permutation representation $\varphi:A_5 \to S_3$ is injective. But this is absurd since $|A_5|=60 > |S_3|=6$.

Therefore, no such subgroup can exist.

-
Thanks so much, @BillCook. I don't quite follow the last step, where you said that "$A_5$ is simple so any non-trivial action is faithful." –  Justin Zhou Dec 7 '11 at 1:30
Any homomorphism from a simple group into another group is either injective or sends everything to the identity. Why? Because the kernel is a normal subgroup and simple groups have only 2 normal subgroups: the whole group -- so everything maps to the identity AND the trivial subgroup -- so the morphism is one-to-one. –  Bill Cook Dec 7 '11 at 4:35

If such a subgroup $H$ exists, then the normal core $N$ of $H$ in $S_5$ has order 20 or 40. In both cases a Sylow 5-subgroup $P$ of $N$ is characteristic in $N$. Therefore $P$ is normal in $S_5$. However, $\langle (12345)\rangle$ and $\langle (12354)\rangle$ are two distinct Sylow 5-subgroups of $S_5$, a contradiction.

In general, a group of order 120 having two distinct Sylow 5-subgroups cannot have a subgroup of order 40.

-