Abstract
We bound the size of fibers of word maps in finite and residually finite groups, and derive various applications. Our main result shows that, for any word \(1 \ne w \in F_d\) there exists \(\epsilon > 0\) such that if \(\Gamma \) is a residually finite group with infinitely many non-isomorphic non-abelian upper composition factors, then all fibers of the word map \(w:\Gamma ^d \rightarrow \Gamma \) have Hausdorff dimension at most \(d -\epsilon \). We conclude that profinite groups \(G := {\hat{\Gamma }}\), \(\Gamma \) as above, satisfy no probabilistic identity, and therefore they are randomly free, namely, for any \(d \ge 1\), the probability that randomly chosen elements \(g_1, \ldots , g_d \in G\) freely generate a free subgroup (isomorphic to \(F_d\)) is 1. This solves an open problem from Dixon et al. (J Reine Angew Math (Crelle’s) 556:159–172, 2003). Additional applications and related results are also established. For example, combining our results with recent results of Bors, we conclude that a profinite group in which the set of elements of finite odd order has positive measure has an open prosolvable subgroup. This may be regarded as a probabilistic version of the Feit–Thompson theorem.
Similar content being viewed by others
References
Abért, M.: Group laws and free subgroups in topological groups. Bull. Lond. Math. Soc. 37, 525–534 (2005)
Babai, L., Cameron, P.J., Pálfy, P.P.: On the orders of primitive groups with restricted nonabelian composition factors. J. Algebra 79, 161–168 (1982)
Borel, A.: On free subgroups of semisimple groups. Enseign. Math. 29, 151–164 (1983)
Bors, A.: Fibers of automorphic word maps and an application to composition factors. J. Group Theory 20(6), 1103–1134 (2017)
Bors, A.: Fibers of word maps and the multiplicities of nonabelian composition factors. Int. J. Algebra Comput. https://doi.org/10.1142/S0218196717500539
Dixon, J.D., Pyber, L., Seress, Á., Shalev, A.: Residual properties of free groups and probabilistic methods. J. Reine Angew. Math. (Crelle’s) 556, 159–172 (2003)
Epstein, D.B.A.: Almost all subgroups of a Lie group are free. J. Algebra 19, 261–262 (1971)
Feit, W., Thompson, J.G.: Solvability of groups of odd order. Pacific J. Math. 13, 775–1029 (1963)
Fulton, W.: Intersection Theory, Ergebnisse der Mathematik und ihrer Grenzgebiete (3). Springer, Berlin (1984)
Guralnick, R.M., Tiep, P.H.: Effective results on the Waring problem for finite simple groups. Am. J. Math. 137(5), 1401–1430 (2015)
Larsen, M.: Word maps have large image. Israel J. Math. 139, 149–156 (2004)
Larsen, M., Shalev, A.: Word maps and waring type problems. J. Am. Math. Soc. 22, 437–466 (2009)
Larsen, M., Shalev, A.: Fibers of word maps and some applications. J. Algebra 354, 36–48 (2012)
Larsen, M., Shalev, A.: Probabilistic identities and a probabilistic tits alternative. Algebra Number Theory 10, 1359–1371 (2016)
Larsen, M., Shalev, A., Tiep, P.H.: The Waring problem for finite simple groups. Ann. Math. 174, 1885–1950 (2011)
Liebeck, M.W., Shalev, A.: Diameters of finite simple groups: sharp bounds and applications. Ann. Math. 154, 383–406 (2001)
Liebeck, M.W., O’Brien, E.A., Shalev, A., Tiep, P.H.: The ore conjecture. J. Eur. Math. Soc. 12, 939–1008 (2010)
Mann, A.: Finite groups containing many involutions. Proc. Am. Math. Soc. 122, 383–385 (1994)
Neumann, P.M.: Two combinatorial problems in group theory. Bull. Lond. Math. Soc. 21, 456–458 (1989)
Nikolov, N.: Strong approximation methods. Lectures on profinite topics in group theory. London Mathematical Society Study, Texts vol. 77, Cambridge Univ. Press, Cambridge, pp. 63–97 (2011)
Nikolov, N.: Verbal width in anabelian groups. Israel J. Math. 216, 847–876 (2016)
Pink, R.: Strong approximation for Zariski dense subgroups over arbitrary global fields. Comment. Math. Helv. 75, 608–643 (2000)
Segal, D.: Words: Notes on Verbal Width in Groups. London Math. Soc. Lecture Note Series 361, Cambridge University Press, Cambridge (2009)
Shalev, A.: Word maps, conjugacy classes, and a noncommutative waring-type theorem. Ann. Math. 170, 1383–1416 (2009)
Szegedy, B.: Almost all finitely generated subgroups of the Nottingham group are free. Bull. Lond. Math. Soc. 37, 75–79 (2005)
Weisfeiler, B.: Strong approximation for Zariski-dense subgroups of semisimple algebraic groups. Ann. Math. 120, 271–315 (1984)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Andreas Thom.
ML was partially supported by NSF Grant DMS-1401419. AS was partially supported by ERC advanced Grant 247034, BSF Grant 2008194, ISF Grant 1117/13 and the Vinik Chair of mathematics which he holds.
Rights and permissions
About this article
Cite this article
Larsen, M., Shalev, A. Words, Hausdorff dimension and randomly free groups. Math. Ann. 371, 1409–1427 (2018). https://doi.org/10.1007/s00208-017-1635-y
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-017-1635-y