Über die Zerlegbarkeit einer torsionsfreien Abelschen Gruppe von endlichem Rang in eine direkte Summe von Gruppen ersten Ranges. (Q2595640)

Ist \(G\) ein vom Einheitselement verschiedenes Element der torsionsfreien (d. h. nur Elemente unendlicher Ordnung enthaltenden) abelschen Gruppe \(\mathfrak G\) endlichen Ranges, so versteht Verf. unter dem Typus von \(\mathfrak G\) die Folge der zu den Primzahlen \(p = 2, 3, 5, 7,11,\ldots\) gehörigen Höhenexponenten von \(G\). Er rechnet zwei Elemente zum selben Hypertypus, wenn ihre Typen sich nur in einer endlichen Zahl von endlichen Höhenexponenten unterscheiden. In einer Gruppe \(\mathfrak G\) des Ranges 1 haben je zwei Elemente denselben Hypertypus. Zwei Gruppen \(\mathfrak G\), \(\mathfrak G'\) des Ranges 1 sind isomorph, wenn ihre Elemente demselben Hypertypus angehören. Bei beliebigem Rang von \(\mathfrak G\) stellt Verf. eine die Typen gewisser erzeugender Elemente von \(\mathfrak G\) betreffende Bedingung dafür auf, daß \(\mathfrak G\) sich in eine direkte Summe von Gruppen des Ranges 1 zerlegen läßt. (Besprechung nach dem Auszug.)