Ueber die mit einer bilinearen Form vertauschbaren bilinearen Formen. (Q1534828): Difference between revisions

Wenn \(A - rB\) und \(A_1 - rB_1\) zwei Scharen von bilinearen Formen von \(n\) Paaren Veränderlicher bezeichnen, deren Determinanten die nämlichen Elementarteiler besitzen, so giebt es nach Hrn. Weierstrass zwei Substitutionen \(P\) und \(Q\) von nicht verschwindender Determinante, vermöge welcher \[ PAQ = A_{1} \quad \text{und} \quad PBQ = B_{1} \] wird. Betreffs der Bedeutung dieser Bezeichnungen sehe man die Bemerkung im vorigen Referate (siehe JFM 21.0126.01). Die Aufgabe, aus zwei bestimmten Substitutionen \(P\) und \(Q\) alle übrigen Substitutionen von der nämlichen Eigenschaft zu finden, kommt, wie der Verfasser zeigt, darauf zurück, alle Substitutionen aufzustellen, welche mit \(AB^{-1}\) vertauschbar sind, und deren Determinante nicht Null ist. Es wird nun der Satz bewiesen: Ist die Form \(A\) zerlegbar in Formen, deren charakteristische Functionen unter einander teilerfremd sind, so ist jede mit \(A\) vertauschbare Form \(P\) in gleicher Weise zerlegbar. Dabei heissen zwei Formen in gleicher Weise zerlegbar, wenn jedem Bestandteil der einen ein von den nämlichen Variabelnpaaren abhängiger Bestandteil der anderen entspricht. In Folge dieses Satzes kommt dann die obige Aufgabe darauf zurück, alle Substitutionen zu finden, welche mit einer Form \(N\) vertauschbar sind, wo \(N\) eine Form besonderer Art ist, nämlich eine solche, deren charakteristische Function nur eine einzige vielfache Wurzel besitzt. Die Lösungen dieser Aufgabe lassen sich unmittelbar angeben. Dabei ergiebt sich ein Beweis des von Hrn. Frobenius aufgestellten Satzes: Ist in der charakteristischen Determinante einer Form der grösste gemeinsame Teiler der Unterdeterminanten \((n - k)^{\text{ten}}\) Grades vom Grade \(n_{k}\), so ist \(n + 2(n_1 + n_2 + \cdots)\) die Anzahl der linear unabhängigen Formen, die mit der Form vertauschbar sind. Der vom Verfasser eingeschlagene Weg führt zugleich zur Aufstellung der charakteristischen Function der allgemeinsten mit einer gegebenen Form \(A\) vertauschbaren Formen. Diese charakteristische Function ist nämlich \[ (\varrho - r_{0})^{e_0} (\varrho - r_{1})^{e_1} \dots (\varrho - r_{k})^{e_k}, \] wo die \(r_{i}\) völlig willkürliche Grössen und \(e_0, e_1, e_2, \dots, e_{k}\) die Exponenten der Elementarteiler der charakteristischen Function von \(A\) sind.