## 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?

-
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 2012 at 19:10

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

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.