Gruppentheoretischer Beweis des Äquivalenz- und Enthaltenseinsatzes in der Theorie der Matrizen mit ganzen Koeffizienten. (Q1829300)

Die Beziehung zwischen \textit{Abel}schen Gruppen und ganzzahligen Matrizen wird benutzt, um den Satz von \textit{Frobenius} zu beweisen, daß zwischen zwei Matrizen \(A\) und \(B\) dann und nur dann eine Relation \[ PAQ = B \] besteht, wenn die Elementarteiler von \(A\) in den entsprechenden von \(B\) aufgehen (und der Rang von \(B\) höchstens gleich dem von \(A\) ist). (III 5.)