Relative linear sets and similarity of matrices whose elements belong to a division algebra. (Q5922831)

\(M\) sei eine quadratische \(n\)-reihige Matrix, \(\mathfrak R\) der \(n\)-dimensionale Spaltenraum über einem Schiefkörper \(A\) von endlichem Rang über seinem Zentrum \(C\). Ist \(g(t)\in A[t]\) ein Polynom, \(g=\sum t^\nu \alpha _\nu \), so sei \(M)\;\xi )g=\sum M^\nu \xi \alpha _\nu \). Hierfür gilt \(M)\,\xi )gh=M)\,\{M)\xi )g\})\). Zu jedem \(g\) gibt es ein zugeordnetes Polynom im Zentrum, das rechtsseitige k. g. V. aller \(\omega g\omega ^{-1}\), \(\omega \in A\) (eine Basis \(\omega _i\) von \(A/C\) genügt). Nachdem diese Zuordnung sehr genau untersucht worden ist, zeigt sich, daß es ``relativ zu \(M\) linear unabhängige'' Vektoren \(\xi _1\),\dots, \(\xi _k\) gibt, so daß jedes \(\xi \in\mathfrak R\) die Form \(\sum M)\,\xi _\varkappa )\,f_\varkappa \) hat. ``Relativ linear unabhängig'' heißt: Aus \(\sum M)\,\xi _\varkappa )\,f_\varkappa =0\) folgt \(M)\,\xi _\varkappa )\,g_\varkappa =0\); die Abhängigkeitsaxiome sind nicht erfüllt. Das dem kleinstgradigen \(g_\varkappa \) mit \(M)\,\xi _\varkappa )\,g_\varkappa =0\) zugeordnete Polynom in \(C[t]\) ist Potenz eines irreduziblen usw. \(M\) und \(N\) sind dann und nur dann ähnlich, wenn für jede Potenz \(h\) eines in \(C[t]\) irreduziblen Polynoms \(h(M)\) und \(h(N)\) denselben Rang haben. Am Anfang der Arbeit wird der bekannte Spezialfall \(A = C\) nach den auch später angewandten Methoden neuartig behandelt. (III 2.)