The mixed-order strong subnormalizer conjecture

Less than 1 year old · traced to

Let GG be a finite group and let x∈Gx\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:Irr⁡x(G)⟶Irr⁡x(Sub⁡G(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 χ∈Irr⁡x(G)\chi\in\operatorname{Irr}^x(G), and, if xp′x_{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.

References

Primary source

Alexander Moretó, “Alperin's Main Problem of Block Theory”, arXiv:2605.11988 (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.