Abstract
We refer to \( d(G) \) as the minimal size of a generating set of a finite group \( G \), and say that \( G \) is \( d \)-generated if \( d(G)\leq d \). A transitive permutation group \( G \) is called \( \frac{3}{2} \)-transitive if the point stabilizer \( G_{\alpha} \) is nontrivial and its orbits distinct from \( \{\alpha\} \) are of the same size. We prove that \( d(G)\leq 4 \) for every primitive \( \frac{3}{2} \)-transitive permutation group \( G \) and, moreover, \( G \) is \( 2 \)-generated except for the rather particular solvable affine groups that we describe completely. In particular, all finite \( 2 \)-transitive and \( 2 \)-homogeneous groups are \( 2 \)-generated. We also show that every finite group whose abelian subgroups are cyclic is \( 2 \)-generated, and so is every Frobenius complement.
Similar content being viewed by others
References
Aschbacher M. and Guralnick R., “Some applications of the first cohomology group,” J. Algebra, vol. 90, no. 2, 446–460 (1984).
Dalla Volta F. and Lucchini A., “Generation of almost simple groups,” J. Algebra, vol. 178, no. 1, 194–223 (1995).
McIver A. and Neumann P.M., “Enumerating finite groups,” Quart. J. Math. Oxford Ser., vol. 38, no. 4, 473–488 (1987).
Kovács L.G. and Newman M.F., “Generating transitive permutation groups,” Quart. J. Math. Oxford Ser., vol. 39, no. 3, 361–372 (1988).
Bryant R.M., Kovács L.G., and Robinson G.R., “Transitive permutation groups and irreducible linear groups,” Quart. J. Math. Oxford Ser., vol. 46, no. 4, 385–407 (1995).
Lucchini A., Menegazzo F., and Morigi M., “Asymptotic results for transitive permutation groups,” Bull. Lond. Math. Soc., vol. 32, no. 2, 191–195 (2000).
Tracey G., Sharp Upper Bound on the Minimal Number of Elements Required to Generate a Transitive Permutation Group. arXiv:2102.10070 [math.GR] (2021).
Pyber L. and Shalev A., “Asymptotic results for primitive permutation groups,” J. Algebra, vol. 188, no. 1, 103–124 (1997).
Lucchini A., Menegazzo F., and Morigi M., “Asymptotic results for primitive permutation groups and irreducible linear groups,” J. Algebra, vol. 223, no. 1, 154–170 (2000).
Dixon J.D. and Kovács L.G., “Generating finite nilpotent irreducible linear groups,” Quart. J. Math. Oxford Ser., vol. 44, no. 2, 1–15 (1993).
Wielandt H., Finite Permutation Groups, Academic, New York (1964).
Passman D.S., “Solvable half-transitive automorphism groups,” J. Algebra, vol. 6, no. 3, 285–304 (1967).
Passman D.S., “Solvable \( \frac{3}{2} \)-transitive permutation groups,” J. Algebra, vol. 7, no. 2, 192–207 (1967).
Passman D.S., “Exceptional \( \frac{3}{2} \)-transitive permutation groups,” Pacific J. Math, vol. 29, no. 3, 669–713 (1969).
Bamberg J., Giudici M., Liebeck M.W., Praeger C.E., and Saxl J., “Exceptional \( \frac{3}{2} \)-transitive permutation groups,” Trans. Amer. Math. Soc., vol. 365, 4257–4311 (2013).
Giudici M., Liebeck M.W., Praeger C.E., Saxl J., and Tiep P.H., “Arithmetic results on orbits of linear groups,” Trans. Amer. Math. Soc., vol. 368, no. 4, 2415–2467 (2016).
Liebeck M.W., Praeger C.E., and Saxl J., “The classification of \( \frac{3}{2} \)-transitive permutation groups and \( \frac{1}{2} \)-transitive linear groups,” Proc. Amer. Math. Soc., vol. 147, no. 12, 5023–5037 (2019).
Kantor W.M., “Automorphism groups of designs,” Math. Z., vol. 109, 246–252 (1969).
Gruenberg K.W., Relation Modules of Finite Groups, Amer. Math. Soc., Providence (1976) (CBMS Regional Conf. Ser. Math.; vol. 25).
Lucchini A. and Menegazzo F., “Generators for finite groups with a unique minimal normal subgroup,” Rend. Semin. Mat. Univ. Padova, vol. 98, 173–191 (1997).
Passman D.S., Permutation Groups, W. A. Benjamin, New York (1968).
Zassenhaus H., “Über endliche Fastkorper,” Abh. Math. Sem. Univ. Hamburg, vol. 11, no. 1, 187–220 (1936).
Wolf J.A., Spaces of Constant Curvature. Sixth Edition, AMS Chelsea, Providence (2011).
Gorenstein D., Finite Groups, Harper and Row, New York and London (1968).
Suzuki M., “On finite groups with cyclic Sylow subgroups for all odd primes,” Amer. J. Math., vol. 77, no. 4, 657–691 (1995).
Burnside W., Theory of Groups of Finite Order. Second Edition, Cambridge University, Cambridge (1991).
Cameron P.J., “Finite permutation groups and finite simple groups,” Bull. Lond. Math. Soc., vol. 13, no. 1, 1–22 (1981).
Cameron P.J., Permutation Groups. Lond. Math. Soc. Student Texts; vol. 45, Cambridge University, Cambridge (1999).
Hering C., “Transitive linear groups and linear groups which contain irreducible subgroups of prime order. II,” J. Algebra, vol. 93, no. 1, 151–164 (1985).
Liebeck M.W., “The affine permutation groups of rank three,” Proc. Lond. Math. Soc., vol. 54, no. 3, 477–516 (1987).
Huppert B. and Blackburn N., Finite Groups. III, Springer, Berlin and Heidelberg (1982).
Bray J.N., Holt D.F., and Roney-Dougal C.M., The Maximal Subgroups of the Low-Dimensional Finite Classical Groups, Cambridge University, Cambridge (2013) (Lond. Math. Soc. Lect. Note Ser.; vol. 407).
Kleidman P. and Liebeck M., The Subgroup Structure of the Finite Classical Groups, Cambridge University, Cambridge (1990) (Lond. Math. Soc. Lect. Note Ser.; vol. 129).
The GAP Group, GAP—Groups, Algorithms, and Programming. Version 4.11.1 (2021). http://www.gap-system.org
http://math.nsc.ru/~vasand/Computations/32computations.txt
Funding
The authors were supported by the Ministry of Science and Higher Education of the Russian Federation (Project FWNF–2022–0002).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Sibirskii Matematicheskii Zhurnal, 2022, Vol. 63, No. 6, pp. 1213–1223. https://doi.org/10.33048/smzh.2022.63.603
Rights and permissions
About this article
Cite this article
Vasil’ev, A.V., Zvezdina, M.A. & Churikov, D.V. The Size of a Minimal Generating Set for Primitive \( \frac{3}{2} \)-Transitive Groups. Sib Math J 63, 1041–1048 (2022). https://doi.org/10.1134/S0037446622060039
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0037446622060039
Keywords
- minimal generating set
- primitive permutation group
- \( \frac{3}{2} \)-transitive group
- \( 2 \)-transitive group
- \( 2 \)-homogeneous group
- Frobenius complement