# Which groups are quotients of symmetric groups? [closed]

By Cayley's embedding theorem every group $G$ embeds into the symmetric group $S_{|G|}$. But which groups $G$ have the property that there exists some $n$ such that $G$ is a quotient of $S_n$? My intuition is that it couldn't possibly be all finite groups. Is there a nice characterization of the groups that do have this property?

-

## closed as too localized by Bruce Westbury, Mariano Suárez-Alvarez♦, Neil Strickland, Qiaochu Yuan, Tom LeinsterMar 12 '12 at 19:34

This question is unlikely to help any future visitors; it is only relevant to a small geographic area, a specific moment in time, or an extraordinarily narrow situation that is not generally applicable to the worldwide audience of the internet. For help making this question more broadly applicable, visit the help center. If this question can be reworded to fit the rules in the help center, please edit the question.

You should probably ask this on math.stackexchange.com Also, reading about the alternating groups and their simplicity will be of help! –  Mariano Suárez-Alvarez Mar 12 '12 at 19:10

The symmetric groups $S_n$ for $n \leq 4$ are solvable. But for $n >4,$ the only proper non-trivial normal subgroup of $S_n$ is the alternating group $A_n.$ Hence the only factor groups of symmetric groups, other than $S_n$ itself and the trivial group are: the cyclic group of order $2$ (a non-trivial factor group of every $S_n$ with $n >2)$, and the group $S_3$ (which occurs in a non-trivial way as a factor group of $S_4).$ These elementary facts can be found (at least implicitly) in almost any algebra text.