In [this](https://mathoverflow.net/questions/154433/doubly-primitive-groups-with-simple-socle) MO question it was mentioned that the following fact seems to be true:



> 
> If $G$ is doubly transitive on $X$ and the one-point stabilizer $G\_x$ has a
>  non-trivial center, then $G$ is of affine type, that is, the socle is
>  elementary abelian.
> 
> 
> 


Does anyone know if it is true?


I checked it with GAP for all 2-transitive groups up to degree 2499 and I no counterexamples appeared. Here is the code for groups with
maximun degree of transitivity equal to two:



```
for gr in AllPrimitiveGroups(NrMovedPoints, [1..2499], Transitivity, 2) do
  stab := Stabilizer(gr, 1);
  if not IsTrivial(Center(stab)) then
    soc := Socle(gr);
    if not IsAbelian(soc) then 
      Print("Counterexample of degree ", NrMovedPoints(gr), "\n");
    fi;
  fi;
od;

```

I am mainly interested in the following question:



> 
> Is it true that if $G$ is a 2-transitive group with simple socle 
>  then $Z(G\_x)=1$?
> 
> 
> 


I need only to consider groups with maximum degree of transitivity equal to two. Further, many of the groups appearing in the classification of 2-transitive groups with simple socle are easy to handle. However, I cannot prove the fact in the following cases:


1. Socle $PSL(d,q)$, degree $\frac{q^d-1}{q-1}$, and $d\geq3$ (two actions).
2. Socle $PSU(3,q)$, degree $q^3+1$ and $q\geq3$.
3. Socle $Sz(q)$, degree $q^2+1$ and $q=2^{2d+1}>2$.
4. Socle $Ree(q)$, degree $q^3+1$ and $q=3^{2d+1}>3$.



> 
> Is it true that if $G$ is a 2-transitive almost simple group with
>  simple socle isomorphic to $PSL(d,q)$, $PSU(3,q)$, $Sz(q)$ or $Ree(q)$, 
>  then $Z(G\_x)=1$?
> 
> 
> 


References:


* Cameron, Peter J. Finite permutation groups and finite simple groups. Bull. London Math. Soc. 13 (1981), no. 1, 1--22. MR0599634 (83m:20008). The table with the classification of 2-transitive groups with simple socle appears in 
page 157, see [google books](http://books.google.com.ar/books?id=4bNj8K1omGAC&lpg=PA213&pg=PA197#v=onepage&q&f=false))



Center of one-point stabilizer in 2-transitive groups
This question is connected to an extreme case of the odd analogue of Glauberman´s $Z^{\ast}$-theorem. This theorem asserts that if a finite group $G$ has no non-identity normal subgroup of order coprime to the prime $p,$ and $u$ is an element of order $p$ of $G$ which commutes with none of its other $G$-conjugates, then $u \in Z(G).$ This theorem was proved (by Glauberman) without CFSG for $p =2,$ but as far as I know all proofs to date for odd $p$ use CFSG.


Now suppose that $G$ is a doubly transitive permutation group with $F(G) =1,$ and that the point stabilizer $G\_{x}$ has a central element $u$ of prime order $p$ (which will certainly happen if $Z(G\_{x}) \neq 1).$ Then $G\_{x} = C\_{G}(u)$ and the permutation action is equivalent to that of $G$ acting by conjugation on the conjugates of $u.$ 


Now $C\_{G}(u)$ permutes the conjugates of $u$ which commute with $u.$ By the double transitivity of the permutation action, we see that either all conjugates of $u$ commute with $u,$ or else no conjugate of $u$ other than $u$ itself commutes with $u.$ In the former case, $u \in F(G),$ which is excluded by hypothesis. Hence $u$ commutes with none of its other conjugates. By the general $Z^{\ast}$-theorem, we either have $u \in Z(G)$ or else $O\_{p^{\prime}}(G) \neq 1.$ The former case is excluded as $F(G) = 1.$


Suppose then that $O\_{p^{\prime}}(G) \neq 1.$ Then the image of $u$ is central in $G/O\_{p^{\prime}}(G)$ and a Frattini argument yields $G = O\_{p^{\prime}}(G)C\_{G}(u).$


Since $u \not \in Z(G),$ there is a prime $q \neq p$ such that $u$ normalizes, but does not centralize, a Sylow $q$-subgroup, $Q$ say, of $O\_{p^{\prime}}(G)$. Hence there is a $Q$-conjugate $v$ of $u$ such that $\langle u,v \rangle$ is a $\{p,q\}$-group. By the transitivity of $C\_{G}(u)$ on the other conjugates of $u,$ it follows that $\langle u,w \rangle$ is a $\{p,q\}$-group for every conjugate $w$ of $u.$ It then follows that $[O\_{p^{\prime}}(G),u] \lhd G$ is a non-trivial $q$-group, and that $F(G) \neq 1,$ contrary to hypothesis.


Later edit: I noticed that this also follows from Theorem D of :Guralnick, Robert M.; Robinson, Geoffrey R. On extensions of the Baer-Suzuki theorem. Israel J. Math. 82 (1993), no. 1-3, 281–297. One needs to use an earlier theorem of E. Shult. 
An outline proof is as follows:


We have a doubly transitive finite group $G$ with non-Abelian simple socle. Suppose that $H$ is a point stabilizer, and that $x$ is an element of prime order $p$ in $Z(H).$ Then $G$ acts doubly transitively by conjugation on the conjugates of $x$, so $C\_{G}(x)$ is transitive
on the remaining conjugates of $x$. There can be no other conjugate $y$ of $x$ which commutes with $x$, since if there were, all conjugates of $x$ would commute with $x$, contrary to the simplicity of the socle of $G$. By a theorem of E. Shult, there must be a $p^{\prime}$-subgroup $T$ of $G$ which is normalized, but not centralized.
Hence for some $t \in T, x^{-1}x^{t}$ is a non-identity $p$-regular element. Since $C\_{G}(x)$ is transitive on the remaining conjugates of $x$, we see that $x^{-1}x^{g}$ is $p$-regular for all $g \in G$. By Theorem D of the Guralnick-Robinson paper, and the argument above ( Theorem D gives $G = O\_{p'}(G)C\_{G}(x)$, and the argument above gives $[G,x] = [O\_{p'}(G),x]$ is a $q$-group for some prime $q$, contrary to the fact that $G$ has non-Abelian simple socle).


