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
    @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