# Non-Abelian simple group of order $120$

Let's assume that there exists simple non-Abelian group $G$ of order $120$. How can I show that $G$ is isomorphic to some subgroup of $A_6$?

-
Welcome to math.SE: since you are new, I wanted to let you know a few things about the site. In order to get the best possible answers, it is helpful if you say in what context you encountered the problem, and what your thoughts on it are; this will prevent people from telling you things you already know, and help them give their answers at the right level. Also, many find the use of imperative ("Prove", "Solve", etc.) to be rude when asking for help; please consider rewriting your post. – Julian Kuelshammer Jan 17 '13 at 11:25

Hint: How many Sylow 5-subgroups will $G$ have? Do you know of a way $G$ acts on them?

-
I know that G acts on them by conjugation, but that's all :( – Martin Jan 17 '13 at 11:08
Good! So if $X$ is the set of Sylow 5-subgroups, then conjugation action gives you a group homomorphism from $G$ to $S_n$, where $n=|X|$. Can you work with that? – Jyrki Lahtonen Jan 17 '13 at 11:11
Yes, I think I can. Thanks a lot :) – Martin Jan 17 '13 at 11:13
Great! If you can complete the argument, I would encourage you to type your solution as an answer to this question. Then the rest of us can comment on it and upvote it. You get more feedback that way. You can also accept that answer. It is not clear that a hint like this should be the accepted answer, for the readers who join the party later may benefit more from a full solution. – Jyrki Lahtonen Jan 17 '13 at 11:16
No problem :) When I get complete solution, it will be posted – Martin Jan 17 '13 at 11:21

A group of order 120 can not be simple. Let's assume that there exists simple non-Abelian group G of order 120. Then we know the number sylow 5-subgroups of $G$ is 6. Hence, the index of $N_{G}(P)$ in $G$ is 6 ($P$ is a sylow 5-subgroup of $G$). Now there exists a monomorphism $\phi$ of $G$ to $S_{6}$. We claim that $Im\phi\leq A_{6}$. Otherwise $Im\phi$ has an odd permutation and so $G$ has a normal subgroup of index 2, a contradiction. Hence, $G\cong Im(\phi)\leq A_{6}$.

-
@ Jyrki Lahtonen: Ok. I edited it. – maryam Jan 17 '13 at 13:18
+1 Nice attempts. – Babak S. Jan 17 '13 at 14:52