Orbits of Sylow subgroups of finite permutation groups

DOI10.1016/J.JALGEBRA.2021.06.017MaRDI QIDQ2153304zbMATH OpenOpenAlexFDO

Authors John Bamberg, Alexander Bors, Alice Devillers, Michael Giudici, Cheryl E. Praeger, Gordon Royle

Publication date 4 July 2022

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2102.00448

zbMATH Keywords

permutation groupsprimitive groupsSylow subgroups

Mathematics Subject Classification ID

General theory for finite permutation groups (20B05) Primitive groups (20B15) Sylow subgroups, Sylow properties, (pi)-groups, (pi)-structure (20D20)

Review text

\par Let \(G\) be a finite group acting on a set \(\Omega\) of size \(n\) and for \(\omega \in \Omega\) let \(G_\omega\) be the stabilizer of \(\omega\) in \(G\). For a prime \(p\) we say that \(G\) has property \((*)_p\) if \(P_\omega \) is a Sylow \(p\)-subgroup of \(G_\omega\) for all \(\omega \in \Omega\) and all Sylow \(p\)-subgroups \(P\) of \(G\). \textit{S. Tornier} [J. Group Theory 21, No. 2, 229--240 (2018; Zbl 1404.20020)] introduced this property while working on local Sylow \(p\)-subgroups of Burger-Mozes groups where he determined values of \(p\) such that the alternating group \(A_n\) and the symmetric group \(S_n\) acting on an \(n\)-element set has property \((*)_p\). The current paper extends Tornier's result to finite 2-transitive groups and gives a characterization for finite primitive groups satisfying \((*)_p\) for an allowable \(p\). Since \(G\) has property \((*)_p\) if and only if \(G\) acts on each of its orbits with property \((*)_p\) (Lemma 2.1), it is enough to focus on transitive group actions. A transitive group can be primitive or imprimitive. Section 3 focuses on imprimitive transitive groups while Section 4 includes a proof of Theorem 1.3, a structural characterization of primitive groups having property \((*)_p\). Section 5 is devoted to establishing a characterization of all 2-transitive groups with property \((*)_p\) (Theorem 1.5) thereby generalizing Tornier's result for \(A_n\) and \(S_n\). Section 6 includes a survey of the permutation groups of degree at most 39 having property \((*)_2\) or \((*)_3\).

Recommendations

• scientific article; zbMATH DE number 1829270
• Groups 2-Transitive on a set of their Sylow subgroups
• Orbits of permutation groups on the power set
• Finite groups acting \(2\)-transitively on their Sylow subgroups
• scientific article; zbMATH DE number 750970

Cites work

• Abundant \(p\)-singular elements in finite classical groups.
• Classical Groups, Derangements and Primes
• Groups acting on trees: From local to global structure
• scientific article; zbMATH DE number 4055862 (Why is no real title available?)
• scientific article; zbMATH DE number 46357 (Why is no real title available?)
• scientific article; zbMATH DE number 1261512 (Why is no real title available?)
• scientific article; zbMATH DE number 1111401 (Why is no real title available?)
• scientific article; zbMATH DE number 894528 (Why is no real title available?)
• scientific article; zbMATH DE number 3223737 (Why is no real title available?)
• Interrelations of symplectic and orthogonal groups in characteristic two
• On the Sylow subgroups of a doubly transitive permutation group
• Permutation groups and Cartesian decompositions
• Prime localizations of Burger-Mozes-type groups
• Proportions of elements with given 2-part order in finite classical groups of odd characteristic.
• The Magma algebra system. I: The user language
• The maximal subgroups of the Chevalley groups \(G_ 2(q)\) with q odd, the Ree groups \(2G_ 2(q)\), and their automorphism groups

Cited in

(6)

• Regular orbits of cyclic subgroups in permutation representations of certain simple groups
• Orbits of Infinite Permutation Groups
• A Note on Orbits of Subgroups of the Permutation Groups
• Orbit closed permutation groups, relation groups, and simple groups
• Orbits of Sylow subgroups of finite permutation groups
• Derangements in permutation groups with two orbits

Describes a project that uses

Uses Software

• Magma
• GAP

This page was built for publication: Orbits of Sylow subgroups of finite permutation groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2153304)