Rotman's book An Introduction to the Theory of Groups (Fourth Edition) asks, on page 22, Exercise 2.8, to show that S(n) cannot be embedded in A(n+1), where S(n) = the symmetric group on n elements, and A(n) = the alternating group on n elements. I have a proof but it uses Bertrand's Postulate, which seems a bit much for page 22 of an introductory text. Does anyone have a more appropriate (i.e., easier) proof?

I think the following is sufficiently elementary: a transposition in $S_n$ is an element of order 2 commuting with at least $2(n2)!$ elements of the group. But $A_{n+1}$ does not have such an element if $n$ is large enough. Indeed, if $\sigma\in A_{n+1}$ is of order 2, then it is a product of $k$ independent transpositions where $k$ is even and $2\le k\le(n+1)/2$. The number of elements of $A_{n+1}$ commuting with such $\sigma$ equals $2^{k1}k!(n+12k)!$, and this is smaller than $2(n2)!$ provided that $n\ge 6$. 


One could ask Rotman. It may be that in a reorganization of the material in the book that problem ended up earlier than the material needed for the (intended) answer. On the other hand it is not a bad experience for students to see problems where the complete solution seems slightly out of reach. Here, one can prove several small cases and see various potential directions for a general proof. Which will work? which are in the spirit of the subject? Of course it is best to set up the expectation that there might be problems like this. 


Of course this is not a research level question, and so is not appropriate for MO, but I remember being puzzled myself about what proof Rotman had in mind for this. I think we had better assume Lagrange's Theorem or it will be completely hopeless! Perhaps the proof using Bertrand's Postulate was intended, because students might expect to have heard of that, even if they have not read a proof? Let's spell that out. As already noted, we can assume $n+1 = 2m$ is even by Lagrange. If $S_n$ embeds into $A_{n+1}$, then the index of the image of the embedding is $m$, so there is a nontrivial homomorphism (multiplicative action on cosets) $\phi: A_{n+1} \rightarrow S_m$. By BP, there is a prime $p$ with $m < p < n+1$, so $p$ does not divide $S_m$. Hence all elements of order $p$ lie in ${\rm Ker}(\phi)$, including $g = (1,2,\ldots,p1,p)$ and $h = (1,2,\ldots,p1,p+1)$. Then $g^{1}h$ is a 3cycle ( $(1,p,p+1)$ if you multiply permutations left to right), so ${\rm Ker}(\phi)$ contains all 3cycles, which generate $A_{n+1}$, contradicting the nontriviality of $\phi$. 


I think this is solved on http://www.artofproblemsolving.com/Forum/viewtopic.php?f=61&t=333049 . 

