Lucchini, Andrea; Moscatiello, Mariapia; Palcoux, Sebastien; Spiga, Pablo Boolean lattices in finite alternating and symmetric groups. (English) Zbl 1485.20060 Forum Math. Sigma 8, Paper No. e55, 35 p. (2020). Summary: Given a group \(G\) and a subgroup \(H\), we let \(\mathcal{O}_G(H)\) denote the lattice of subgroups of \(G\) containing \(H\). This article provides a classification of the subgroups \(H\) of \(G\) such that \(\mathcal{O}_G(H)\) is Boolean of rank at least \(3\) when \(G\) is a finite alternating or symmetric group. Besides some sporadic examples and some twisted versions, there are two different types of such lattices. One type arises by taking stabilisers of chains of regular partitions, and the other arises by taking stabilisers of chains of regular product structures. As an application, we prove in this case a conjecture on Boolean overgroup lattices related to the dual Ore’s theorem and to a problem of Kenneth Brown. MSC: 20D30 Series and lattices of subgroups 20B25 Finite automorphism groups of algebraic, geometric, or combinatorial structures 20B30 Symmetric groups 20B35 Subgroups of symmetric groups Software:Magma PDFBibTeX XMLCite \textit{A. Lucchini} et al., Forum Math. Sigma 8, Paper No. e55, 35 p. (2020; Zbl 1485.20060) Full Text: DOI arXiv References: [1] Aschbacher, M., ‘Overgroups of primitive groups’, J. Aust. Math. Soc.87 (2009), 37-82. · Zbl 1190.20012 [2] Aschbacher, M., ‘Overgroups of primitive groups II’, J. Algebra322 (2009), 1586-1626. · Zbl 1190.20013 [3] Aschbacher, M. and Shareshian, J., ‘Restrictions on the structure of subgroup lattices of finite alternating and symmetric groups’, J. Algebra322 (2009), 2449-2463. · Zbl 1185.20020 [4] Balodi, M. and Palcoux, S., ‘On Boolean intervals of finite groups’, J. Combin. Theory Ser. A, 157 (2018), 49-69. · Zbl 1441.05231 [5] Basile, A., Second Maximal Subgroups of the Finite Alternating and Symmetric Groups, PhD thesis, Australian National Univ., 2001. [6] Bosma, W., Cannon, J. and Playoust, C., ‘The Magma algebra system. I. The user language’, J. Symbolic Comput.24(3-4) (1997), 235-265. · Zbl 0898.68039 [7] Brown, K. S., ‘The coset poset and probabilistic zeta function of a finite group’, J. Algebra225(2) (2000), 989-1012. · Zbl 0973.20016 [8] Cameron, P. J., ‘Finite permutation groups and finite simple groups’, Bull. Lond. Math. Soc.13 (1981), 1-22. · Zbl 0463.20003 [9] Conway, J. H., Curtis, R. T., Norton, S. P., Parker, R. A. and Wilson, R. A., An Atlas of Finite Groups(Clarendon Press, Oxford, 1985; reprinted with corrections 2003). · Zbl 0568.20001 [10] Dixon, J. D. and Mortimer, B., Permutation Groups, Graduate Texts in Mathematics163(Springer-Verlag, New York, 1996). · Zbl 0951.20001 [11] Gaschütz, W., ‘Die Eulersche Funktion endlicher auflösbarer Gruppen’, Illinois J. Math.3 (1959), 469-476. · Zbl 0093.25002 [12] Guralnick, R. M., ‘Subgroups of prime power index in a simple group’, J. Algebra81 (1983), 304-311. · Zbl 0515.20011 [13] Hall, P., ‘The Eulerian functions of a group’, Q. J. Math., 7 (1936), 134-151. · Zbl 0014.10402 [14] Jones, G. A., ‘Cyclic regular subgroups of primitive permutation groups’, J. Group Theory5 (2002), 403-407. · Zbl 1012.20002 [15] Li, C. H., ‘The finite primitive permutation groups containing an abelian regular subgroup’, Proc. Lond. Math. Soc. (3)87 (2003), 725-747. · Zbl 1040.20001 [16] Liebeck, M. W., Praeger, C. E. and Saxl, J., ‘A classification of the maximal subgroups of the finite alternating and symmetric groups’, J. Algebra111 (1987), 365-383. · Zbl 0632.20011 [17] Liebeck, M. W., Praeger, C. E. and Saxl, J., ‘On the O’Nan-Scott theorem for finite primitive permutation groups’, J. Aust. Math. Soc.44 (1988), 389-396. · Zbl 0647.20005 [18] Liebeck, M. W., Praeger, C. E. and Saxl, J., ‘The maximal factorizations of the finite simple groups and their automorphism groups’, Mem. Amer. Math. Soc.432 (1990), 1-151. · Zbl 0703.20021 [19] Lucchini, A., ‘Subgroups of solvable groups with non-zero Möbius function’, J. Group Theory10(5) (2007), 5, 633-639. · Zbl 1130.20027 [20] Ore, O., ‘Structures and group theory. II’, Duke Math. J.4(2) (1938), 247-269. · Zbl 0020.34801 [21] Palcoux, S., ‘Dual Ore’s theorem on distributive intervals of finite groups’, J. Algebra505 (2018), 279-287. · Zbl 1437.20017 [22] Palcoux, S., ‘Euler totient of subfactor planar algebras’, Proc. Amer. Math. Soc.146(11) (2018), 4775-4786. · Zbl 1404.46054 [23] Palcoux, S., ‘Ore’s theorem for cyclic subfactor planar algebras and beyond’, Pacific J. Math.292(1) (2018), 203-221. · Zbl 1386.46047 [24] Palcoux, S., Ore’s theorem on subfactor planar algebras’. Quantum Topol. 11(2020), no. 3, 525-543. · Zbl 1386.46047 [25] Pálfy, P., Pudlák, P., ‘Congruence lattices of finite algebras and intervals in subgroup lattices of finite groups’, Algebra Universalis11 (1980), 22-27. · Zbl 0386.06002 [26] Patassini, M., ‘The probabilistic zeta function of \(\mathsf{PSL}\left(2,q\right)\) , of the Suzuki groups \({2}_2^B(q)\) and of the Ree groups \({2}_2^G(q)\) ’, Pacific J. Math.240(1) (2009), 185—200. · Zbl 1167.20013 [27] Patassini, M., ‘On the (non-)contractibility of the order complex of the coset poset of a classical group’, J. Algebra343 (2011), 37—77. · Zbl 1242.20026 [28] Patassini, M., ‘On the (non-)contractibility of the order complex of the coset poset of an alternating group’, Rend. Semin. Mat. Univ. Padova129 (2013), 35-46. · Zbl 1281.20027 [29] Praeger, C. E., ‘The inclusion problem for finite primitive permutation groups’, Proc. London Math. Soc. (3)60 (1990), 68-88. · Zbl 0653.20005 [30] Praeger, C. E. and Schneider, C., ‘Permutation groups and Cartesian decompositions’, London Math. Soc. Lecture Note Ser.449 (2018), 1-318. · Zbl 1428.20002 [31] Shareshian, J. and Woodroofe, R., ‘Order complexes of coset posets of finite groups are not contractible’, Adv. Math.291 (2016), 758-773. · Zbl 1348.20024 [32] Spiga, P., ‘Finite primitive groups and edge-transitive hypergraphs’, J. Algebraic Combin.43(3) (2016), 715-734. · Zbl 1336.05061 [33] Tits, J., The Geometric Vein, The Coxeter Festschrift, (Springer-Verlag, New York, 1982). [34] Zsigmondy, K., ‘Zur Theorie der Potenzreste’, Monatsh. Math. Phys.3 (1892), 265-284. · JFM 24.0176.02 This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.