Proceedings of the London Mathematical Society Advance Access published online on June 24, 2008
Proceedings of the London Mathematical Society, doi:10.1112/plms/pdn024
© 2008 London Mathematical Society
Base sizes for simple groups and a conjecture of Cameron
School of Mathematics
University of Southampton
Southampton SO17 1BJ
United Kingdom
burness@soton.ac.uk
Department of Mathematics
Imperial College
London
SW7 2BZ
United Kingdom
Einstein Institute of Mathematics
The Hebrew University of Jerusalem
Jerusalem 91904
Israel
shalev@math.huji.ac.il
Received 28 March 2007. Revision received 19 December 2007.
Let G be a permutation group on a finite set
. A base for G is a subset B
with pointwise stabilizer in G that is trivial; we write b(G) for the smallest size of a base for G. In this paper we prove that b(G)
6 if G is an almost simple group of exceptional Lie type and
is a primitive faithful G-set. An important consequence of this result, when combined with other recent work, is that b(G)
7 for any almost simple group G in a non-standard action, proving a conjecture of Cameron. The proof is probabilistic and uses bounds on fixed point ratios.
2000 Mathematics Subject Classification 20B15 (primary), 20P05 (secondary).
The first author acknowledges the support of a Junior Research Fellowship from St John's College, Oxford, and a Lady Davis Fellowship from The Hebrew University of Jerusalem.