Ueber einen Fundamentalsatz der arithmetischen Theorie der algebraischen Grössen. (Q1524560)

Ein von Kronecker bereits 1883 in den Berl. Ber. veröffentlichter Fundamentalsatz der arithmetischen Theorie der algebraischen Grössen lautet: ``Bedeuten \(\varphi\) und \(\psi\) ganze rationale Functionen einer Veränderlichen, und ist \(f=\varphi.\psi\), so genügt das Product aus irgend einem Coefficienten von \(\varphi\) in irgend einen Coefficienten von \(\psi\) einer algebraischen Gleichung, in welcher der Coefficient der höchsten Potenz der Unbekannten gleich 1 ist und die übrigen Coefficienten ganze ganzzahlige Functionen der Coefficienten von \(f\) sind.'' Dieser Satz ist, wie Dedekind gezeigt hat, die unmittelbare Folge eines anderen bemerkenswerten Satzes, welcher, ohne die Bezeichnungsweise der Modultheorie und nach Mertens, wenn jede ganze ganzzahlige homogene lineare Function von irgend welchen Elementen eine ``Vielfachsumme'' dieser Elemente genannt wird, folgendermassen lautet: ``Bedeuten \(\varphi\) und \(\psi\) ganze rationale Functionen. einer Veränderlichen, ist ferner \(f=\varphi.\psi\) und bezeichnen \(a\), \(b\), \(c\) bez. die Coefficienten von \(\varphi\), \(\psi\), \(f\), sowie \(a^{(r)}\) die Potenzen und Potenzproducte \(r^{\text{ter}}\) Dimension der Coefficienten \(a\), so ist jedes Product \(a^{(n+1)}b\) als Vielfachsumme der Producte \(a^{(n)}c\) darstellbar, unter \(n\) den Grad von \(\psi\) verstanden.'' --- Verf. giebt für denselben einen neuen Beweis und folgert aus ihm einen weiteren, bereits von Hrn. Mertens (Wien. Ber. 1892. CI) bewiesenen Satz, welcher besagt, dass, wenn \(\varphi\) und \(\psi\) ganze rationale Functionen von beliebig vielen Veränderlichen sind, die positive ganze Zahl \(h\) stets so bestimmt werden kann, dass jedes Product \(a^{(h)}b\) als Vielfachsumme der Producte \(a^{(h-1)}c\) darstellbar ist. Eine solche Zahl \(h\) ist z. B. die Anzahl der verschiedenen Glieder, aus denen sich \(\psi\) zusammensetzt. --- Für die kleinste derartige Zahl \(h\) findet Verf. die Grenzen \[ s\geqq h\geqq \frac{r-1}{t-s} s, \] wobei \(r\), \(s\), \(t\) die Anzahl der Terme bezeichnen, aus denen sich bez. \(\varphi\), \(\psi\), \(f\) zusammensetzen.