A generalization of the Barban-Davenport-Halberstam theorem to number fields (Q841255): Difference between revisions

For a fixed \(M>0\), the Barban-Davenport-Halberstam theorem says that \[ \sum_{q\leq Q}\sum_{\substack{a=1\\ (a,q)=1}}^q\Big(\psi(x;q,a)-\frac{x}{\varphi(q)}\Big)^2\ll xQ\log x \] if \(x(\log x)^{-M}\leq Q\leq x\), with \(\psi(x;q,a)=\sum_{p^m\leq x,~p^m\equiv a\pmod{q}}\log p\) and \(\varphi\) Euler's totient function. The outer sum is over the integers \(q\leq Q\), the inner sum over the primitive residue classes modulo \(q\). Let \(K\) be a number field that is normal over the rationals. The author, using a large sieve inequality, establishes an analogue of the Barban-Davenport-Halberstam theorem, where the sum is not over the primes \(p\) with \(p^m\leq x\), but over the prime ideals with \(m\)th power norm \(\leq x\) and \(\varphi(q)\) is replaced by the degree of the extension \(K(\zeta_q)\) over \(K\).