The mixed-order strong subnormalizer conjecture

From papers

Let GG be a finite group and let xGx\in G. Write x=pxpx=\prod_p x_p for the decomposition of xx into its pp-parts. Assume that, for every prime pp dividing o(x)o(x), the pair (G,xp)(G,x_p) satisfies the strong subnormalizer conjecture. The mixed-order strong subnormalizer conjecture. There exists a bijection

f:Irrx(G)Irrx(SubG(x))f:\operatorname{Irr}^x(G)\longrightarrow \operatorname{Irr}^x(\operatorname{Sub}_G(x))

such that χ(x)=±f(χ)(x)\chi(x)=\pm f(\chi)(x) for every χIrrx(G)\chi\in\operatorname{Irr}^x(G), and, if xpx_{p'} centralizes a Sylow pp-subgroup of GG, then χ(1)p=f(χ)(1)p\chi(1)_p=f(\chi)(1)_p for every such χ\chi. The paper notes counterexamples to analogous unrestricted formulations and treats this statement more as a question than as an established conjecture.

Progress summary

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

Sources & referencesView supporting material

Primary source

Alexander Moretó, “Alperin's Main Problem of Block Theory”, arXiv:2605.11988 (2026).

Solutions 0

No solutions have been posted yet.