On the rational commutant of a square matrix (Q563161)

Eine \(n\)-dimensionale quadratische Matrix \(X\) heißt ``commutant'' der Matrix \(A\) wenn \[ AX = XA \leqno (1) \] gilt. Die Matrix \(A = \|a_{ik}\|\) wird dabei als gegeben betrachtet; ihre Elemente \(a_{ik}\) gehören einem festen Grundkörper \(\boldsymbol P\) an. Die allgemeinste Lösung von (1) ist bekannt, wenn man die \textit{Jordan}sche Normalform von \(A\), d. h. die Eigenwerte der Matrix \(A\), kennt. Dann hängen jedoch die Ele mente \(x_{ik}\) von \(X\) von den Eigenwerten von \(A\) ab, sind also im allgemeinen irrationale Größen bezüglich \(\boldsymbol P\). Verf. bestimmt die rationalen Lösungen von (1). Hierzu wird \(A\) nicht auf d \textit{Jordan}sche Normalform, sondern nur auf die ``rationale kanonische'' Form (nach \textit{Turnbull} und \textit{Aitken}, Canonical matrices (1932; JFM 58.0101.*); ``natürliche Normalform'' bei \textit{Kowalewski} (1917; F. d. M. 46, 158 (JFM 46.0158.*)); ``erste Normalform'' bei \textit{van der Waerden}, Moderne Algebra II (1931; F. d. M. 67i, 153), S. 137) \(B\) transformiert: \(H^{-1}AH=B\). Ist dann \(BY = YB\), so wird \(X = HYH^{-1}\) die gesuchte Lösung von (1). Man hat also \(BY = YB\) rational zu lösen, wobei \(B\) aus Quadraten der Gestalt \[ B_n = \begin{pmatrix} 0 & 1 & 0 &\cdots & 0 \\ 0 & 0 & 1 & \cdots & 0 \\ \cdot & \cdot & \cdot & \cdots & \cdot \\ 0 & 0& 0&\cdots & 1 \\ \alpha _0 & \alpha _1 & \alpha _2 &\cdots &\alpha _{n-1}\end{pmatrix} \leqno (2) \] längs der Hauptdiagonale zusammengesetzt ist. Die Lösung von \(BY = YB\) wird dann zurückgeführt auf Gleichungen \[ B_n Y_{n,m} = Y_{n,m}B_m, \leqno (3) \] wo nun \(Y_{n,m}\) eine Matrix mit \(n\) Zeilen und \(m\) Kolonnen bedeutet und \(B_n, B_m\) die Gestalt (2) haben. Die Gleichungen (3) werden in den Elementen \(y_{ik}\) ausgeschrieben. Dies gibt lineare Gleichungen für die \(y_{ik}\), die auflösbar sind, wobei noch die zwei Möglichkeiten \(n\geqq m\) und \(n < m\) zu unterscheiden sind.