The equivalence of non-singular pencils of Hermitian matrices in an arbitrary field. (Q2611424)

Ist \(\mathfrak K\) ein beliebiger Körper, \(\mathfrak K(i)\) ein beliebiger quadratischer Körper über \(\mathfrak K\), so heißt eine Matrix \(A=A_1+iA_2\) mit Koeffizienten aus \(\mathfrak K(i)\) hermitisch über \(\mathfrak K\), wenn \[ A = A^*=A_1'-iA_2' \] ist. Für solche allgemeinen hermitischen Matrizen behandelt Verf. das Äquivalenzproblem für nichtsinguläre Büschel solcher hermitischer Matrizen oder Formen. Zwei Büschel \(A -\lambda B\) und \(C - \lambda D\) heißen äquivalent, wenn eine konjunktive Transformation mit einer Matrix mit Koeffizienten aus \(\mathfrak K(i)\) das eine in das andere Büschel überführt. Notwendig ist dazu bekanntlich, daß hinsichtlich \(\mathfrak K\) beide Büschel die gleichen Elementarteiler besitzen; dies reicht aber nicht aus. Es kommt noch die Bedingung hinzu, daß gewisse Diagonalmatrizen in Erweiterungskörpern von \(\mathfrak K\) äquivalent sein müssen. Beide Bedingungen zusammen lösen das Problem. Diese Diagonalmatrizen können von Verf. genau angegeben werden, sie werden aus den Elementarteilern gewonnen.