Rational methods in matrix equations. (Q2579635)

Verf. gibt eine Darstellung von Lösungsmethoden für die Matrixgleichung \(\sum\limits_{i}A_iX^i=0\), wobei er drei Fälle unterscheidet: a) Die \(A_i\) sind Polynome in einer Matrix \(A\) mit skalaren Koeffizienten, und es werden Lösungen \(X\) vom gleichen Typ gesucht; b) die gegebene Gleichung hat die Form \(\psi (X)=A\), wo \(\psi \) ein Polynom mit skalaren Koeffizienten ist; c) der allgemeine Fall. Die Methoden sind nach einem Programm ausgewählt bzw. umgeformt, das Verf. bereits auf einen anderen Fall einer Matrixgleichung angewendet hat (siehe die vorstehend besprochene Arbeit) und das durch die folgenden Leitsätze charakterisiert wird: 1. Irrationale Methoden werden zurückgedrängt; insbesondere wird nicht die Zerlegung eines Polynoms in Linearfaktoren herangezogen. 2. Ein Satz, der für den Körper der rationalen Zahlen gilt, ist schon dadurch von Interesse. 3. Beweise von wesentlich algorithmischer Art gehören zur Aristokratie. 4. Mit Rücksicht auf die Nichtalgebraiker, den persönlichen Geschmack des Verf. und die Tatsache, daß meist nur formale Verallgemeinerungen verloren gehen, wird von Matrizen, Basen, Vektoren, linearen Räumen usw. gesprochen statt von Operatoren, Moduln, Idealen, Gittern usw.