Über die ganzzahlige Lösbarkeit einiger diophantischer Gleichungen. (Q2620124): Difference between revisions

Die notwendige und hinreichende Bedingung für die Lösbarkeit des Systems linearer diophantischer Gleichungen \[ \sum _{\nu =1}^n a_{\mu \nu } x_\nu = b_\mu \;(\mu = 1,2,\cdots,m; m \leq n) \] is bekanntlich die, daß der größte gemeinsame Teiler aller Unterdeterminanten \(m\)-ten Grades der Koeffizientenmatrix \((a_{\mu \nu })\) gleich dem größten gemeinsamen Teiler aller Unterdeterminanten \(m\)-ten Grades derjenigen Matrix ist, die durch Hinzufügung der Spalte der \(v_\mu \) zu der Matrix \((a_{\mu \nu })\) entsteht. Für dieses Kriterium gibt Verf. einen neuen einfachen Beweis. Zu diesem Zwecke beweist er die beiden folgenden Sätze, die auch an und für sich von Interesse sind: Die ganzwertigen Polynome \(f_1(x_1,\cdots,x_n), f_2(x_1,\cdots,x_n),\cdots, f_m(x_1,\cdots,x_n)\) seien ohne gemeinsamen Polynomteiler; es sei \(c\) der größte gemeinsame Teiler aller Werte, die die \(f_\mu (x_1,\cdots,x_n)\) für alle ganzzahligen Wertsysteme \(x_1,\cdots,x_n\) annehmen. Dann gibt es ein spezielles ganzzahliges Wertsystem \(x'_1,x'_2,\cdots,x'_n\), derart daß {} \[ (f_1(x'_1,\cdots,x'_n), f_2(x'_1,\cdots,x'_n), \cdots, f_m(x'_1,\cdots,x'_n)) = c \] ist. Es sei \(A\) eine ganzzahlige Matrix mit \(m\) Zeilen und \(n\) Spalten \((m < n)\) und \(d\) der größte gemeinsame Teiler aller Unterdeterminanten \(m\)-ten Grades von \(A\). Dann läßt sich zu \(A\) eine Zeile von \(n\) ganzen Zahlen so hinzufügen, daß in der entstehenden Matrix der größte gemeinsame Teiler aller Unterdeterminanten \((m+1)\)-ten Grades gleich \(d\) wird. Ferner erhält Verf. notwendige und hinreichende Bedingungen für die Lösbarkeit diophantischer Gleichungen, die in bezug auf gewisse der Variablen linear sind, insbesondere für die Gleichung in \(x_1,x_2,\cdots,x_n, y_1,\cdots,y_m\) \[ \sum _{\mu =1}^m f_\mu (x_1,x_2,\cdots,x_n)\cdot y_\mu = a, \] wo die \(f_\mu \) ganzwertige Polynome ohne gemeinsamen Polynomteiler sind, für die Gleichung \[ \sum _{\varkappa,\lambda \mu } a_{\varkappa \lambda \mu \cdots } x_\varkappa y_\lambda z_\mu \cdots = a \] (vgl. hierzu \textit{Frobenius}, 1878; F. d. M. 10, 79 (JFM 10.0079.*)-82 und \textit{Rivier} 1931; F. d. M. \(57_{\text{I}}\), 187), für die Gleichung \[ \sum _{\mu =1}^m f_\mu (x_1,\cdots,x_m) y_\mu = g(x_1,\cdots,x_m) \] und für das Gleichungssystem \[ \sum _{\nu =1}^n f_{\mu \nu }(x_1,x_2,\cdots,)y_\nu = g_\mu (x_1,x_2,\cdots ) (\mu = 1,2,\cdots,m). \]