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árezAlvarez♦, Neil Strickland, Qiaochu Yuan, Tom Leinster Mar 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.
The symmetric groups $S_n$ for $n \leq 4$ are solvable. But for $n >4,$ the only proper nontrivial 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 nontrivial factor group of every $S_n$ with $n >2)$, and the group $S_3$ (which occurs in a nontrivial way as a factor group of $S_4).$ These elementary facts can be found (at least implicitly) in almost any algebra text. 

