wo , …‚ ganzzahlige Funktionen von und den Unbestimmten
, …, ‚ , …, sind, und wo eine rationale Einheitsform der Unbestimmten , …, ist, Die übrigen Wurzeln der obigen Gleichung -ten Grades
sind , …‚ . Sodann sei eine der zu konjugierten
Fundamentalformen; die Wurzeln der Gleichung -ten Grades
mögen mit , , …, bezeichnet werden. Da nun einer Gleichung -ten Grades genügt, so ist offenbar jede Potenz von nach Multiplikation mit einer Potenz von gleich einer ganzen Funktion von und ,
welche in höchstens bis zum Grade und in höchstens bis zum Grade
ansteigt, und deren Koeffizienten ganzzahlige Funktionen der Parameter , …‚ , , …, sind. Infolgedessen ist notwendigerweise die
Diskriminante der Fundamentalform nach Multiplikation mit einer Potenz
von durch das Quadrat der -reihigen Determinante
|
|
teilbar; hierbei sind in dem Schema nur die ersten Horizontalreihen hingeschrieben; die übrigen Horizontalreihen entstehen, wenn man der
Reihe nach allen Buchstaben die Zeichen , …‚ als obere
Indizes und zugleich allen Buchstaben die nämlichen Zeichen als untere
Indizes anfügt.
Drückt man nun die Elemente der Determinante linear durch die Basiszahlen , …, und deren Konjugierte aus, so erkennen wir die Richtigkeit der Formel
|
|
wo eine ganzzahlige Funktion der Parameter , …, , , …, bedeutet. Hieraus folgt, daß der Zahlenfaktor des Quadrates von durch
teilbar ist. Da aber der Zahlenfaktor der Diskriminante von nach Satz 35
wird, so folgt aus obiger Entwicklung, daß auch umgekehrt durch den
Zahlenfaktor des Quadrates von teilbar ist; d. h. der Zahlenfaktor von
ist gleich .