Über einen Satz aus der Theorie der vertauschbaren Matrizen. (Q1506885)

Für den von \textit{Frobenius} aufgestellten Satz: ``Ist \(f(x, y, z, \dots)\) eine beliebige (ganze rationale) Funktion der \(m\) Variabeln \(x, y, z, \dots\), sind \(A, B, C, \dots m\) Formen, von denen je zwei vertauschbar sind, und sind \(a_1, a_2, a_3, \dots\) (resp. \(b_1, b_2, b_3, \dots; c_1, c_2, c_3, \dots\)) die Wurzeln der charakteristischen Gleichung von \(A\) (resp. \(B, C, \dots\)), so lassen diese Wurzeln sich einander, und zwar unabhängig von der Wahl von \(f\), so zuordnen, daß\ die Wurzeln der charakteristischen Gleichung der Form \(f(A, B, C, \dots)\) den Größen \(f(a_1, b_1, c_1, \dots)\), \(f(a_2, b_2, c_2, \dots)\), \(f(a_3, b_3, c_3, \dots)\), \(\dots\) gleich werden'', wird ein einfacher Beweis gegeben, ohne von einer Zerlegung der Formen \(A, B, C, \dots\) Gebrauch zu machen.