Orbits of Sylow subgroups of finite permutation groups (Q2153304)

\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\).