Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Suppose the symmetric group $S_n$ acts transitively on a set $X$, i.e. for every $x, y \in X$, $\exists g \in S_n$ such that $gx = y$.

Show that either $|X| \le 2$ or $|X| \ge n$.

Small steps towards the solution:

  • As $S_n$ acts transitively on a set $X$, the whole of $X$ is one single orbit under the action of $S_n$.

  • By the Orbit-Stabilizer Theorem, then, $|X|$ = $|S_n : \text{Stabilizer of }x|$ for any $x \in X$.

  • We also know that the Stabilizer of any $x \in X$ is a subgroup of $S_n$.

  • When $|X| = 2$, the Stabilizer of $x$ is the alternating group $A_n$.

I'm halfway but can't get the final result. Any help would be much appreciated, as always. Thank you.

share|cite|improve this question
You can use $\TeX$ on this site. To do so, enclose it in dollar signs; single dollar signs for inline formulas, double dollar signs for displayed equations. You can also see the $\TeX$ code for any math formatting you see on this site by right-clicking on it and selecting "Show Math As:TeX Commands". – joriki Aug 11 '12 at 9:46
Following joriki's comment, I've $\LaTeX$'d the post; click 'edit' to see what I did to get the subscripts, $\le$ signs, etc. – Clive Newstead Aug 11 '12 at 10:36
Thank you so much joriki & Clive -- this helps me out a lot. I'm not that familiar with typesets yet. – Conan Wong Aug 11 '12 at 14:13
up vote 6 down vote accepted

For $n < 4$ the result is clear. For $n = 4$ the result is false - we have a surjection $S_4 \to S_3$ by killing the unique normal subgroup of order 4, given by the products of transpositions (thanks to cocopuffs for fixing an error in this before).

For $n > 4$, the map $S_n \to \text{Aut}_\text{Set}(X) = S_{\# X}$ induced by your action must either be injective or have kernel $A_n$ or $S_n$. In the first case we must have $\#X \ge n$ and in the others we have $\#X = 2$ or $1$ respectively.

share|cite|improve this answer
But the coset space has $6$ elements in the case $n=4$ – Cocopuffs Aug 11 '12 at 9:57
Yes. Maybe you mean let $S_{4}$ act by conjugation on the $3$ non-identity elements of that normal Klein $4$-subgroup. That is a transitive action of $S_{4}$ on a set $X$ of size $3.$ – Geoff Robinson Aug 11 '12 at 10:00
@Geoff Robinson that's better (more concerete) than what i meant, i meant that the quotient by that group is $S_3$ so we get a transitive action on a 3 element set. – user29743 Aug 11 '12 at 10:03
@Cocopuffs the question is equivalent to the existence of an arbitrary subgroup of index between $2$ and $n$, not just a normal one. – user29743 Aug 11 '12 at 10:04
@Cocopuffs: Your first comment about the index was right. Your second comment isn't correct (you dohave the right nomal subgroups, of course). $S_{4}$ does have a subgroup of index $3$, a Sylow $2$-subgroup. Therefore, there is a homomorphism from $S_{4}$ to $S_{3}$ (in fact surjective). The kernel is the normal Klein $4$-subgroup of course. – Geoff Robinson Aug 11 '12 at 10:06

Let $S_n\to G$ is ephimorhism and $|G|<n$. Let us prove that $|G|<3$. We have $\mathbb{C}$ representation of $S_n$, $(V,\pi)$ and $\dim V<n$. We can assume that $(V,\pi)$ is irreducible. I will use theory of representation of symmetric group. Ireeducible representation of $S_n$ is diagramm of Young( And If demission of this representation(see

Is it answer?

share|cite|improve this answer
Thank you user37274 for your Rep theory approach as well, but there are some gaps in your description that I can't quite follow. Thanks anyway. – Conan Wong Aug 11 '12 at 14:20

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.