Über die Existenz unendlich vieler Primzahlen in einigen speziellen arithmetischen Progressionen. (Q1479977)

Ist \(h(x)\) eine ganze rationale Funktion mit ganzzahligen Koeffizienten und \(\varepsilon\) eine primitive \(k\)-te Einheitswurzel \((k > 2)\), so stelle der Ausdruck \(h (\varepsilon^\nu)\), nur \(\dfrac{\varphi(k)}{r}\) verschiedene Werte dar, wenn \(\nu\) alle zu \(k\) teilerfremden Zahlen durchläuft. Es sei also z. B. \[ h(\varepsilon) = h(\varepsilon ^{l_1}) = h (\varepsilon^{l_2}) = \cdots = h (\varepsilon^{l_r-1}). \] Die verschiedenen Werte von \(h(\varepsilon^\nu)\) werden mit \(\eta _1,\eta _2, \ldots \) bezeichnet. Ist dann \[ H(x) = \prod_{\mu=1}^{\tfrac{\varphi(k)}{r}}(x-\eta_\mu), \] so beweist der Verf. den Satz: Jeder Primteiler von \(H(x)\), der zu \(k\) und zur Diskriminante von \(H(x)\) teilerfremd ist, ist in einer der Progressionen enthalten: \[ kz+1, \;kz+l_1, \ldots, kz+l_{r-1}. \] Da jede ganze rationale Funktion unendlich viele Primteiler enthält, so ergibt sich für \(h(x)=x,\) daß \(kz+1\) unendlich viele Primzahlen darstellt. Für \(h(x) = (\mathfrak{u} - x) (\mathfrak{u} - x^l)\), \(\mathfrak u\) eine ganze Zahl, ergibt sich: Ist \(l^2 \equiv 1(k)\), und kennt man eine Primzahl der Form \(kz+l\) größer als \(\dfrac{\varphi(k)}{2}\), so stellt \(kz +l\) unendlich viele Primzahlen dar. Weitere Fälle, für die der Verf. den Satz beweist, sind: \[ 2^nz+2^{n-1}\pm 1,\quad 8mz+ 2m +1,\quad 8mz+ 4m + 1,\quad 8mz + 6m + 1. \]