Ueber einen algebraischen Satz. (Q5913175)

Sind \(\varphi, \psi\) ganze Functionen der Veränderlichen \(x, y, \ldots\) mit unbestimmten Coefficienten, und bezeichnet \(u\) irgend einen Coefficienten von \(\varphi, v\) irgend einen von \(\psi\), so lässt sich immer ein Exponent \(h\) von der Art angeben, dass das Product \(u^h v\) als ganze ganzzahlige Function der Coefficienten von \(\varphi\) und von \(\varphi \psi\) darstellbar ist, welche in den Coefficienten von \(\varphi\) homogen und vom Grade \(h -1\) und in denen von \(\varphi \psi\) linear-homogen ist. Diesen Satz beweist der Verfasser auf rein arithmetischem Wege zunächst für Formen von einer Veränderlichen und dann für beliebig viele Veränderliche. Um den Nutzen des Satzes für die Lehre vom grössten gemeinsamen Teiler zu zeigen, wird mit Hülfe desselben der Gauss'sche Satz bewiesen, demzufolge der grösste gemeinsame Teiler aller Coefficienten des Productes zweier ganzen ganzzahligen Functionen \(\varphi, \psi\) der Veränderlichen \(x,y, \ldots\) gleich dem Product des grössten gemeinschaftlichen Teilers aller Coefficienten von \(\varphi\) in den grössten gemeinschaftlichen Teiler aller Coefficienten von \(\psi\) ist. Bedeutet nämlich \(a\) irgend einen Coefficienten von \(\varphi, b\) einen Coefficienten von \(\psi\), sind ferner \(t, t'\) die grössten gemeinsamen Teiler aller Coefficienten von \(\varphi\) bezüglich \(\psi\), und bezeichnet man allgemein eine Summe von Vielfachen der Coefficienten von \(\varphi \psi\) mit \(L\), so giebt es jenem Satze zufolge einen Exponenten \(h\) von der Art, dass das Product \(a^h b\) als ganze ganzzahlige Function der Coefficienten von \(\varphi\) und \(\varphi \psi\) darstellbar ist, welche die Coefficienten von \(\varphi \psi\) linear-homogen und die von \(\varphi\) homogen und im Grade \(h - 1\) enthält. Da ein Product von \(h - 1\) Coefficienten der Function \(\varphi\) ein Vielfaches von \(t^{h - 1}\) ist, so hat demnach jedes der Producte \(a^h b\) die Gestalt \(t^{h - 1}L\). Da ferner \(t^h\) der grösste gemeinschaftliche Teiler der \(h^{\text{ten}}\) Potenzen aller Coefficienten von \(\varphi\) ist, so muss auch \(t^h b\) die Gestalt \(t^{h - 1}L\) haben, und demzufolge hat \(tb\) die Gestalt \(L\). Da dies für alle Coefficienten \(b\) von \(\psi\) gilt, so gilt es auch für \(tt'\). Andererseits geht \(tt'\) in allen Coefficienten von \(\varphi \psi\) auf, und hiermit ist der Satz bewiesen. Auf dem Umstande, dass der gegebene Beweis ohne den Begriff der Primzahl auskommt, beruht seine Anwendbarkeit auf allgemeinere Fragen. Der Verfasser beweist zum Schlusse den in der Kronecker'schen Theorie der algebraischen Zahlen fundamentalen Satz, dass der grösste gemeinsame Teiler aller Coefficienten in der Norm einer ganzen algebraischen Form \(F\) gleich dem grössten Teiler der Coefficienten in der Norm derjenigen Linearform ist, welche entsteht, wenn man die Potenzen und Producte der Veränderlichen in \(F\) durch beliebige von einander verschiedene Veränderliche ersetzt.