Skip to content
Preprint

A Proof of Gluck's Conjecture

Aug 2026 · 0 citations · 30 references
Mathematics

Abstract

For a finite group $H$, let $\nu(H)$ denote the maximum order of a nilpotent subgroup of $H$. We prove that every finite solvable transitive permutation group $P$ on a finite set $\Omega$ has a subset $\Delta\subseteq\Omega$ such that $|P:P_\Delta|\ge\nu(P_\Delta)$. We also prove that if a finite solvable group $H$ acts faithfully and completely reducibly on a finite module $V$, then some $x\in V$ satisfies $|H:H_x|\ge\nu(H_x)$. Consequently, we settle Gluck's well-known conjecture, open since 1985: every finite solvable group $G$ satisfies $|G:\mathbf{F}(G)|\le b(G)^2$, where $\mathbf{F}(G)$ is the largest normal nilpotent subgroup of $G$ and $b(G)$ is the largest degree of an irreducible complex character of $G$.

View source

Similar papers

Preprint Aug 2026

Oort's conjecture on supersingular abelian varieties in odd characteristic

Oort's conjecture asserts that for any $g \geq 2$ and any prime $p$, every geometric generic member in the supersingular locus $\mathcal{S}_g$ has automorphism group $\{ \pm 1 \}$. This has been proved very recently by Viehmann in full generality, with previously known counterexamples for $p=2$ and $g=2,3$. We construc...

V. Karemaker, Chia-Fu Yu · 2 citations
Preprint Aug 2026

On the Generalized Rational Exponents Conjecture

For fixed graphs $H$ and $F$, let $\ex(n,H,F)$ denote the maximum number of copies of $H$ in an $n$-vertex $F$-free graph. In this note, we prove the generalized rational exponents conjecture, posed by Gerbner and Palmer, showing that for every rational number $\alpha\ge1$, there exist fixed graphs $H_\alpha$ and $F_\a...

Jian-Feng Hou, Caihong Yang · 0 citations
Preprint Sep 2026

Some generalizations of Oort's conjecture

For a prime $p\geq 5$, let $\mathscr S_g$ be the moduli space over $\overline{\mathbb F}_p$ of $g$-dimensional principally polarized supersingular abelian varieties. We show that each of the following loci contains an open dense subscheme on which the principally polarized abelian varieties have automorphism group $\{\...

Ryosuke Shimada, Teppei Takamatsu · 2 citations
Preprint Sep 2026

Hilbert's Irreducibility for $\mathbb{G}_m$

Let $K$ be a number field and $S$ a finite set of non-archimedean places. Write $\mathcal{O}_S$ for the ring of $S$-integers of $K$ and $\mathcal{O}_S^\times$ for its unit group. Let $\pi : X \rightarrow \mathbb{P}^1$ be a morphism of (irreducible) curves defined over $K$, and denote by $\operatorname{Red}(\pi)$ the se...

Michael Stoll, S. Siksek · 0 citations
Preprint Aug 2026

Locally Solvable Radicals via Wilson Radical Sets and Subgroup Lattices

For a group $G$, let $S(G)$ be the set of elements $g \in G$ such that $\langle g,x\rangle$ is solvable for all $x \in G$. We study when $S(G)$ coincides with the locally solvable radical $R_{\mathrm{L}\mathfrak{S}}(G)$. Using Wilson's profinitely convergent word sequences, we show that, for every locally (solvable-by-...

C. Nam · 0 citations
Preprint Aug 2026

A $\sigma$-McKay theorem for $\pi$-separable groups

We prove a Hall $\sigma$-subgroup analogue of the McKay conjecture for $\pi$-separable groups proposed by G. Navarro. This result simultaneously generalizes the classical McKay conjecture and its $\pi$-separable version. More precisely, if $G$ is $\pi$-separable, $p$ is a prime and $\sigma=\pi\cup\{p\}$, then it is kno...

David Cabrera-Berenguer · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.