Über die Verteilung von primen primitiven Wurzeln in algebraischen Zahlkörpern. (On the distribution of prime primitive roots in algebraic number fields) (Q1060243)

Es sei K ein algebraischer Zahlkörper über \({\mathbb{Q}}\) vom Grade \(n=r_ 1+2r_ 2\) (in der üblichen Bezeichnung). Die Frage nach der genauen Größenordnung von (bzgl. der Norm) kleinsten totalpositiven primitiven Wurzeln \(\nu_{{\mathfrak p}} mod {\mathfrak p}\) ist ungelöst. Das zur Zeit beste Resultat mit N \(\nu\) \({}_{{\mathfrak p}}\ll N {\mathfrak p}^{1/4+a}\), \(a>0\), wurde vom Verf. [ibid. 95, 275-286 (1983; Zbl 0508.10025)] hergeleitet. Als mittlere Größenordnung ergibt sich [Mathematika 30, 11-25 (1983; Zbl 0506.10037)] die Abschätzung \[ \sum_{N{\mathfrak p}\leq X}N \nu_{{\mathfrak p}}\ll X\quad \log X\quad (\log \log X)^{2(r_ 1+r_ 2+1)},\quad X\geq 3. \] In der vorliegenden Arbeit werden den Betrachtungen (bzgl. der Norm) kleinste total-positive prime primitive Wurzeln \(\omega_{{\mathfrak p}} mod {\mathfrak p}\) zugrundegelegt. Die Untersuchungen liefern unter anderem Resultate der Form: Zu jedem \(a>0\) existiert eine effektive Konstante \(A=A(a,n)>0\), so daß gilt: \[ card\{{\mathfrak p};\quad N{\mathfrak p}\leq X,\quad N\omega_{{\mathfrak p}}>N{\mathfrak p}^ a\}\ll (\log X)^ A\quad bzw.\quad card\{{\mathfrak p};\quad N{\mathfrak p}\leq X,\quad N\omega_{{\mathfrak p}}>(\log N{\mathfrak p})^ A\}\ll X^ a. \] Die Beweise stützen sich auf ein sog. Fundamentallemma der rationalen Selbergschen Siebtheorie. Zur Behandlung des hierbei auftretenden Restgliedes werden Ergebnisse aus der Theorie des Großen Siebes in K verwendet.