On finite groups admitting certain sharp characters with irrational values (Q4029232)

Let \(\chi\) be a character of \(G\); define \(L = \{\chi(g)\mid g \in G \setminus \{1\}\}\). The pair \((G,\chi)\) is called \(L\)-sharp, if \(f_ L(n) = \# G\), where \(n = \chi(1)\) and \(f_ L\) is the monic polynomial of least degree whose set of roots is \(L\). \textit{P. J. Cameron} and \textit{M. Kiyota} [J. Algebra 115, No. 1, 125-143 (1988; Zbl 0651.20010)] considered the problem of classifying the \(L\)- sharp pairs \((G,\chi)\) for a given set \(L\). Conjecture 7.2 of that paper states that if \(\{0\}\) is the set of rational integers in \(L\) and if \(L \setminus\{0\}\) consists of a single algebraic conjugacy class, then \(G\) is dihedral of twice odd prime order and \(\chi\) is irreducible of degree 2. This conjecture has been proved by \textit{M. Kiyota} and \textit{S. Nozawa} [J. Algebra 161, No. 1, 216-229 (1993)]. In this paper certain extensions to Conjecture 7.2 are considered. Namely a complete classification is obtained for the \(L\)-sharp pairs \((G,\chi)\) in which \(L \setminus (L\cap \mathbb{Z})\) is a single algebraic conjugacy class and either \(L\setminus(L \cap \mathbb{Z})\) contains \(\chi(g)\) for some element \(g \in G\) of prime order (Theorem 1.2) or else \(\#(L \cap \mathbb{Z}) = 1\) (Theorem 1.3). The proof of these Theorems is highly technical and covers most of the contents of the paper.