Primitive Roots in a Finite Field (Q5814879)

Ist für \(0\neq \beta\in\mathrm{GF}(p^{nm})\) \(e\) die kleinste natürliche Zahl mit \(\beta^e = 1\), so heißt \(\beta\) zu \(e\) gehörig. Ist (1) \(a(x) = \sum_{r=0}^k a_r x^{p^{nr}}\), \(a_n\in \mathrm{GF}(p^n)\) das Polynom kleinsten Grades mit \(a(\beta) = 0\), so heißt \(\beta\) zu \(a(x)\) gehörig (vgl. \textit{Ø. Ore} [Trans. Am. Math. Soc. 36, 243--274 (1934; Zbl 0009.10003)] \(N(e,a(x))\) sei die Anzahl der Elemente aus \(\mathrm{GF}(p^{nm})\), die sowohl zu \(e\) als auch zu \(a(x)\) gehören. Verf. beweist u. a. für \(p^{nm}\to\infty\) \[ N(e,a(x)) = \varphi(e) \frac{\Phi(A)}{p^{nm}} + O(p^{nm(1/2+\varepsilon)}) \] and insbesondere für \(e\,| A| > p^{cmn}\) \(c> 3/2\) und hinreichend großes \(p^{nm}\), daß \(N(e,a(x))\) positiv ist. Dabei bezeichnet \(\varphi\) die Eulersche Funktion, \(\Phi\) die entsprechende in \(\mathrm{GF}[p^n,x]\), und mit den in (1) eingeführten Koeffizienten ist \(A = \sum_{r=0}^k a_r x^r\). Für \(e = p^{nm} - 1\), \(a(x) = x^{p^{nm}} - x\) liefert dies eine Aussage über die Anzahl der Elemente von \(\mathrm{GF}(p^{nm})\), die sowohl primitive Wurzeln im gewöhnlichen als auch solche im Sinne von Ore sind. Weiter werden Ergebnisse über \(N_r(e,a(x))\), die Anzahl der Polynome vom Grade \(e < r\), die mod \(P\) \((P\) irreduzibles Polynom vom Grade \(m\) aus \(\mathrm{GF}[p^n,x])\) gleichzeitig zu \(e\) and \(a(x)\) gehören, ausgesprochen. Bezeichnet noch \(N_r(a(x))\) die Anzahl der im letzten Sinne zu \(a(x)\) gehörigen Polynome, so wird bei \(p^{nm}\to\infty\) \[ N_r(e,a(x)) = \frac{\varphi(e)}{p^{nm} - 1} N_r(a(x)) + O(p^{nm(1/2+\varepsilon)}) \] bewiesen. Die Beweise beruhen auf Abschätzungen gewisser Charaktersummen nach dem Vorbild von Vinogradov [vgl. auch vorangehendes Ref. Zbl 0048.27301].