{"id":"arxiv/2608.11525","url":"https://arxiv.org/abs/2608.11525","tags":["math.GR","math.RT"],"score":0,"title":"A Proof of Gluck's Conjecture","domain":"math.GR","source":"arxiv","authors":["Baoyu Zhang"],"reviews":0,"subject":"math.GR","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-12","reactions":{}}