Abstract
Let G be a finite 2-generated non-cyclic group. The spread of G is the largest integer k such that for any nontrivial elements x1,…,xk, there exists y G ∈ G such that G = 〈xi,y〉 for all i. The more restrictive notion of uniform spread, denoted u(G), requires y to be chosen from a fixed conjugacy class of G, and a theorem of Breuer, Guralnick and Kantor states that u(G) ⩾ 2 for every non-abelian finite simple group G. For any group with u(G) ⩾ 1, we define the uniform domination number γu(G) of G to be the minimal size of a subset S of conjugate elements such that for each nontrivial x ∈ G there exists y ∈ S with G = 〈x, y〉 (in this situation, we say that S is a uniform dominating set for G). We introduced the latter notion in a recent paper, where we used probabilistic methods to determine close to best possible bounds on γu(G) for all simple groups G.
In this paper we establish several new results on the spread, uniform spread and uniform domination number of finite groups and finite simple groups. For example, we make substantial progress towards a classification of the simple groups G with γu (G) = 2, and we study the associated probability that two randomly chosen conjugate elements form a uniform dominating set for G. We also establish new results concerning the 2-generation of soluble and symmetric groups, and we present several open problems.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
M. Aschbacher and R. Guralnick, Some applications of the first cohomology group, Journal of Algebra 90 (1984), 446–460.
M. Aschbacher and G. M. Seitz, Involutions in Chevalley groups over fields of even order, Nagoya Mathematical Journal 63 (1976), 1–91.
C. Bates, D. Bundy, S. Perkins and P. Rowley, Commuting involution graphs in special linear groups, Communications in Algebra 32 (2004), 4178–4196.
A. Bereczky, Maximal overgroups of Singer elements in classical groups, Journal of Algebra 234 (2000), 187–206.
G. J. Binder, The bases of the symmetric group, Izvestija Vysših Učebnyh Zavedeniĭ Matematika 78 (1968), 19–25.
G. J. Binder, The two-element bases of the symmetric group, Izvestija Vysših Učebnyh Zavedeniĭ Matematika 90 (1970), 9–11.
G. J. Binder, Certain complete sets of complementary elements of the symmetric and the alternating group of the nth degree, Matematicheskie Zametki 7 (1970), 173–180.
G. J. Binder, The inclusion of the elements of an alternating group of even degree in a two-element basis, Izvestija Vysših Učebnyh Zavedeniĭ Matematika 135 (1973), 15–18.
W. Bosma, J. Cannon and C. Playoust, The Magmaalgebra system I: The user language, Journal of Symbolic Computation 24 (1997), 235–265.
J. L. Brenner and J. Wiegold, Two generator groups, I, Michigan Mathematical Journal 22 (1975), 53–64.
T. Breuer, The GAP Character Table Library, Version 1.2.1, GAP package, http://www.math.rwth-aachen.de/~Thomas.Breuer/ctbllib, 2012.
T. Breuer, GAP computations concerning probabilistic generation of finite simple groups, https://arxiv.org/abs/0710.3267.
T. Breuer, R. M. Guralnick and W. M. Kantor, Probabilistic generation of finite simple groups, II, Journal of Algebra 320 (2008), 443–494.
T. Breuer, R. M. Guralnick, A. Lucchini, A. Maróti and G. P. Nagy, Hamiltonian cycles in the generating graph of finite groups, Bulletin of the London Mathematical Society 42 (2010), 621–633.
D. Bubboloni and M. S. Lucido, Coverings of linear groups, Communications in Algebra 30 (2002), 2143–2159.
D. Bubboloni, M. S. Lucido and T. Weigel, Generic 2-coverings of finite groups of Lie type, Rendiconti del Seminario Matematico della Università di Padova 115 (2006), 209–252.
T. C. Burness, Fixed point spaces in actions of classical algebraic groups, Journal of Group Theory 7 (2004), 311–346.
T. C. Burness, Fixed point ratios in actions of finite classical groups, II, Journal of Algebra 309 (2007), 80–138.
T. C. Burness, Fixed point ratios in actions of finite classical groups, III, Journal of Algebra 314 (2007), 693–748.
T. C. Burness, Fixed point ratios in actions of finite classical groups, IV, Journal of Algebra 314 (2007), 749–788.
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, Simple groups, generation and probabilistic methods, in Groups St Andrews 2017 in Birmingham, London Mathematical Society Lecture Note Series, Vol. 455, Cambridge University Press, Cambridge, 2019, pp. 200–229.
T. C. Burness, On base sizes for almost simple primitive groups, Journal of Algebra 516 (2018), 38–74.
T. C. Burness and M. Giudici, On the Saxl graph of a permutation group, Mathematical Proceedings of the Cambridge Philosophical Society 168 (2020), 210–248.
T. C. Burness and S. Guest, On the uniform spread of almost simple linear groups, Nagoya Mathematical Journal 109 (2013), 35–109.
T. C. Burness, R. M. Guralnick and J. Saxl, On base sizes for algebraic groups, Journal of the European Mathematical Society 19 (2017), 2269–2341.
T. C. Burness and S. Harper, On the uniform domination number of a finite simple group, Transactions of the American Mathematical Society 372 (2019), 545–583.
T. C. Burness and S. Harper, Computations concerning the uniform domination number of a finite simple group, available at http://seis.bristol.ac.uk/~tb13602/udncomp.pdf.
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 98 (2009), 116–162.
T. C. Burness, E. A. O’Brien and R. A. Wilson, Base sizes for sporadic groups, Israel Journal of Mathematics 177 (2010), 307–333.
T. C. Burness and A. R. Thomas, On the involution fixity of exceptional groups of Lie type, International Journal of Algebra and Computation 28 (2018), 411–466.
R. W. Carter, Finite Groups of Lie Type: Conjugacy Classes and Complex Characters, Pure and Applied Mathematics (New York), John Wiley and Sons, New York, 1985.
J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker and R. A. Wilson, Atlas of Finite Groups, Oxford University Press, Eynsham, 1985.
D. I. Deriziotis and G. O. Michler, Character table and blocks of finite simple triality groups3D4(q), Transactions of the American Mathematical Society 303 (1987), 39–70.
J. D. Dixon and B. Mortimer, Permutation Groups, Graduate Texts in Mathematics, Vol. 163, Springer, New York, 1996.
S. Dong, H. Pan and F. Tang, On the weakly monomial subgroups of finite simple groups, Journal of Algebra and its Applications 18 (2019), Article no. 1950037.
X. G. Fang and C. E. Praeger, Finite two-arc transitive graphs admitting a Suzuki simple group, Communications in Algebra 27 (1999), 3727–3754.
X. G. Fang and C. E. Praeger, Finite two-arc transitive graphs admitting a Ree simple group, Communications in Algebra 27 (1999), 3755–3769.
I. A. Faradẑev and A. A. Ivanov, Distance-transitive representations of groups G with PSL2(q) ⪨ G ⩽ PΓL2(q), European Journal of Combinatorics 11 (1990), 347–356.
P. Fleischmann and I. Janiszczak, The semisimple conjugacy classes of finite groups of Lie type E6and E7, Communications in Algebra 21 (1993), 93–161.
The GAP Group, GAP - Groups, Algorithms, and Programming, Version 4.8.7, 2017, http://www.gap-system.org.
S. Garion, Properties of the product replacement algorithm graph, PhD. thesis, Hebrew University of Jerusalem, 2009.
D. Goldstein and R. M. Guralnick, Alternating forms and self-adjoint operators, Journal of Algebra 308 (2007), 330–349.
D. Gorenstein, R. Lyons and R. Solomon, The Classification of the Finite Simple Groups, Number 3, Mathematical Surveys and Monographs, Vol. 40, American Mathematical Society, Providence, RI, 1998.
R. M. Guralnick and W. M. Kantor, Probabilistic generation of finite simple groups, Journal of Algebra 234 (2000), 743–792.
R. M. Guralnick and A. Shalev, On the spread of finite simple groups, Combinatorica 23 (2003), 73–87.
Z. Halasi, On the base size of the symmetric group acting on subsets, Studia Scientiarum Mathematicarum Hungarica 49 (2012), 492–500.
S. Harper, On the uniform spread of almost simple symplectic and orthogonal groups, Journal of Algebra 490 (2017), 330–371.
S. Harper, The spread of almost simple classical groups,https://arxiv.org/abs/2004.11060.
J. P. James, Partition actions of symmetric groups and regular bipartite graphs, Bulletin of the London Mathematical Society 38 (2006), 224–232.
G. A. Jones, Ree groups and Riemann surfaces, Journal of Algebra 165 (1994), 41–62.
G. A. Jones, Cyclic regular subgroups of primitive permutation groups, Journal of Group Theory 5 (2002), 403–407.
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.
R. Lawther, Jordan block sizes of unipotent elements in exceptional algebraic groups, Communications in Algebra 23 (1995), 4125–4156.
R. Lawther, The action of F4(q) on cosets of B4(q), Journal of Algebra 212 (1999), 79–118.
R. Lawther, M. W. Liebeck and G. M. Seitz, Fixed point spaces in actions of exceptional algebraic groups, Pacific Journal of Mathematics 205 (2002), 339–391.
R. Lawther, M. W. Liebeck and G. M. Seitz, Fixed point ratios in actions of finite exceptional groups of Lie type, Pacific Journal of Mathematics 205 (2002), 393–464.
M. W. Liebeck, J. Saxl and G. M. Seitz, Subgroups of maximal rank in finite exceptional groups of Lie type, Proceedings of the London Mathematical Society 65 (1992), 297–325.
M. W. Liebeck and G. M. Seitz, Unipotent and Nilpotent Classes in Simple Algebraic Groups and Lie Algebras, Mathematical Surveys and Monographs, Vol. 180, American Mathematical Society, Providence, RI, 2012.
M. W. Liebeck and A. Shalev, The probability of generating a finite simple group, Geometriae Dedicata 56 (1995), 103–113.
M. W. Liebeck and A. Shalev, Simple groups, permutation groups, and probability, Journal of the American Mathematical Society 12 (1999), 497–520.
M. A. Pellegrini, 2-Coverings for exceptional and sporadic simple groups, Archiv der Mathematik 101 (2013), 201–206.
S. Piccard, Sur les bases du groupe symétrique et du groupe alternant, Mathematische Annalen 116 (1939), 752–767.
R. Schmidt, A characterization of PSL(2, pn) by its centralizer lattice, Journal of Algebra 21 (1972), 280–291.
K. Shinoda, The conjugacy classes of the finite Ree groups of type (F4), Journal of the Faculty of Sciences University of Tokyo 22 (1975), 1–15.
N. Spaltenstein, Caractères unipotents de \(^3{D_4}({\mathbb{F}_q})\), Commentarii Mathematici Helvetici 57 (1982), 676–691.
A. Stein, \(1{\textstyle{1 \over 2}}\)-generation of finite simple groups, Beiträge zur Algebra und Geometrie 39 (1998), 349–358.
R. Steinberg, Generators for simple groups, Canadian Journal of Mathematics 14 (1962), 277–283.
M. Suzuki, On a class of doubly transitive groups, Annals of Mathematics 75 (1962), 105–145.
A. R. Thomas, The irreducible subgroups of exceptional algebraic groups, Memoirs of the American Mathematical Society, to appear.
H. N. Ward, On Ree’s series of simple groups, Transactions of the American Mathematical Society 121 (1966), 62–89.
T. S. Weigel, Generation of exceptional groups of Lie-type, Geometriae Dedicata 41 (1992), 63–87.
H. Wielandt, Finite Permutation Groups, Academic Press, New York-London, 1964.
R. A. Wilson, The Finite Simple Groups, Graduate Texts in Mathematics, Vol. 251, Springer, London, 2009.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Burness, T.C., Harper, S. Finite groups, 2-generation and the uniform domination number. Isr. J. Math. 239, 271–367 (2020). https://doi.org/10.1007/s11856-020-2050-8
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-020-2050-8