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?
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
1
1
|
||||||
|
closed as too localized by Bruce Westbury, Mariano Suárez-Alvarez, Neil Strickland, Qiaochu Yuan, Tom Leinster Mar 12 2012 at 19:34 |
|
12
|
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. |
||
|
|
