A problem of Chowla revisited (Q548059)

Es sei \(f: \mathbb{Z}\to\overline{\mathbb{Q}}\) periodisch mit der Periodenlänge \(q\geq3\) und \(\sum_{n=1}^q f(n)=0\), jedoch \(f\neq0\). \textit{A. Baker, B. J. Birch} und \textit{E. Wirsing} [J. Number Theory 5, 224--236 (1973; Zbl 0267.10065)] fanden Bedingungen für \(\sum_{n\geq1}f(n)/n\neq0\), nämlich (i): \(f(n)=0\), falls \(1<\mathrm{ggT}(n,q)<q\) und (ii): \(\Phi_q\), das \(q\)te Kreisteilungspolynom, ist über \(\mathbb{Q}(f(1),\dots,f(q))\) irreduzibel. Verff. zeigen nun, dass \(f\) in Bedingung (ii) durch \(f_o\) ersetzt werden kann, \(f_o(n):=(f(n)-f(-n))/2\) der `ungerade Anteil' von \(f\). Ihr Beweis benutzt Eigenschaften der reellen, multiplikativ unabhängigen Einheiten in Kreisteilungskörpern nach \textit{K. Ramachandra} [Acta Arith. 12, 165--173 (1966; Zbl 0144.29404)]. Als Konsequenz finden Verff. ein Resultat von \textit{T. Okada} [J. Lond. Math. Soc. (2) 33, 13--21 (1986; Zbl 0589.10034)] wieder: Die Zahlen \(L(1,\chi)\), wobei \(\chi\) alle nichttrivialen geraden Dirichlet-Charaktere modulo \(q\) durchläuft, sind über \(\overline{\mathbb{Q}}\) linear unabhängig.