Sylow synchronization in finite groups: the good case

Abstract

Let $G$ be a finite solvable group such that, for any prime $p$ and any quotient $Q$ of $G$, there are two Sylow $p$-subgroups of $Q$ intersecting in $O_p(Q)$. Then, for every family $(P_i)_{i=1}^n$ of Sylow subgroups of $G$ for distinct primes $p_1,\ldots,p_n$, there exists $x \in G$ such that $P_i \cap P_i^x = O_{p_i}(G)$ for all $i$. This covers groups of odd order, partially settling a conjecture of the second and fourth authors and unifying old results of Bialostocki and Mann on the intersection of nilpotent subgroups. We also prove a result for all symmetric and alternating groups, completing the proof of the conjecture for simple groups as initiated by Burness and the first author.