Prime-graph-complement invariance conjecture for PSL(2, q)-solvable groups

Let pp and qq be prime powers such that PSL⁡(2,q)\operatorname{PSL}(2,q) and PSL⁡(2,p)\operatorname{PSL}(2,p) are K4K_4-groups. Suppose one of the following holds: pp and qq are primes with p,q≡1(mod12)p,q\equiv 1\pmod{12}; pp and qq are primes with p,q≢1(mod12)p,q\not\equiv 1\pmod{12}; p=2fp=2^f and q=2gq=2^g for primes f,g≥5f,g\geq 5; or p=3fp=3^f and q=3gq=3^g with f,g≠4f,g\neq 4. For a graph Ξ\Xi, prime-graph-complement invariance conjecture.

Ξ≅Γ‾⁡(G) for some G a PSL⁡(2,q)-solvable group\Xi\cong\operatorname{\overline{\Gamma}}(G)\text{ for some }G\text{ a }\operatorname{PSL}(2,q)\text{-solvable group}

if and only if

Ξ≅Γ‾⁡(H) for some H a PSL⁡(2,p)-solvable group.\Xi\cong\operatorname{\overline{\Gamma}}(H)\text{ for some }H\text{ a }\operatorname{PSL}(2,p)\text{-solvable group}.

This conjecture would help classify prime graph complements of PSL⁡(2,q)\operatorname{PSL}(2,q)-solvable groups by transferring realizability between the specified parameters pp and qq.

References

Primary source

Thomas Michael Keller, Zachary Martin, Alexa Renner, Gabriel Roca and Eric Yu, “Criteria for Classifying Prime Graphs of PSL(2, q)-Solvable Groups”, arXiv:2510.21979 (2025).

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.