Published online by Cambridge University Press: 09 April 2009
Let G be transitive permutation group of degree n and let K be a nontrivial pronormal subgroup of G (that is, for all g in G, K and Kg are conjugate in (K, Kg)). It is shown that K can fix at most ½(n – 1) points. Moreover if K fixes exactly ½(n – 1) points then G is either An or Sn, or GL(d, 2) in its natural representation where n = 2d-1 ≥ 7. Connections with a result of Michael O'Nan are dicussed, and an application to the Sylow subgroups of a one point stabilizer is given.