Characteristic covering numbers of finite simple groups

Michael Larsen, Aner Shalev*, Pham Huu Tiep

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


In the past few decades there has been considerable interest in word maps on groups with emphasis on (non-abelian) finite simple groups. Various asymptotic results (holding for sufficiently large groups) have been obtained. More recently non-asymptotic results (holding for all finite simple groups) emerged, with emphasis on particular words (commutators and certain power words) which are not an identity of any finite simple group. In this paper we initiate a systematic study of all words with the above property. In particular, we show that, if w1, … , w6 are words which are not an identity of any (non-abelian) finite simple group, then w1(G) w2(G) … w6(G) = G for all (non-abelian) finite simple groups G. Consequently, for every word w, either w(G) 6= G for all finite simple groups, or w(G) = 1 for some finite simple group. These theorems follow from more general results we obtain on characteristic collections of finite groups and their covering numbers, which are of independent interest and have additional applications.

Original languageAmerican English
Pages (from-to)167-189
Number of pages23
JournalMathematische Annalen
Issue number1
StatePublished - Jan 2024

Bibliographical note

Funding Information:
ML was partially supported by NSF grant DMS-2001349. AS was partially supported by ISF grant 686/17 and the Vinik Chair of mathematics which he holds. PT was partially supported by NSF grants DMS-1840702 and DMS-2200850, the Joshua Barlaz Chair in Mathematics, and the Charles Simonyi Endowment at the Institute for Advanced Study (Princeton). The authors were also partially supported by BSF grants 2016072 and 2020037.

Publisher Copyright:
© 2022, The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature.


Dive into the research topics of 'Characteristic covering numbers of finite simple groups'. Together they form a unique fingerprint.

Cite this