Moretó's subnormalizer conjecture for finite groups

Less than 1 year old · traced to

Let GG be a finite group, let pp be a prime, and let x∈Gx\in G be a pp-element. Write Irr⁡x(G)\operatorname{Irr}^x(G) for the irreducible complex characters of GG that are nonzero at xx. Define the subnormalizer subset of xx in GG by

SG(x)={y∈G∣⟨x⟩◃◃⟨x,y⟩},S_G(x)=\{y\in G\mid\langle x\rangle\mathrel{\triangleleft\triangleleft}\langle x,y\rangle\},

and define the subnormalizer by Sub⁡G(x)=⟨SG(x)⟩\operatorname{Sub}_G(x)=\langle S_G(x)\rangle. Subnormalizer conjecture. There exists a bijection

f:Irr⁡x(G)→Irr⁡x(Sub⁡G(x))f:\operatorname{Irr}^x(G)\to\operatorname{Irr}^x(\operatorname{Sub}_G(x))

such that, for every χ∈Irr⁡x(G)\chi\in\operatorname{Irr}^x(G), χ(1)p=f(χ)(1)p\chi(1)_p=f(\chi)(1)_p and Q(f(χ)(x))=Q(χ(x))\mathbb{Q}(f(\chi)(x))=\mathbb{Q}(\chi(x)). This generalizes the picky conjecture: when xx is picky, the subnormalizer equals the normalizer of the unique Sylow pp-subgroup containing xx. The source records substantial results for this family of conjectures, but does not state that the general subnormalizer conjecture is solved.

References

Primary source

Gabriel A. L. Souza, “Subnormalizers and character correspondences in p-solvable groups”, arXiv:2605.22669 (2026).

Additional references

2 papers in this index state this conjecture (2026). The statement above is taken from the most recent of them; the others are arXiv:2605.11988.

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.