Moretó's subnormalizer conjecture for finite groups

From papers

Let GG be a finite group, let pp be a prime, and let xGx\in G be a pp-element. Write Irrx(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)={yGxx,y},S_G(x)=\{y\in G\mid\langle x\rangle\mathrel{\triangleleft\triangleleft}\langle x,y\rangle\},

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

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

such that, for every χIrrx(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.

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

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.

Solutions 0

No solutions have been posted yet.