1
$\begingroup$

We know that since $PGL_2(q)$ is a subgroup of $P\Gamma L_2(q)$ and $PGL_2(q)$ is 2-transitive on the projective line, so $P\Gamma L_2(q)$ is 2-transitive also. Now, does it make sense to find the conditions in which $P\Gamma L_2(q)$ is 4-transitive group? We know that the only 4-transitive groups are the symmetric groups $S_n$ for $n>4$, the alternating groups $A_n$ for $n>6$, and the Mathieu groups $M_{24}$, $M_{23}$, $M_{12}$ and the $M_{11}$.

$\endgroup$
1
  • 4
    $\begingroup$ You seem to have more or less answered your own question! The answer is that $P \Gamma L(2,q)$ is 4-transitive if and only if $q=3$ or 4. Incidentally, ${\rm PGL}(2,q)$ is 3-transitive on the projective line for all $q$. $\endgroup$
    – Derek Holt
    May 30, 2012 at 16:24

1 Answer 1

2
$\begingroup$

While the classification of $4$-transitive groups does answer this question, it is an extravagantly difficult result to quote for the present purpose. We prove that $q=3$ and $q=4$ are the only cases where ${\text P}\Gamma{\text L}_2(q)$ acts 4-transitively on the projective line over ${\bf F}_q$, simply because once $q>4$ the group is too small to act $4$-transitively on a set of size $q+1$. Indeed a $4$-transitive group of permutations of $q+1$ objects must have at least $(q+1)q(q-1)(q-2)$ elements. But if $q=p^e$ for some prime $p$ then ${\text P}\Gamma{\text L}_2(q)$ has order $(q+1)q(q-1)e$. Therefore $q-2 \leq e$. This clearly cannot happen for $q$ at all large, and in fact we soon see that $q$ can only be $3$ or $4$. Both $q=3$ and $q=4$ yield $4$-transitive actions because in each case ${\text P}\Gamma{\text L}_2(q)$ is the full permutation group on $q+1$ letters, so we're done.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

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