Geodesic
On derangements in simple permutation groups
Forum of Mathematics, Sigma, Tome 13 (2025) no. 1, p. e98

Voir la notice de l'article provenant de la source Cambridge University Press

Let $G \leqslant \mathrm {Sym}(\Omega )$ be a finite transitive permutation group and recall that an element in G is a derangement if it has no fixed points on $\Omega $. Let $\Delta (G)$ be the set of derangements in G and define $\delta (G) = |\Delta (G)|/|G|$ and $\Delta (G)^2 = \{ xy \,:\, x,y \in \Delta (G)\}$. In recent years, there has been a focus on studying derangements in simple groups, leading to several remarkable results. For example, by combining a theorem of Fulman and Guralnick with recent work by Larsen, Shalev and Tiep, it follows that $\delta (G) \geqslant 0.016$ and $G = \Delta (G)^2$ for all sufficiently large simple transitive groups G. In this paper, we extend these results in several directions. For example, we prove that $\delta (G) \geqslant 89/325$ and $G = \Delta (G)^2$ for all finite simple primitive groups with soluble point stabilisers, without any order assumptions, and we show that the given lower bound on $\delta (G)$ is best possible. We also prove that every finite simple transitive group can be generated by two conjugate derangements, and we present several new results on derangements in arbitrary primitive permutation groups. 
Burness, Timothy; Fusari, Marco. On derangements in simple permutation groups. Forum of Mathematics, Sigma, Tome 13 (2025) no. 1, p. e98. doi: 10.1017/fms.2025.10064
@article{10_1017_fms_2025_10064,
     author = {Burness, Timothy and Fusari, Marco},
     title = {On derangements in simple permutation groups},
     journal = {Forum of Mathematics, Sigma},
     pages = {e98},
     year = {2025},
     volume = {13},
     number = {1},
     doi = {10.1017/fms.2025.10064},
     url = {http://geodesic.mathdoc.fr/articles/10.1017/fms.2025.10064/}
}
TY  - JOUR
AU  - Burness, Timothy
AU  - Fusari, Marco
TI  - On derangements in simple permutation groups
JO  - Forum of Mathematics, Sigma
PY  - 2025
SP  - e98
VL  - 13
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.1017/fms.2025.10064/
DO  - 10.1017/fms.2025.10064
ID  - 10_1017_fms_2025_10064
ER  - 
%0 Journal Article
%A Burness, Timothy
%A Fusari, Marco
%T On derangements in simple permutation groups
%J Forum of Mathematics, Sigma
%D 2025
%P e98
%V 13
%N 1
%U http://geodesic.mathdoc.fr/articles/10.1017/fms.2025.10064/
%R 10.1017/fms.2025.10064
%F 10_1017_fms_2025_10064

[1] Arezoomand, M., Abdollahi, A. and Spiga, P., ‘On problems concerning fixed-point-free permutations and on the polycirculant conjecture – a survey’, Trans. Comb. 8 (2019), 15–40. Google Scholar

[2] Aschbacher, M., ‘On the maximal subgroups of the finite classical groups’, Invent. Math. 76 (1984), 469–514.10.1007/BF01388470 Google Scholar | DOI

[3] Aschbacher, M. and Guralnick, R. M., ‘Some applications of the first cohomology group’, J. Algebra 90 (1984), 446–460.10.1016/0021-8693(84)90183-2 Google Scholar | DOI

[4] Bailey, R. A., Cameron, P. J., Giudici, M. and Royle, G. F., ‘Groups generated by derangements’, J. Algebra 572 (2021), 245–262.10.1016/j.jalgebra.2020.12.020 Google Scholar | DOI

[5] Bereczky, Á., ‘Maximal overgroups of Singer elements in classical groups’, J. Algebra 234 (2000), 187–206.10.1006/jabr.2000.8458 Google Scholar | DOI

[6] Bertram, E., ‘Even permutations as a product of two conjugate cycles’, J. Combinatorial Theory Ser. A 12 (1972), 368–380.10.1016/0097-3165(72)90102-1 Google Scholar | DOI

[7] Blackburn, S. R., Britnell, J. R. and Wildon, M., ‘The probability that a pair of elements of a finite group are conjugate’, J. Lond. Math. Soc. 86 (2012), 755–778.10.1112/jlms/jds022 Google Scholar | DOI

[8] Bosma, W., Cannon, J. and Playoust, C., ‘The Magma algebra system I: The user language’, J. Symb. Comput. 24 (1997), 235–265.10.1006/jsco.1996.0125 Google Scholar | DOI

[9] Boston, N., Dabrowski, W., Foguel, T., Gies, P. J., Leavitt, J. and Ose, D. T., ‘The proportion of fixed-point-free elements of a transitive permutation group’, Comm. Algebra 21 (1993), 3259–3275.10.1080/00927879308824728 Google Scholar | DOI

[10] Bray, J. N., Holt, D. F. and Roney-Dougal, C. M., The Maximal Subgroups of the Low-Dimensional Finite Classical Groups (London Math. Soc. Lecture Note Series) vol. 407 (Cambridge University Press, Cambridge, 2013).10.1017/CBO9781139192576 Google Scholar | DOI

[11] Brenner, J. L., ‘Covering theorems for finite nonabelian simple groups, IX: How the square of a class with two nontrivial orbits in covers ’, Ars Combin. 4 (1977), 151–176. Google Scholar

[12] Breuer, T., The GAP Character Table Library, Version 1.3.3, GAP package, http://www.math.rwth-aachen.de/~Thomas.Breuer/ctbllib, 2022. Google Scholar

[13] Breuer, T., Guralnick, R. M. and Kantor, W. M., ‘Probabilistic generation of finite simple groups, II’, J. Algebra 320 (2008), 443–494.10.1016/j.jalgebra.2007.10.028 Google Scholar | DOI

[14] Burness, T. C., ‘Base sizes for primitive groups with soluble stabilisers’, Algebra Number Theory 15 (2021), 1755–1807.10.2140/ant.2021.15.1755 Google Scholar | DOI

[15] Burness, T. C., ‘Simple groups, generation and probabilistic methods’, in Groups St Andrews 2017 in Birmingham (London Math. Soc. Lecture Note Series) vol. 455 (Cambridge Univ. Press, Cambridge, 2019), 200–229.10.1017/9781108692397.009 Google Scholar | DOI

[16] Burness, T. C., ‘Fixed point ratios in actions of finite classical groups, I’, J. Algebra 309 (2007), 69–79.10.1016/j.jalgebra.2006.05.024 Google Scholar | DOI

[17] Burness, T. C., ‘Fixed point ratios in actions in finite classical groups, II’, J. Algebra 309 (2007), 80–138.10.1016/j.jalgebra.2006.05.025 Google Scholar | DOI

[18] Burness, T. C. and Giudici, M., Classical Groups, Derangements and Primes (Australian Mathematical Society Lecture Series) vol. 25 (Cambridge University Press, Cambridge, 2016).10.1017/CBO9781139059060 Google Scholar | DOI

[19] Burness, T. C., Guralnick, R. M. and Harper, S., ‘The spread of a finite group’, Ann. of Math. 193 (2021), 619–687.10.4007/annals.2021.193.2.5 Google Scholar | DOI

[20] Burness, T. C. and Harper, S., ‘On the uniform domination number of a finite simple group’, Trans. Amer. Math. Soc. 372 (2019), 545–583.10.1090/tran/7593 Google Scholar | DOI

[21] Burness, T. C. and Harper, S., ‘Finite groups, -generation and the uniform domination number’, Israel J. Math. 239 (2020), 271–367.10.1007/s11856-020-2050-8 Google Scholar | DOI

[22] Cameron, P. J. and Cohen, A. M., ‘On the number of fixed point free elements in a permutation group’, Discrete Math. 106 (1992), 135–138.10.1016/0012-365X(92)90540-V Google Scholar | DOI

[23] Carter, R. W., Finite Groups of Lie Type: Conjugacy Classes and Complex Characters (Wiley Classics Library) (John Wiley & Sons, Chichester, 1993). Google Scholar

[24] Conway, J. H., Curtis, R. T., Norton, S. P., Parker, R. A. and Wilson, R. A., of Finite Groups (Oxford University Press, Eynsham, 1985). Google Scholar

[25] Craven, D. A., ‘The maximal subgroups of the exceptional groups and and related almost simple groups’, Invent. Math. 234 (2023), 637–719.10.1007/s00222-023-01208-2 Google Scholar | DOI

[26] Deriziotis, D. I. and Fakiolas, A. P., ‘The maximal tori in the finite Chevalley groups of type and ’, Comm. Algebra 19 (1991), 889–903.10.1080/00927879108824176 Google Scholar | DOI

[27] Deriziotis, D. I. and Michler, G. O., ‘Character table and blocks of finite simple triality groups ’, Trans. Amer. Math. Soc. 303 (1987), 39–70. Google Scholar

[28] Dietrich, H., Lee, M. and Popiel, T., ‘The maximal subgroups of the Monster’, Adv. Math. 469 (2025), Paper No. 110214.10.1016/j.aim.2025.110214 Google Scholar | DOI

[29] Dixon, J. D., ‘Random sets which invariably generate the symmetric group’, Discrete Math. 105 (1992), 25–39.10.1016/0012-365X(92)90129-4 Google Scholar | DOI

[30] Dornhoff, L., Group Representation Theory, Part A: Ordinary Representation Theory (Pure and Applied Mathematics) vol. 7 (Marcel Dekker, Inc., New York, 1971). Google Scholar

[31] Eberhard, S. and Garzoni, D., ‘Conjugacy classes of derangements in finite groups of Lie type’, Trans. Amer. Math. Soc. Ser. B 12 (2025), 536–575.10.1090/btran/193 Google Scholar | DOI

[32] Enomoto, H., ‘The characters of the finite symplectic group ’, Osaka Math. J. 9 (1972), 75–94. Google Scholar

[33] Fein, B., Kantor, W. M. and Schacher, M., ‘Relative Brauer groups, II’, J. Reine Angew. Math. 328 (1981), 39–57. Google Scholar

[34] Fleischmann, P. and Janiszczak, I., ‘The number of regular semisimple elements for Chevalley groups of classical type’, J. Algebra 155 (1993), 482–528.10.1006/jabr.1993.1055 Google Scholar | DOI

[35] Freedman, S. D., Lucchini, A., Nemmi, D. and Roney-Dougal, C. M., ‘Finite groups satisfying the independence property’, Internat. J. Algebra Comput. 33 (2023), 509–545.10.1142/S021819672350025X Google Scholar | DOI

[36] Fulman, J. and Guralnick, R. M., ‘Derangements in finite classical groups for actions related to extension field and imprimitive subgroups and the solution of the Boston-Shalev conjecture’, Trans. Amer. Math. Soc. 370 (2018), 4601–4622.10.1090/tran/7377 Google Scholar | DOI

[37] Fulman, J. and Guralnick, R. M., ‘Derangements in subspace actions of finite classical groups’, Trans. Amer. Math. Soc. 369 (2017), 2521–2572.10.1090/tran/6721 Google Scholar | DOI

[38] Fulman, J. and Guralnick, R. M., ‘Bounds on the number and sizes of conjugacy classes in finite Chevalley groups with applications to derangements’, Trans. Amer. Math. Soc. 364 (2012), 3023–3070.10.1090/S0002-9947-2012-05427-4 Google Scholar | DOI

[39] Fulman, J. and Guralnick, R. M., ‘Derangements in simple and primitive groups’, in Groups, Combinatorics & Geometry (Durham, 2001) (World Sci. Publ., River Edge, NJ, 2003), 99–121. Google Scholar

[40] The GAP Group, GAP – Groups, Algorithms, and Programming, Version 4.11.1, 2021 ( http://www.gap-system.org). Google Scholar

[41] Garion, S., ‘Expansion of conjugacy classes in ’, J. Group Theory 18 (2015), 961–980.10.1515/jgth-2015-0021 Google Scholar | DOI

[42] Garzoni, D., ‘Derangements in non-Frobenius groups’, Preprint, 2024, . Google Scholar | arXiv

[43] Geck, M., Hiss, G., Lübeck, F., Malle, G. and Pfeiffer, G., ‘CHEVIE–a system for computing and processing generic character tables’, in Computational Methods in Lie theory (Essen, 1994) (Appl. Algebra Engrg. Comm. Comput.) vol. 7 (1996), 175–210.10.1007/BF01190329 Google Scholar | DOI

[44] Guest, S., Morris, J., Praeger, C. E. and Spiga, P., ‘On the maximum orders of elements of finite almost simple groups and primitive permutation groups’, Trans. Amer. Math. Soc. 367 (2015), 7665–7694.10.1090/S0002-9947-2015-06293-X Google Scholar | DOI

[45] Guralnick, R. M. and Kantor, W. M., ‘Probabilistic generation of finite simple groups’, J. Algebra 234 (2000), 743–792.10.1006/jabr.2000.8357 Google Scholar | DOI

[46] Guralnick, R. M., Larsen, M. and Tiep, P. H., ‘Character levels and character bounds’, Forum Math. Pi 8 (2020), e2, 81 pp.10.1017/fmp.2019.9 Google Scholar | DOI

[47] Guralnick, R. M. and Malle, G., ‘Products of conjugacy classes and fixed point spaces’, J. Amer. Math. Soc. 25 (2012), 77–121.10.1090/S0894-0347-2011-00709-1 Google Scholar | DOI

[48] Guralnick, R. M. and Malle, G., ‘Simple groups admit Beauville structures’, J. Lond. Math. Soc. 85 (2012), 694–721.10.1112/jlms/jdr062 Google Scholar | DOI

[49] Guralnick, R. M., Penttila, T., Praeger, C. E. and Saxl, J., ‘Linear groups with orders having certain large prime divisors’, Proc. London Math. Soc. 78 (1999), 167–214.10.1112/S0024611599001616 Google Scholar | DOI

[50] Guralnick, R. M. and Tiep, P. H., ‘Finite simple unisingular groups of Lie type’, J. Group Theory 6 (2003), 271–310.10.1515/jgth.2003.020 Google Scholar | DOI

[51] Guralnick, R. M. and Wan, D., ‘Bounds for fixed point free elements in a transitive group and applications to curves over finite fields’, Israel J. Math. 101 (1997), 255–287.10.1007/BF02760932 Google Scholar | DOI

[52] Harper, S., ‘The spread of finite and infinite groups’, in Groups St Andrews 2022 in Newcastle (London Math. Soc. Lecture Note Ser.) vol. 496 (Cambridge Univ. Press, Cambridge, 2025), 74–117. Google Scholar

[53] Hartley, B. and Kuzucuoǧlu, M., ‘Centralizers of elements in locally finite simple groups’, Proc. Lond. Math. Soc. 62 (1991), 301–324.10.1112/plms/s3-62.2.301 Google Scholar | DOI

[54] James, G. and Liebeck, M. W., Representations and Characters of Groups (Cambridge University Press, New York, 2001).10.1017/CBO9780511814532 Google Scholar | DOI

[55] Jones, G. A., ‘Primitive permutation groups containing a cycle’, Bull. Aust. Math. Soc. 89 (2014) 159–165.10.1017/S000497271300049X Google Scholar | DOI

[56] Jordan, C., ‘Recherches sur les substitutions’, J. Math. Pures Appl. (Liouville) 17 (1872), 351–367. Google Scholar

[57] Kleidman, P. and Liebeck, M. W., The Subgroup Structure of the Finite Classical Groups (London Math. Soc. Lecture Note Series) vol. 129 (Cambridge University Press, Cambridge, 1990). Google Scholar

[58] Larsen, M., Shalev, A. and Tiep, P. H., ‘Products of derangements in simple permutation groups’, Forum Math. Sigma 10 (2022), Paper No. e83, 30 pp.10.1017/fms.2022.69 Google Scholar | DOI

[59] Larsen, M. and Tiep, P. H., ‘Squares of conjugacy classes in alternating groups’, Proc. Amer. Math. Soc., to appear. Google Scholar

[60] Lawther, R., Liebeck, M. W. and Seitz, G. M., ‘Fixed point ratios in actions of finite exceptional groups of Lie type’, Pacific J. Math. 205 (2002), 393–464.10.2140/pjm.2002.205.393 Google Scholar | DOI

[61] Lev, A., ‘Covering the group by the square of a conjugacy class’, Comm. Algebra 27 (1999), 1207–1253.10.1080/00927879908826490 Google Scholar | DOI

[62] Li, C. H. and Zhang, H., ‘The finite primitive groups with soluble stabilizers, and the edge-primitive -arc transitive graphs’, Proc. Lond. Math. Soc. 103 (2011), 441–472.10.1112/plms/pdr004 Google Scholar | DOI

[63] Liebeck, M. W., ‘Width questions for finite simple groups’, in Groups St Andrews 2013 (London Math. Soc. Lecture Note Ser.) vol. 422 (Cambridge Univ. Press, Cambridge, 2015), 51–72.10.1017/CBO9781316227343.003 Google Scholar | DOI

[64] Liebeck, M. W., O’Brien, E. A., Shalev, A. and Tiep, P. H., ‘The Ore conjecture’, J. Eur. Math. Soc. (JEMS) 12 (2010), 939–1008.10.4171/jems/220 Google Scholar | DOI

[65] Liebeck, M. W., Praeger, C. E. and Saxl, J., ‘On the O’Nan-Scott theorem for finite primitive permutation groups’, J. Austral. Math. Soc. Ser. A 44 (1988), 389–396.10.1017/S144678870003216X Google Scholar | DOI

[66] Liebeck, M. W. and Saxl, J., ‘Minimal degrees of primitive permutation groups, with an application to monodromy groups of covers of Riemann surfaces’, Proc. London Math. Soc. 63 (1991), 266–314.10.1112/plms/s3-63.2.266 Google Scholar | DOI

[67] Liebeck, M. W., Saxl, J. and Seitz, G. M., ‘Subgroups of maximal rank in finite exceptional groups of Lie type’, Proc. London Math. Soc. 65 (1992), 297–325.10.1112/plms/s3-65.2.297 Google Scholar | DOI

[68] Liebeck, M. W. and Seitz, G. M., Unipotent and Nilpotent Classes in Simple Algebraic Groups and Lie Algebras (Mathematical Surveys and Monographs) vol. 180 (Amer. Math. Soc., Providence, RI, 2012). Google Scholar

[69] Lübeck, F., ‘Centralisers and numbers of semisimple classes in finite groups of Lie type’, http://www.math.rwth-aachen.de/~Frank.Luebeck/chev/CentSSClasses Google Scholar

[70] Łuczak, T. and Pyber, L., ‘On random generation of the symmetric group’, Combin. Probab. Comput. 2 (1993), 505–512.10.1017/S0963548300000869 Google Scholar | DOI

[71] Malle, G., Saxl, J. and Weigel, T., ‘Generation of classical groups’, Geom. Dedicata 49 (1994), 85–116.10.1007/BF01263536 Google Scholar | DOI

[72] Massias, J.-P., Nicolas, J.-L. and Robin, G., ‘Effective bounds for the maximal order of an element in the symmetric group’, Math. Comp. 53 (1989), 665–678.10.1090/S0025-5718-1989-0979940-4 Google Scholar | DOI

[73] Newman, M., ‘Similarity over ’, Linear and Multilinear Algebra 12 (1982/83), 223–226.10.1080/03081088208817486 Google Scholar | DOI

[74] Ramanujan, S., ‘A proof of Bertrand’s postulate’, J. Indian Math. Soc. 11 (1919) 181–182. Google Scholar

[75] Serre, J.-P., ‘On a theorem of Jordan’, Bull. Amer. Math. Soc. 40 (2003), 429–440.10.1090/S0273-0979-03-00992-3 Google Scholar | DOI

[76] Shinoda, K., ‘The conjugacy classes of the finite Ree groups of type ’, J. Fac. Sci. Univ. Tokyo 22 (1975), 1–15. Google Scholar

[77] Simpson, W. A. and Frame, J. S., ‘The character tables for ’, Canadian J. Math. 25 (1973), 486–494.10.4153/CJM-1973-049-7 Google Scholar | DOI

[78] Steinberg, R., ‘Generators for simple groups’, Canadian J. Math. 14 (1962), 277–283.10.4153/CJM-1962-018-0 Google Scholar | DOI

[79] Suzuki, M., ‘On a class of doubly transitive groups’, Ann. of Math. 75 (1962), 105–145.10.2307/1970423 Google Scholar | DOI

[80] Tiep, P. H. and Zalesski, A. E., ‘Real conjugacy classes in algebraic groups and finite groups of Lie type’, J. Group Theory 8 (2005), 291–315.10.1515/jgth.2005.8.3.291 Google Scholar | DOI

[81] Weigel, T., ‘Generation of exceptional groups of Lie type’, Geom. Dedicata 41 (1992), 63–87.10.1007/BF00181543 Google Scholar | DOI

[82] Wielandt, H., Finite Permutation Groups (Academic Press, New York-London, 1964). Google Scholar

[83] Wilson, R. A., ‘Maximal subgroups of and its automorphism groups’, Preprint, 2018, . Google Scholar | arXiv

[84] Wilson, R. A. et al., A World-Wide-Web Atlas of Finite Group Representations, http://brauer.maths.qmul.ac.uk/Atlas/v3/ Google Scholar

[85] Zsigmondy, K., ‘Zur Theorie der Potenzreste’, Monatsh. Math. Phys. 3 (1892), 265–284.10.1007/BF01692444 Google Scholar | DOI

Cité par Sources :