A Proof of Gluck's Conjecture

Abstract

For a finite group $H$, let $ν(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 $Ω$ has a subset $Δ\subseteqΩ$ such that $|P:P_Δ|\geν(P_Δ)$. 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ν(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$.