Representations of arithmetic functions in \(\mathrm{GF}[p^n,x]\). I (Q2647813)

Verf. nennt eine eindeutige Funktion \(f(A)\), deren Definitionsbereich der Polynomring \(\mathrm{GF}[p^n,x]\) [der Unbestimmten \(x\) über dem Galois-Feld \(\mathrm{GF}(p^n)]\) ist, deren Wertevorrat aber im komplexen Zahlkörper liegt, eine arithmetische Funktion. In einer früheren Arbeit haben Verf. und \textit{E. Cohen} [Duke Math. J. 14, 707--722 (1947; Zbl 0030.10501)] -- [die Arbeit steht dort irrtümlich nur unter dem Namen E. Cohen] drei Arten \((i = 1, 2, 3)\) eines Cauchyschen Produktes \(C_i\) für jedes Paar von arithmetischen Funktionen definiert. Ist \(r\) eine feste natürliche Zahl, so werden zwei solche Funktionen \(f(A)\), \(g(A)\) als gleich betrachtet, falls \(f(A)=g(A)\) für jedes \(A\) vom Grade \(< r\) gilt. Dann ist die Menge aller arithmetischen Funktionen bezüglich dieser Gleichheitsdefinition, der gewöhnlichen Addition und \(C_3\)-Multiplikation ein Ring, der die direkte Summe von \(p^{nr}\) komplexen Körpern ist. Ferner wird ein Fundamentalsystem von arithmetischen Funktionen (für alle drei Fälle \(i = 1, 2, 3)\) angegeben, welches gewissen Orthogonalitätsbedingungen genügt and eine eindeutige lineare Darstellung für jede arithmetische Funktion ermöglicht. Als Anwendung der erhaltenen Resultate bestimmt Verf. die Anzahl der Lösungen der Gleichung \[ F = \alpha_1 X_1^2+\dots+ \alpha_s X_s^2\qquad (\alpha_i \in\mathrm{GF}(p^n);\;X_i,F \in \mathrm{GF}[p^n,x]) \] in den Unbekannten \(X_i\). In der zweiten Mitteilung [Zbl 0032.00302] wird die in I ausgearbeitete Methode weiterentwickelt und auf die Berechnung allgemeinerer Ausdrücke als in I angewendet.