4
$\begingroup$

Let $q=p^f$ be a prime power. Is $P\Gamma L_2(q)$, the automorphism group of $PSL_2(q)$, a semidirect product of $PSL_2(q)$ by its outer automorphism group $Z_{\gcd(2,q-1)}\times Z_f$? If it is not in general, then for which $q$ this holds?

1 Answers 1

3

The answer is no for $q=9$, and yes when either $q$ is even, or when $f$ is odd. I am 99% confident that the extension is non-split when $q$ is odd and $f$ is even, but I am not sure how to go about proving that. I have just done some quick computer calculations, and I can confirm that it is non-split for $q= 9,25,49,81,121,625,729$.

  • 0
    So the answer may be that the extension splits iff $\gcd(d,f)=1$, where $d=\gcd(2,q-1)$. This is equivalent to say the outer automorphism group is cyclic. Then I'm wondering if for $G$ a subgruoup of $P\Gamma L_2(q)$ with $G/PSL_2(q)$ cyclic, $G$ is a split extension of $PSL_2(q)$. For example, what about $G=P\Sigma L_2(q)$?2012-10-20
  • 0
    ${\rm P \Sigma L}_2(q)$ always splits, because a complement is generated by the field automorphism of ${\rm SL}_2(q)$ that maps every entry in a matrix to its $p$-th power. ${\rm PGL}(2,q)$ also splits. In the case $q=9$, the other extension by a group of order 2, often denoted by $M_{10}$, does not split, and I think the situation is similar for all odd $q$ and $f$ even.2012-10-20
  • 0
    For other odd $q$ with $f$ even, does $P\Gamma L_2(q)$ have "similar" subgroups like $M_{10}$ in $P\Gamma L_2(9)$?2012-10-20
  • 0
    Yes the corresponding extension would be by the product of the two outer automorphisms of order 2, one from ${\rm PGL}(2,q)$ and the other from ${\rm P \Sigma L}(2,q)$.2012-10-20
  • 0
    Is this extension always nonsplit? If it is, this also implies $P\Gamma L_2(q)$ is nonsplit for $q$ odd and $f$ even.2012-10-21
  • 0
    @BinzhouXia: this other extension has the name $M(q)$ and is discussed in Huppert-Blackburn chapter XI, page 162. http://math.stackexchange.com/questions/163197/asking-about-mq2-and-its-order2012-10-22