Abstract
Let G be a permutation group acting on a set Ω. A subset of Ω is a base for G if its pointwise stabilizer in G is trivial. We write b(G) for the minimal size of a base for G. We determine the precise value of b(G) for every primitive almost simple sporadic group G, with the exception of two cases involving the Baby Monster group. As a corollary, we deduce that b(G) ⩽ 7, with equality if and only if G is the Mathieu group M24 in its natural action on 24 points. This settles a conjecture of Cameron.
Similar content being viewed by others
References
J. An and R. A. Wilson, The Alperin weight conjecture and Uno’s conjecture for the Baby Monster \( \mathbb{B} \), p odd, LMS Journal of Computation and Mathematics 7 (2004), 120–166.
Z. Arad, M. Herzog and J. Stavi, Powers and products of conjugacy classes in groups, in Products of Conjugacy Classes in Groups (Z. Arad and M. Herzog, eds.), Lecture Notes in Mathematics, Vol. 1112, Springer-Verlag, New York, 1985, pp. 6–51.
R. W. Barraclough and R. A. Wilson, The character table of a maximal subgroup of the Monster, LMS Journal of Computation and Mathematics 10 (2007), 161–175.
A. Bochert, Über die Zahl verschiedener Werte, die eine Funktion gegebener Buchstaben durch Vertauschung derselben erlangen kann, Mathematische Annalen 33 (1889), 584–590.
W. Bosma, J. Cannon and C. Playoust, The Magma algebra system I: The user language, Journal of Symbolic Computation 24 (1997), 235–265.
J. N. Bray and R. A. Wilson, Explicit representations of maximal subgroups of the Monster, Journal of Algebra 300 (2006), 834–857.
T. Breuer, Manual for the GAP Character Table Library, Version 1.1, RWTH Aachen, 2004.
T. C. Burness, On base sizes for actions of finite classical groups, Journal of the London Mathematical Society 75 (2007), 545–562.
T. C. Burness, Fixed point ratios in actions of finite classical groups, II, Journal of Algebra 309 (2007), 80–138.
T. C. Burness, R. M. Guralnick and J. Saxl, Base sizes for actions of simple groups, in preparation.
T. C. Burness, M. W. Liebeck and A. Shalev, Base sizes for simple groups and a conjecture of Cameron, Proceedings of the London Mathematical Society. Third Series 98 (2009), 116–162.
P. J. Cameron, Some open problems on permutation groups, in Groups, Combinatorics and Geometry (M. W. Liebeck and J. Saxl, eds.), London Mathematical Society Lecture Note Series, Vol. 165, 1992, pp. 340–350.
P. J. Cameron, Permutation Groups, London Mathematical Society Student Texts, Vol. 45, Cambridge University Press, Cambridge, 1999.
P. J. Cameron and W. M. Kantor, Random permutations: some group-theoretic aspects, Combinatorics, Probability and Computing 2 (1993), 257–262.
J. J. Cannon and D. F. Holt, Computing conjugacy class representatives in permutation groups, Journal of Algebra 300 (2006), 213–222.
J. Conway, R. Curtis, S. Norton, R. Parker and R. Wilson, Atlas of Finite Groups, Oxford University Press, Eynsham, 1985.
The GAP Group, GAP — Groups, Algorithms, and Programming, Version 4.4, 2004.
D. Goldstein and R. M. Guralnick, Alternating forms and self-adjoint operators, Journal of Algebra 308 (2007), 330–349.
J. P. James, Partition actions of symmetric groups and regular bipartite graphs, Bulletin of the London Mathematical Society 38 (2006), 224–232.
J. P. James, Two point stabilisers of partition actions of linear groups, Journal of Algebra 297 (2006), 453–469.
P. B. Kleidman and M. W. Liebeck, The Subgroup Structure of the Finite Classical Groups, London Mathematical Society Lecture Note Series, Vol. 129, Cambridge University Press, Cambridge, 1990.
M. W. Liebeck and A. Shalev, Simple groups, permutation groups, and probability, Journal of the American Mathematical Society 12 (1999), 497–520.
J. Müller, On the action of the sporadic simple Baby Monster group on its conjugacy class 2B, LMS Journal of Computation and Mathematics 11 (2008), 15–27.
J. Müller, M. Neunhöffer and R. A. Wilson, Enumerating big orbits and an application: B on the cosets of Fi23, Journal of Algebra 314 (2007), 75–96.
J. Müller, M. Neunhöffer and F. Noeske, GAP 4 Package orb, http://www.math.rwth-aachen.de/~Max.Neunhoeffer/Computer/Software/Gap/orb.html.
Á. Seress, Permutation Group Algorithms, Cambridge Tracts in Mathematics, Vol. 152, Cambridge University Press, Cambridge, 2003.
J.-P. Serre, Topics in Galois Theory, Research Notes in Mathematics, Vol. 1, Jones and Bartlett, Boston, MA, 1992.
C. C. Sims, Computation with permutation groups, in Proceedings of the Second Symposium on Symbolic and Algebraic Manipulation (Los Angeles, 1971), ACM, New York, 1971, pp. 23–28.
W. R. Unger, Computing the character table of a finite group, Journal of Symbolic Computation 41 (2006), 847–862.
R. A. Wilson, The maximal subgroups of Conway’s group Co 1, Journal of Algebra 85 (1983), 144–165.
R. A. Wilson, Standard generators for sporadic simple groups, Journal of Algebra 184 (1996), 505–515.
R. A. Wilson et al., A World-Wide-Web Atlas of Finite Group Representations, http://brauer.maths.qmul.ac.uk/Atlas/v3/.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Burness, T.C., O’Brien, E.A. & Wilson, R.A. Base sizes for sporadic simple groups. Isr. J. Math. 177, 307–333 (2010). https://doi.org/10.1007/s11856-010-0048-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-010-0048-3