A note on Artin's conjecture in algebraic number fields (Q1068884)

The author generalizes a method of \textit{R. C. Vaughan} [ibid. 5, 64-79 (1973; Zbl 0266.10041)] concerning the size of a certain exceptional set of integers which are not primitive roots for all small primes, to algebraic number fields. Denote by \({\mathcal R}\) the set of totally positive integers \(\alpha\) in an algebraic number field K of degree n, satisfying \(| \alpha^{(k)}| \leq P\) for \(k=1,...,n\). Denote by E(P) the number of integers in \({\mathcal R}\), which are not primitive roots mod \({\mathfrak p}\) for any prime ideal \({\mathfrak p}\) satisfying N\({\mathfrak p}\leq \sqrt{P}\), (N\({\mathfrak p},2)=1\). Then the main result of the author is \[ E(P)\ll P^{1/2} (\log P)^{1-a} \] where a is a positive, explicitly given constant (Theorem 1.1). For the proof the author makes use of a generalization of Montgomery's formulation of the ''large sieve'' to algebraic number fields (Theorem 1.2): Let \(Q\geq 1\) be given. Assume that for any prime ideal \({\mathfrak p}\), N\({\mathfrak p}\leq Q\), there are chosen f(\({\mathfrak p})<N{\mathfrak p}\) distinct residue classes \(R_ i({\mathfrak p})\) modulo \({\mathfrak p}\), \(i=1,...,f({\mathfrak p})\). Then the number {\#}\(\{\) \(\alpha\in {\mathcal R}\), \(\alpha \not\in R_ i({\mathfrak p})\) for any \(p\), N\({\mathfrak p}\leq Q\), and for \(i=1,...,f({\mathfrak p})\}\) is \(\ll (Q^ 2+P) S^{-1}(Q),\) where \[ S(Q)=\sum_{N{\mathfrak q}\leq Q}\mu^ 2({\mathfrak q})\cdot \prod_{{\mathfrak p}| {\mathfrak q}}\frac{f({\mathfrak p})}{N{\mathfrak p}-f({\mathfrak p})}. \] In order to obtain Theorem 1.1, an asymptotic formula \[ \sum_{N{\mathfrak p}\leq X}\frac{\phi (N{\mathfrak p}-1)}{N{\mathfrak p}-\phi (N{\mathfrak p}-1)}=a \frac{X}{\log X}+ remainder\quad term \] has to be deduced.