Synchronization conjecture under the (∗)(*) condition

For a prime pp, let Op(G)O_p(G) be the intersection of all Sylow pp-subgroups of GG. Say that GG has (∗)p(*)_p if there exist two Sylow pp-subgroups whose intersection is contained in Op(G)O_p(G), and say that GG has (∗)(*) if it has (∗)p(*)_p for all primes pp. Let GG be a finite group with (∗)(*), and let (Pi)i=1n(P_i)_{i=1}^n be Sylow subgroups for distinct primes p1,…,pnp_1,\ldots,p_n. Synchronization conjecture under (∗)(*). There exists x∈Gx \in G such that

Pi∩Pix=Opi(G),i=1,…,n.P_i \cap P_i^x = O_{p_i}(G), \qquad i=1,\ldots,n.

This is a stronger form of the synchronization conjecture in the special case where the relevant pairwise minimal intersections are the corresponding normal pp-cores. The paper notes that the condition (∗)(*) holds for every finite simple group, but does not resolve the conjecture in general.

References

Primary source

Francesca Lisi and Luca Sabatini, “Sylow subgroups for distinct primes and intersection of nilpotent subgroups”, arXiv:2505.21222 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.