Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

This is a part of a proof that there is no simple group of order $120 = 2^{3} \cdot 3 \cdot 5$.

Suppose there is such $G$. Then checking $n_{5}(G) = 6$ and considering action on right cosets of $N_{G}(P)$ with $P \in \text{Syl}_{5}(G)$, we can inject this group $G \leqslant S_{6}$.

How do we show $G \leqslant A_{6}$? And in general, what assumptions are used when a subgroup of $S_{n}$ is in $A_{n}$? For the second question any examples will be appreciated whether they are trivial or not.

share|cite|improve this question
What is $n_5(G)$ ? – Amr Jan 6 '13 at 3:36
$n_{5}(G) := |\text{Syl}_{5}(G)|$. – user123454321 Jan 6 '13 at 3:38
up vote 4 down vote accepted

Consider the map $$G\hookrightarrow S_6\rightarrow \lbrace -1,+1\rbrace$$ where the last morphism is the signature morphism. By simplicity of $G$, this has to be trivial, so the image of $G$ under te embedding in $S_6$ lies in the kernel of the signature, which happens to be the alternating group $A_6$.

It's the same idea as in this answer.

share|cite|improve this answer

Well if $G\not\subset A_6,$ then $G\cap A_6$ would be a proper normal subgroup.

share|cite|improve this answer
Could the intersection be just the identity? – gnometorule Jan 6 '13 at 3:29
@gnometorule It can't; if it were then any non-identity $x \in G$ would satisfy $x^2=1$, so the order $G$ would be a power of 2. – Ted Jan 6 '13 at 3:35
Not a power of 2. Order exactly 2 (or 1). – jspecter Jan 6 '13 at 3:45

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.