伊萨克斯-纳瓦罗-沃尔夫猜想
The Isaacs-Navarro-Wolf conjecture
首次发表
浏览论文内容
中文总结 AI 辅助
本文借助人工智能系统证明了伊萨克斯-纳瓦罗-沃尔夫猜想，该猜想限定有限可解群中满足所有不可约特征标在某元素处取值非零的元素必属于幂零正规子群。
中文摘要 AI 辅助
伊萨克斯-纳瓦罗-沃尔夫猜想指出：若G是有限可解群，x是G中一个元素，使得对G的所有不可约特征标χ，χ(x)均不为零，则x必包含于某个幂零正规子群。本文给出了借助人工智能系统发现的该猜想的一个证明。
英文摘要
The Isaacs--Navarro--Wolf conjecture states that if $G$ is a finite solvable group and $x$ is an element of $G$ such that $χ(x)$ does not vanish for all irreducible characters $χ$ of $G$, then $x$ must be contained in some nilpotent normal subgroup. In this paper we present a proof of the Isaacs--Navarro--Wolf conjecture that was discovered with the use of artificial intelligence systems.
