Ueber die Endlichkeit des Formensystems einer binären Grundform. (Q1534801)

Der Verfasser der ersten Note (siehe JFM 21.0104.01) sucht den vom Referenten gegebenen Beweis für die Endlichkeit des vollen Invariantensystems einer binären Grundform [Math. Ann. 33, 223--226 (1888; JFM 20.0110.01)] abzuändern, wobei jedoch ein Fehlschluss gemacht wird. Die zweite Note deckt diesen Irrtum auf. Betreffs der Endlichkeit des Systems der sogenannten Semiinvarianten sei Folgendes bemerkt: Die Covarianten binärer Formen sind nichts anderes als Invarianten eines solchen besonderen Formensstems, in welchem eine Linearform vorkommt. Der in Rede stehende Beweis des Referenten ist nun, wie derselbe in der citirten Note auseinandergesetzt hat, gültig für Invariantensysteme beliebig vieler binärer Grundformen. Es bedarf daher, um die Endlichkeit der Covarianten oder, was auf dasselbe hinausläuft, der Semiinvarianten für binäre Grundformen einzusehen, keineswegs einer Erweiterung oder Ergänzung des vom Referenten gegebenen Beweisverfahrens; die Endlichkeit dieser Bildungen ist vielmehr ein besonderer Fall des vom Referenten bewiesenen Satzes.