Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Can anybody tell me what is known about the classification of abelian transitive groups of the symmetric groups?

For instance:

Let $G$ be a an abelian transitive subgroup of the symmetric group $S_n$. Why does $G$ have order $n$?

Thanks for your help!

share|improve this question
    
You mean, abelian subgroups of $S_n$ that act transitively on $\{1,\ldots,n\}$? –  Arturo Magidin Apr 4 '12 at 19:26
2  
A transitive group action is the same as the coset action on some subgroup. For that action to be faithful, the subgroup in question can contain no normal subgroups. Now think about what G being abelian means. –  user641 Apr 4 '12 at 19:29

1 Answer 1

The question is answered by user641 in the comments.

  • Every subgroup of $S_n$ acts faithfully on $\{1,\cdots,n\}$. This means that no two elements in the subgroup act like the same function on this set.
  • A set $X$ on which a group $G$ acts transitively is a single orbit. In particular, it is isomorphic as a $G$-set$^\dagger$ to a coset space $G/H$. Such an isomorphism can be obtained by picking an $x\in X$ and then constructing the correspondence $gx\leftrightarrow g{\rm Stab}_G(x)$ (so, here $H={\rm Stab}_G(x)$).
  • If $G$ is abelian, then every element of $H$ acts the same way on $G/H$, so the action of $G$ on the coset space $G/H$ is faithful if and only if $H=1$.

Given our hypotheses, we obtain $\{1,\cdots,n\}\cong^\dagger G/H$ and by the second bullet point, we know the action is faithful by the first bullet point, and therefore we know $H=1$ by the third bullet point; thus we have proved $\{1,\cdots,n\}\cong G/1$, so $|G|=n$.

($^\dagger $A morphism of $G$-sets is a $G$-equivariant aka intertwining map, i.e. a map $\phi:X\to Y$ with the property that $\phi(gx)=g\phi(x)$ for all $x\in X$ and $g\in G$. In fact $G$-sets thus become a category.)

share|improve this answer

Your Answer

 
discard

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.