# About a transitive permutation group of prime degree

This is not a homework!

I am trying to solve the following exercise of the book "Permutation Groups" by Dixon and Mortimer: I know that $p \mid \vert G\vert$, because $G$ is transitive of degree $p$. So, there is an element $x\in G$ with $o(x)=p$. Therefore, we can suppose that $R=\langle (1,2,\ldots,p)\rangle$ is a supgroup of $G$. It is simple to prove that $R$ is a regular permutation subgroup of $G$.

Using these facts, I am trying to show that if $G$ is solvable, $R$ is a normal Sylow $p$-subgroup of $G$, and since $p \nmid \vert \frac{G}{R} \vert$, $G$ can be consider as a semi-direct product group. I don't know that this direction is useful for solving this exercise or not.

• What does 'degree' mean in this case? The order of the set being acted on by $G$? – john Dec 28 '15 at 0:12
• Assume that $G$ is solvable. Then it has a nontrivial normal abelian subgroup $N$. There is a theorem (which you should know) that the orbits of a normal subgroup of a transitive permutation group all have the same size and, since the degree $p$ is prime, this size must be $p$. So $N$ is transitive and, since it is abelian, it must be regular. That gives you (ii). – Derek Holt Dec 28 '15 at 10:17
• @DerekHolt: Nice answer! Thank you very much. I think that by having (ii), we can say that $G=N\rtimes G_{\alpha}$, where $\alpha\in \Omega$. Also, I know that $AGL_1(p)\cong Z_p\rtimes Z_p^*$, but I don't know how I can make the desired isomorphism. I will be so grateful if you guide me about this part, too. – A-213 Dec 28 '15 at 12:54
• ${\rm AGL}(1,p)$ is the normalizer in $S_p$ of a Sylow $p$-subgroup of $S_p$ (just compare their orders), so (ii) implies (iii). – Derek Holt Dec 28 '15 at 13:31