Conjecture on squares of automorphism cosets in finite simple groups

Let G=Inn(G)G=\operatorname{Inn}(G) be a non-abelian finite simple group, and let αAut(G)\alpha\in\operatorname{Aut}(G). Coset-square conjecture. There exists xαGx\in\alpha G such that, for the conjugacy class C=xGC=x^G,

C2=α2G.C^2=\alpha^2G.

This conjecture extends the idea that a suitable conjugacy class has maximal square expansion from inner classes to automorphism cosets. The source presents it as a conjecture supported by examples, without giving a resolution.

Sources & referencesView supporting material

Primary source

Chris Parker and Jack Saunders, “Expansion of normal subsets of odd-order elements in finite groups”, arXiv:2507.07529 (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.