A Proof of the Isaacs_Navarro_Wolf Conjecture
An element of a finite group is non-vanishing if no irreducible complex character vanishes on it. We prove that every non-vanishing element of a finite solvable group belongs to the Fitting subgroup. The proof combines the reduction of Isaacs, Navarro, and Wolf with an argument using finite symplectic spaces and Clifford theory.