An analogue of the Bernoulli polynomials. (Q2579657)

Verf. setzt seine lange Reihe von Arbeiten fort, in denen klassische Polynomidentitäten und Aussagen über die arithmetische Struktur von Polynomen auf den Fall übertragen werden, daß der Koeffizientenbereich ein Galoisfeld \(\varGamma _n\) von \(p^n\) Elementen ist. Es seien \(x\), \(t\) und \(u\) Unbestimmte, \(n\) eine natürliche Zahl und \[ m=a_0+a_1p^n+\dots +a_sp^{ns}\quad(0\leqq a_\sigma <p^n) \] die Entwicklung von \(m\) im System der Grundzahl \(p^n\) mit positiven kleinsten Resten \(a_0\),\dots, \(a_s\). Es seien \[ \begin{gathered} F_k=\textstyle \prod\limits_{\varkappa =0}^{k-1}(x^{p^{ nk}}-x^{p^{ n\varkappa }}),\;\;\;g_m=\prod\limits_{\sigma =0}^{s}F_\sigma ^{a_{ \sigma }},\;\;\;L_k=\prod\limits_{\varkappa =1}^{k}(x^{p^{ n\varkappa }}-x),\\ F_0=L_0=1,\;\;\;k=1, 2,\dots \end{gathered} \] Polynome in \(x\). Dann werden \[ \psi (t)=\textstyle \sum\limits_{i=0}^{\infty }(-1)^iF_i^{-1}t^{p^{ ni}}\;\;\text{bzw.}\;\;\psi _k(u)=\sum\limits_{\varkappa =0}^{k}(-1)^{k-\varkappa }F_\varkappa ^{-1}L_{k-\varkappa }^{-p^{ n\varkappa }}u^{p^{ n\varkappa }} \] Polynome in \(t\) bzw. \(u\) mit Koeffizienten aus \(\varGamma _n(x)\). Verf. studiert die Polynome \(\beta _m(u)\) mit Koeffizienten aus \(\varGamma _n(x)\), die durch \[ \frac{\psi (tu)}{u\psi (t)}=\textstyle \sum\limits_{m=0}^{\infty }\frac{\beta _m(u)}{g_m}t^m \] definiert sind. Es ergibt sich \[ \beta _m(u)=\frac{1}{u}\textstyle \sum (-1)^iF_i^{-1}\psi _i(u)A_m^{(i)}, \] wo die Summe über alle \(i\) mit \(p^{ni}\leqq m+1\) zu erstrecken ist und die \(A_m^{(i)}\) durch \(\psi ^{p^{ ni}-1}(t)=\sum\limits_{m=0}^{\infty }g_m^{-1}A_m^{(i)}t^m\) gegeben sind. Verf. leitet 10 Sätze über die arithmetische Natur der \(\beta _m(u)\) ab. Die Beweise und Rechnungen werden, da sie denen früherer Arbeiten analog verlaufen, nur skizziert. Als orientierende Beispiele seien zwei Sätze angeführt: 1) Für alle Polynome \(U= U(x)\) ist \(U\beta _m(U)\) ein Polynom in \(x\); 2) ist \(\beta _m(U)=\dfrac{N}{D}\) die Darstellung von \(\beta _m(U(x))\) als Quotient zweier teilerfremder Polynome, so hat \(D\) nur einfache Primfaktoren.