Zur Theorie der Abelschen Gruppen von beliebiger Mächtigkeit. (Q2579697)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Zur Theorie der Abelschen Gruppen von beliebiger Mächtigkeit.
scientific article

    Statements

    Zur Theorie der Abelschen Gruppen von beliebiger Mächtigkeit. (English)
    0 references
    0 references
    1941
    0 references
    Es werden Sätze über die direkte Zerlegbarkeit abelscher (additiv geschriebener) Gruppen \(\mathfrak{A}\) beliebiger Mächtigkeit bewiesen, bei deren Herleitung der von \textit{Prüfer} (Math. Z. 17 (1923), 36-61; F.~d.~M. 49, 84) eingeführte Begriff der \textit{Servanzuntergruppe} eine wichtige Rolle spielt. Eine Untergruppe \(\mathfrak{U}\) von \(\mathfrak{A}\) heißt Servanzuntergruppe, wenn für jedes Element \(u \in \mathfrak{U}\) aus der Lösbarkeit einer Gleichung \(nx = u\) in \(\mathfrak{A}\) stets ihre Lösbarkeit in \(\mathfrak{U}\) folgt. Z. B. sind direkte Summanden stets Servanzuntergruppen. -- Lemma 1: In einer \(p\)-Gruppe läßt sich jedes Element der Ordnung \(p\) von endlicher Höhe \(m\) einbetten in eine zyklische Servanzuntergruppe der Ordnung \(p^{m+1}\). Satz 1: Eine Servanzuntergruppe, deren Faktorgruppe sich direkt in zyklische Summanden zerlegen läßt, ist direkter Summand (in einer geeigneten direkten Zerlegung). -- Lemma 2: Wenn \(\mathfrak{C}\) Servanzuntergruppe von \(\mathfrak{A}\), \(\mathfrak{B}/\mathfrak{C}\) Servanzuntergruppe von \(\mathfrak{A}/\mathfrak{C}\) ist, so ist \(\mathfrak{B}\) Servanzuntergruppe von \(\mathfrak{A}\). Satz 2: Eine \(p\)-Gruppe enthält genau dann kein von 0 verschiedenes Element unendlicher Höhe, wenn je endlich viele von ihren Elementen sich stets in eine endliche Servanzuntergruppe einbetten lassen. Satz 3: Eine abzählbare Gruppe gestattet genau dann eine direkte Zerlegung in lauter zyklische Summanden, wenn sich je endlich viele von ihren Elementen stets in eine Servanzuntergruppe mit endlich vielen Erzeugenden einbetten lassen. Aus Satz 2 und 3 folgt der Satz von Prüfer, daß die direkte Zerlegbarkeit abzählbarer \(p\)-Gruppen in lauter zyklische Summanden gleichbedeutend mit der Nichtexistenz von 0 verschiedener Elemente unendlicher Höhe ist. Ferner ergibt sich als Kriterium für die direkte Zerlegbarkeit torsionsfreier und abzählbarer Gruppen in lauter unendliche zyklische Summanden die von \textit{Pontrjagin} (Topological groups, 1939; F.~d.~M. 65, 872) zuerst angegebene Bedingung, daß jede aufsteigende Kette von Untergruppen gleichen Ranges abbrechen muß. Satz 4: Die direkte Zerlegbarkeit einer \(p\)-Gruppebeliebiger Mächtigkeit in lauter zyklische Summanden ist gleichbedeutend mit der Existenz einer aufsteigenden Kette \(\mathfrak{B}_1 \subseteqq \mathfrak{B}_2 \subseteqq \mathfrak{B}_3 \subseteqq \cdots\)* von Servanzuntergruppen, die jeweils endlichen Exponenten haben, so daß \(\lim\limits_{n \to \infty} \mathfrak{B}_n=\mathfrak{A}\) ist. Satz 5: Jede Servanzuntergruppe von endlichem Exponenten ist direkter Summand. Folgerung: Wenn die Untergruppe aller Elemente endlicher Ordnung endlichen Exponenten hat, so ist sie direkter Summand (s. \textit{Baer}, Ann. Math., Princeton, (2) 87 (1936), 766-781; F.~d.~M. 62\(_{\text{II}}\), 1093; \textit{S. Fomin}, Rec. math., Moscou, (2) 2 (1937), 1007-1009; F.~d.~M. 63\(_{\text{II}}\), 862). Ferner folgt Satz 6: Eine \(p\)-Gruppe, die sich nicht in die direkte Summe von zyklischen und quasizyklischen Untergruppen zerlegen läßt, gestattet überhaupt keine Remaksche Zerlegung. (Von \textit{R. Baer} (Quart. J. Math. (Oxford Ser.) 6 (1935), 217-221; F.~d.~M. 61\(_{\text{I}}\), 104) nur für den abzählbaren Fall bewiesen.) Satz 7: Jede gemischte Gruppe, d. i. eine Gruppe, die weder torsionsfrei noch eine Torsionsgruppe ist, hat eine nichttriviale direkte Zerlegung. -- In {\S} 5 werden \(p\)-Gruppen mit beliebig vorgegebener unendlicher Mächtigkeit von der Form \(\aleph_{a+1}\) konstruiert, in denen jedes von 0 verschiedene Element endliche Höhe hat, so daß jede direkte Zerlegung der Gruppe wenigstens einen Summanden, von gleich großer Mächtigkeit aufweist.
    0 references
    0 references