Über die Endlichkeit des Invariantensystems für binäre Grundformen. (Q1536729)

Denkt man sich eine binäre Form \(f\) als Product ihrer Linearfactoren \(\alpha_i x + \beta_i y,\) so ist eine Invariante von \(f\) eine ganze Function der Determinanten \((\alpha \beta)\) von gewissen vorgeschriebenen Eigenschaften. Der Nachweis der Endlichkeit des Invariantensystems von \(f\) reducirt sich auf zwei bekannte einfachere Hülfssätze von ähnlichem Charakter, einmal, dass ein System von linearen und homogenen diophantischen Gleichungen eine endliche Anzahl positiver Lösungen besitzt, durch die jede weitere Lösung ausdrückbar ist, sodann, dass irgend eine ganzzahlige Potenz einer algebraischen Grösse \(\omega\) sich aus einer endlichen Anzahl solcher Potenzen zusammensetzen lässt. Die Zusammensetzung ist beidemal eine lineare mit rationalen Coefficienten.