Equivalence of pairs of matrices. (Q2595563)

Zwei Paare \([A_1, A_2]\) und \([B_1, B_2]\) von rechteckigen Matrizen heißen äquivalent, wenn es nichtsinguläre Matrizen \(P\) und \(Q\) mit \(PA_1Q=B_1\), \(PA_2Q=B_2\) gibt. Verf. gibt eine einfache Lösung der mehrfach behandelten Frage, wann zwei Matrizenpaare mit Elementen aus einem unendlichen Körper \(F\) äquivalent sind; dabei beschränkt er sich auf den wichtigsten Fall, daß \(\text{Rg}\,A_1=\max\,\text{Rg}(x_1A_1+x_2A_2)\) für \(x_1, x_2\in F\) ist. Notwendig und hinreichend für Äquivalenz ist, daß gewisse ``Zeilen- und Spalten-Unterränge'' bei \(A_{2}\) und \(B_{2}\) übereinstimmen und daß \(x_1A_1 + x_2A_2\) dieselben Elementarteiler wie \(x_1B_1+x_2B_2\) besitzt. Der Beweis führt das Problem durch abwechselndes Übergehen zu äquivalenten Matrizen und Ausschneiden von Teilmatrizen auf den klassischen Fall der Elementarteilertheorie zurück, wo \(A_1\) quadratisch und nichtsingulär ist. Er ergibt auch eine in \(F\) rationale Normalform. Mit Hilfe dieses Ergebnisses beweist Verf. für beliebige Paare rechteckiger Matrizen vom selben Typus mit Elementen aus \(F\): Dann und nur dann ist \([A_1, A_2]\) zu \([B_1, B_2]\) äquivalent, wenn (1) die Elementarteiler der Matrizen \((x_1A_1+x_2A_2)\) und \((x_1B_1+x_2B_2)\) übereinstimmen und (2) für jedes \(k\geqq 1\) \(\text{Rg}\,M_k(A)=\;\text{Rg}\,M_k(B)\) und \(\text{Rg}\,N_k(A)=\;\text{Rg}\,N_k(B)\) ist. Dabei ist \(M_1(A)=(a_1, A_2)\), \[ M_2(A)=\begin{pmatrix}\l\;&\;&\l\\A_1&A_2&0\\0&A_1&A_2\end{pmatrix}, \dots, N_1(A)=\begin{pmatrix} A_1\\A_2\end{pmatrix},\;\;\;N_2(A)= \begin{pmatrix}\l\;&\l\\ A_1&0\\A_2&A_1\\0&A_2\end{pmatrix},\dots \] gesetzt.