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 xGx \in G such that

PiPix=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.

Sources & referencesView supporting material

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.