Sharp characters whose values at non-identity elements are 0 and a family of algebraic conjugates (Q1320259)

For a given set \(L\) of complex numbers, let \(f_ L(x)\) denote the monic polynomial of least degree having \(L\) as its set of roots, that is the product of all \(x-a\) with \(a\) in \(L\). Let \(G\) be a finite group and \(\chi\) a character of \(G\) with \(\chi(1) = n\). The pair \((G, \chi)\) is called \(L\)-sharp if \(L = \{\chi(g) \mid g \in G,\;g \neq 1\}\) and if the number of elements of \(G\) is equal to \(f_ L(n)\). P. J. Cameron and M. Kiyota tried to determine all the \(L\)-sharp pairs \((G, \chi)\) for a given set \(L\); they conjectured that \(G\) is dihedral of twice odd prime order if \(L\) is the set \(\{ 0\} \cup L'\), where \(L'\) is a family of algebraic conjugates. This conjecture is proved in a paper of them in 1992 and also in a paper of S. Nozawa in 1992 under certain restrictive conditions. In the present paper the authors prove the conjecture without any restriction. \textit{D. Alvis} has independently proved the conjecture [in Commun. Algebra 21, 535-554 (1993; Zbl 0798.20004)] (mentioned in a note added in proof).