Groups with abelian central quotient group. (Q2595649)

Verf. untersucht die Gruppen \(\mathfrak G\), deren Kommutatorgruppe \(\mathfrak C\) im Zentrum \(\mathfrak C\) liegt, indem er \(\mathfrak G\) als Erweiterung einer beliebig ausgewählten Zwischengruppe \(\mathfrak S\) mit \(\mathfrak C\leqq\mathfrak S\leqq \mathfrak Z\) mit ihrer Faktorgruppe \(\mathfrak G/\mathfrak S=\mathfrak G^*\) ansieht. Er beschreibt die Erweiterung durch zwei Funktionen. Er setzt (1) \(x^* \bigcirc y^* = xyx^{-1}y^{-1}\), wenn \(x^* =\mathfrak Sx\), \(y^* =\mathfrak Sy\). Sie hat die Eigenschaften \[ x^*\bigcirc x^* = (x^*\bigcirc y^*)(y^*\bigcirc x^*)=1, \quad x^*\bigcirc y^*z^* = (x^*\bigcirc y^*)(x^*\bigcirc z^*); \] (2) \(P(n, x^*)=\mathfrak S^nx^n\); diese Funktion wird für die natürlichen Zahlen \(n\) und diejenigen \(x^*\) erklärt, für die \({x^*}^n = 1\) ist. Auch \(P (n, x^*)\) genügt für sich und zusammen mit \(x^* \bigcirc y^*\) gewissen Funktionalgleichungen. Verf. beweist als Hauptergebnis, daß umgekehrt zu jeder Lösung dieser Funktionalgleichungen mindestens eine Gruppe \(\mathfrak G\) und unter gewissen Zusatzvoraussetzungen auch nur eine gehört; z. B. dann, wenn \(w^* \bigcirc x^* = 1\) nur dann für alle \(x^*\) gilt, wenn \(w^* = 1\) ist (d. h., daß \(\mathfrak S\) das genaue Zentrum von \(\mathfrak S\) ist), und wenn außerdem \(\mathfrak G^*\) direktes Produkt von (endlich oder unendlich vielen) zyklischen Gruppen ist oder \(\mathfrak G\) eine sogenannte abgeschlossene \(p\)-adische Gruppe ist. Endliche Gruppen heißen konform, wenn sie, zu jedem \(n\), gleich viele Elemente der Ordnung \(n\) enthalten. Verf. gibt eine Erweiterung dieser Definition auf unendliche Gruppen an, welche zwar nicht transitiv ist, bei welcher aber, wie im endlichen Fall, konforme Abelsche Gruppen isomorph sind. Er stellt die Bedingungen dafür auf, daß \(\mathfrak G\) zu mindestens einer Abelschen Gruppe konform ist, und beweist, daß \(\mathfrak G\) zu höchstens einer Abelschen Gruppe konform ist, falls \(\mathfrak G/\mathfrak Z\) direktes Produkt zyklischer Gruppen ist. Schließlich untersucht er die Automorphismen der betrachteten Gruppen \(\mathfrak G\) und ermittelt insbesondere eine hinreichende Bedingung dafür, daß sich \(\mathfrak G\) konform und unter Erhaltung seiner Automorphismen auf eine Abelsche Gruppe abbilden läßt.