A correspondence between classes of ideals and classes of matrices. (Q2622587): Difference between revisions

Betrachtet werden quadratische Matrizen \(n\)-ten Grades mit ganzzahligen rationalen Koeffizienten. Existiert für zwei solche Matrizen \(D\) und \(D'\) eine ebenso beschaffene Matrix \(A\) der Determinante \(\pm 1\), daß \(D'=ADA^{-1}\) ist, so sind \(D\) und \(D'\) Wurzeln der nämlichen charakteristischen Funktion und sollen als von derselben Klasse bezeichnet werden. Ist \[ f(x)=x^n + k_1x^{n-1}+\dots +k_n \] ein Polynom mit ganzzahligen rationalen Koeffizienten \((k\neq 0)\) und verschiedenen algebraischen Wurzeln, so gibt es eine Matrix \(C\), die \(f(x)=0\) zur reduzierten charakteristischen Funktion (Minimalgleichung) besitzt. Dann lassen sich die Klassen aller quadratischen Matrizen mit ganzzahligen rationalen Koeffizienten vom Grade \(n\), die \(f(x)=0\) als Minimalgleichung befriedigen, eineindeutig den Klassen nicht-singulärer Ideale im Ring alle ganzzahlig rationalen Polynome von \(C\) zuordnen. Bezeichnung und Beweis knüpfen an an den Aufsatz von \textit{MacDuffee} [An introduction to the theory of ideals in linear associative algebras. Trans. Am. Math. Soc. 31, 71--90 (1929; JFM 55.0683.04)]. (III 5.)