The Isaacs-Navarro-Wolf conjecture

Abstract

The Isaacs--Navarro--Wolf conjecture states that if $G$ is a finite solvable group and $x$ is an element of $G$ such that $\chi (x)$ does not vanish for all irreducible characters $\chi$ 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.

arXiv commentArtificial intelligence systems were used for this project