Verallgemeinerungen der Betti-Giudiceschen Formel. (Q2586130)

Die allgemeine ganzzahlige Lösung des Systems unabhängiger homogener linearer Gleichungen \[ \sum_{i=1}^n a_{ij} x_i = 0 \qquad (j = 1, \dots, m) \] mit ganzen Koeffizienten \(a_{ij}\) ergibt sich in der Gestalt \[ x_i = \sum_{i_1, \dots, i_m} \left(\pm \frac{A_{i_1, \dots, i_m}}{d} \right) u_{i, i_1, \dots, i_m} \qquad (i = 1, \dots, n). \] Dabei durchläuft das System \(i_1, \dots, i_m\) alle Systeme von \(m\) wachsenden, von \(i\) verschiedenen natürlichen Zahlen \(\leqq n\); \(A_{i_1, \dots, i_m}\) bedeutet die \(m\)-reihige Determinante \(|a_{i_hj}|\) \ \((h = 1, \dots, m; \;j = 1, \dots, m)\), \ \(d\) den größten gemeinsamen Teiler aller dieser Determinanten; das Vorzeichen lautet + oder \(-\), je nachdem die Permutation \(i, i_1, \dots, i_m, \dots\) (die auf \(i_m\) folgenden Ziffern in natürlicher Anordnung genommen) der Ziffern \(1, \dots, n\) gerade oder ungerade ist; die Parameter \(u\) endlich stellen jedes System ganzer Zahlen dar, das so beschaffen ist, daß je zwei nur durch die Reihenfolge der Indizes unterschiedene \(u\) denselben Wert erhalten. Der Satz gestattet insbesondere einen Beweis eines bekannten Lösbarkeitskriteriums: Das System inhomogener linearer Gleichungen \[ \sum_{i=1}^n a_{ij} x_i = a_{n+1, j} \qquad (j = 1, \dots, m) \] mit ganzen Koeffizienten hat dann und nur dann eine ganzzahlige Lösung, wenn der größte gemeinsame Teiler der aus den Koeffizienten der linken Seiten gebildeten \(m\)-reihigen Determinanten in allen \(m\)-reihigen Unterdeterminanten der Matrix \((a_{ij})\) \ \((i = 1, \dots, n + 1; \;j = 1, \dots, m)\) aufgeht. -- Der Fall \(m = 1\) dieser Ergebnisse war schon von \textit{Betti} (\textit{Bertrand}, Traité élémentaire d'algèbre, übersetzt von \textit{Betti} (Florenz 1862), S. 285) und \textit{Giudice} (Giorn. Mat. Battaglini 36 (1898), 227-232; F. d. M. 29, 155 (JFM 29.0155.*)) aufgestellt worden. Er wird nun weiterhin auf den Fall ausgedehnt, daß Koeffizienten und Unbekannte im Ring \(R\) der ganzen Zahlen eines endlichen Zahlkörpers gewählt bzw. gesucht werden, und liefert dann den folgenden Satz: Liegen \(a_1; \dots, a_n\) in \(R\), so hat die allgemeine Lösung der Gleichung \[ \sum_{i=1}^n a_i x_i = 0 \] in Zahlen aus \(R\) die Gestalt \[ x_i = \sum_{j=1}^n \varepsilon_{ij} a_j \frac{u_{ij}}{v} \qquad (i = 1, \dots, n), \] wo \(\varepsilon_{ij}\) den Wert 1, 0 oder \(-1\) hat, je nachdem \(i < j\), \(i = j\) oder \(i > j\) ist, und wo für die Parameter \(u_{ij}\) und \(v\) alle solchen Werte aus \(R\) gesetzt werden können, für die der wahre Nenner jedes der Idealbrüche \(\dfrac{(u_{ij})}{(v)}\) in dem Ideal \((a_1, \dots, a_n)\) aufgeht.