Isaacs_Navarro_Wolf猜想的一个证明
A Proof of the Isaacs_Navarro_Wolf Conjecture
AI总结：
本文证明了有限可解群的非零元必属于Fitting子群，通过结合Isaacs等人的归约与有限辛空间、Clifford理论完成了Isaacs_Navarro_Wolf猜想的证明。
AI中文摘要：
有限群中的元素若没有不可约复特征标在其上消失，则称其为非零元。我们证明每个有限可解群的非零元都属于Fitting子群。该证明结合了Isaacs、Navarro和Wolf的归约，以及利用有限辛空间和Clifford理论的论证。
英文摘要：
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.
