En methode til behandling av ubestemte ligninger. (Q2620161)

Verf. beweist den folgenden Satz: Es seien \(F_1,\cdots,F_m\) Potenzreihen mit ganzen \(p\)-adischenm Koeffizienten in den Variablen \(x_1,\cdots,x_m. F_1,\cdots,F_m\) seien konvergent für alle ganzen \(p\)-adischen Zahlen; man kann die Reihen in der folgenden Form schreiben: \[ F_\nu (x_1,\cdots,x_m) = \sum _{i=0}^\infty p^i f_{i,\nu }\;(x_1,\cdots,x_m) (\nu = 1,\cdots,m). \] \(f_{i,\nu }\) sind Polynome mit reduzierten \(p\)-adischen Koeffizienten. Gibt es dann für jedes \(s (s= 1,\cdots,m)\) ganzzahlige Polynome \(h_{\nu s}(x_1,\cdots,x_m)\), so daß \[ \sum _{\nu =1}^m f_{0,\nu }(x_1,\cdots,x_m)h_{\nu,s}(x_1,\cdots,x_m) \equiv h_s(x_s) (\mod p), \] wobei \(h_1(x_s)\) eine nicht identisch verschwindende Funktion von \(x_s\) allein wird, so haben die \(p\)-adischen Gleichungen \[ F_1 =0,\cdots,F_m = 0 (p) \] nur endlich viele Lösungen in gnzen \(p\)-adischen Zahlen. Z. B. kann man nun die Aufgabe, im Körper \(K(\vartheta ) = K(\root 5 \of {2})\) alle Einheiten \( \varepsilon = a + b \vartheta + c \vartheta ^2 + d \vartheta ^3 + e \vartheta ^4\) zu finden, bei denen zwei der Koeffizienten \(a,b,c,d,e\) verschwinden (gleichbedeutend mit der Lösung von diophantischen Gleichungen fünften Grades in drei Variablen) folgendermaßen behandeln: In \(K(\vartheta )\) gibt es zwei Grundeinheiten \(\varepsilon _1,\varepsilon _2\); es ist \(\varepsilon = \varepsilon _1^x \varepsilon _2^y\). Zur Bestimmung der beiden Exponenten \(x,y\) erhält man zwei Gleichungen, auf die (nach eventueller einfacher Umformung) der oben genannte Satz anwendbar ist. (Vgl. auch \textit{T. Skolem}, 1933; F. d. M. \(59_{\text{II}}\), 935.)