On infinite locally solvable groups (Q2585880)

\(\mathfrak G\) sei eine beliebige, nicht notwendig endliche Gruppe. Verf. definiert: Normalreihe von \(\mathfrak G\) heißt eine endliche Folge \(\mathfrak G_0=\mathfrak G\supset\mathfrak G_1\supset\mathfrak G_2\cdots\supset\mathfrak G_l=1\), wenn \(\mathfrak G_{i+1}\) Normalteiler von \(\mathfrak G_i\), \(i = 0\), 1,\dots, \(l - 1\) ist. \(l =\) Länge der Normalreihe, \(\mathfrak G_i/\mathfrak G_{i+1}\) ihre Faktoren. Ist stets \(\mathfrak G_i/\mathfrak G_{i+1}\) abelsch, so heiße \(\mathfrak G\) auflösbar, und zwar von der Höhe \(l\), wenn die \(l\)-te Ableitung gleich 1 wird. \(\mathfrak G\) werde als lokal auflösbar bezeichnet, wenn eine beliebige endliche Menge ihrer Elemente eine endliche auflösbare Untergruppe erzeugt; entsprechend werden lokal spezielle Gruppen definiert. \(\mathfrak G\) erfüllt die Bedingung der Minimalität, wenn jede abnehmende Kette von Untergruppen nach einer endlichen Anzahl von Schritten mit der 1 endigt. Resultate: Jede auflösbare periodische Gruppe ist lokal auflösbar. Wenn eine lokal auflösbare Gruppe die Bedingung der Minimalität erfüllt, so ist sie auflösbar. Wenn eine Gruppe eine primäre Reihe endlicher Länge besitzt, so sind zwei beliebige primäre Reihen endlicher Länge äquivalent. Das direkte Produkt von zwei isomorphen Gruppen, deren Zentrum gleich 1 ist, enthält eine eigentliche Untergruppe, die ihr eigener Normalisator ist. Für die weiteren Resultate muß auf die Arbeit selbst verwiesen werden.