Maximal subgroups in finite and profinite groups

Borovik, Alexandre; Pyber, Laszlo; Shalev, Aner

doi:10.1090/S0002-9947-96-01665-0

Maximal subgroups in finite and profinite groups
HTML articles powered by AMS MathViewer

by Alexandre V. Borovik, Laszlo Pyber and Aner Shalev PDF

Trans. Amer. Math. Soc. 348 (1996), 3745-3761 Request permission

Abstract:

We prove that if a finitely generated profinite group $G$ is not generated with positive probability by finitely many random elements, then every finite group $F$ is obtained as a quotient of an open subgroup of $G$. The proof involves the study of maximal subgroups of profinite groups, as well as techniques from finite permutation groups and finite Chevalley groups. Confirming a conjecture from Ann. of Math. 137 (1993), 203–220, we then prove that a finite group $G$ has at most $|G|^c$ maximal soluble subgroups, and show that this result is rather useful in various enumeration problems.

References

M. Aschbacher, On the maximal subgroups of the finite classical groups, Invent. Math. 76 (1984), no. 3, 469–514. MR 746539, DOI 10.1007/BF01388470
M. Aschbacher and R. Guralnick, Solvable generation of groups and Sylow subgroups of the lower central series, J. Algebra 77 (1982), no. 1, 189–201. MR 665173, DOI 10.1016/0021-8693(82)90286-1
L. Babai, P. J. Cameron, and P. P. Pálfy, On the orders of primitive groups with restricted nonabelian composition factors, J. Algebra 79 (1982), no. 1, 161–168. MR 679977, DOI 10.1016/0021-8693(82)90323-4
Meenaxi Bhattacharjee, The probability of generating certain profinite groups by two elements, Israel J. Math. 86 (1994), no. 1-3, 311–329. MR 1276141, DOI 10.1007/BF02773684
Roger W. Carter, Simple groups of Lie type, Pure and Applied Mathematics, Vol. 28, John Wiley & Sons, London-New York-Sydney, 1972. MR 0407163
F. Dalla Volta and A. Lucchini, Generation of almost simple groups, Preprint.
William M. Kantor and Alexander Lubotzky, The probability of generating a finite classical group, Geom. Dedicata 36 (1990), no. 1, 67–87. MR 1065213, DOI 10.1007/BF00181465
Peter Kleidman and Martin Liebeck, The subgroup structure of the finite classical groups, London Mathematical Society Lecture Note Series, vol. 129, Cambridge University Press, Cambridge, 1990. MR 1057341, DOI 10.1017/CBO9780511629235
Vicente Landazuri and Gary M. Seitz, On the minimal degrees of projective representations of the finite Chevalley groups, J. Algebra 32 (1974), 418–443. MR 360852, DOI 10.1016/0021-8693(74)90150-1
Martin W. Liebeck, Cheryl E. Praeger, and Jan Saxl, On the O’Nan-Scott theorem for finite primitive permutation groups, J. Austral. Math. Soc. Ser. A 44 (1988), no. 3, 389–396. MR 929529, DOI 10.1017/S144678870003216X
M. W. Liebeck and A. Shalev, The probability of generating a finite simple group, Geom. Ded. 56 (1995), 103–113.
Alexander Lubotzky, Subgroup growth and congruence subgroups, Invent. Math. 119 (1995), no. 2, 267–295. MR 1312501, DOI 10.1007/BF01245183
Alexander Lubotzky, Avinoam Mann, and Dan Segal, Finitely generated groups of polynomial subgroup growth, Israel J. Math. 82 (1993), no. 1-3, 363–371. MR 1239055, DOI 10.1007/BF02808118
A. Mann, Positively finitely generated groups, Forum Math., to appear.
A. Mann and D. Segal, Subgroup growth: a survey of current developments, to appear in the Proc. of the 1994 Ravello meeting.
A. Mann and A. Shalev, Simple groups, maximal subgroups, and probabilistic aspects of profinite groups, Israel J. Math., to appear.
L. Pyber, Enumerating finite groups of given order, Ann. of Math. (2) 137 (1993), no. 1, 203–220. MR 1200081, DOI 10.2307/2946623
L. Pyber and A. Shalev, Groups with super-exponential subgroup growth, Combinatorica, to appear.
Aner Shalev, Growth functions, $p$-adic analytic groups, and groups of finite coclass, J. London Math. Soc. (2) 46 (1992), no. 1, 111–122. MR 1180887, DOI 10.1112/jlms/s2-46.1.111
D. A. Suprunenko, Matrix groups, Translations of Mathematical Monographs, Vol. 45, American Mathematical Society, Providence, R.I., 1976. Translated from the Russian; Translation edited by K. A. Hirsch. MR 0390025, DOI 10.1090/mmono/045