Sui gruppi di Hirsch supersolubili. I, II. (Q2579684)

Verf, bezeichnet als Hirschsche Gruppe die Klasse von unendlichen Gruppen, welche eine endliche Anzahl von Untergruppen besitzen \(G = G_0\), \(G_1\),\dots, \(G_l=1\), von denen jede Normalteiler der vorhergehenden ist, und für welche die Faktorgruppen \(G_i/G_{i+1}\) abelsch mit endlieh vielen Erzeugenden sind. Eine Gruppe heißt überauflösbar (supersolubile), wenn es möglich ist, die Reihe so zu wählen, daß die Faktorgruppen zyklisch von Primzahl- oder unendlicher Ordnung sind, wobei außerdem noch verlangt wird, daß alle Gruppen der Reihe Normalteiler der ganzen Gruppe \(G\) sind. Jede Untergruppe einer überauflösbaren Gruppe ist wieder überauflösbar. Dasselbe gilt auch von den in ihr auftretenden Faktorgruppen. Die Faktorgruppen einer Hauptreihe sind zyklisch von Primzahl- oder unendlicher Ordnung. Die Anzahl der Gruppen in einer Hauptreihe ist nicht invariant, aber es gilt der Satz: Die Faktorgruppen von Hauptreihen kleinster Länge sind bis auf ihre Reihenfolge isomorph. Die Elemente ungerader Ordnung bilden stets eine charakteristische Untergruppe. Man kann von ihr aus durch eine Kompositionsreihe zur ganzen Gruppe aufsteigen und erhält so alle Kompositionsreihen kleinster Länge, wenigstens soweit die Primfaktorgruppen in Betracht kommen. Die Sylowgruppen sind im allgemeinen nicht konjugiert und nicht einmal von derselben Ordnung. Die notwendige und hinreichende Bedingung dafür, daß eine Hirschsche Gruppe überauflösbar ist, ist, daß man aus jeder Kette durch Verfeinerung eine neue herleiten kann, in der jede Untergruppe gegenüber der vorhergehenden Primzahlindex oder den Index \(\infty ^1\) hat. Dieser Satz ist die Verallgemeinerung eines Satzes von O. Ore, und \(\infty ^1\) bedeutet, daß die Faktorgruppe durch ein einziges Element erzeugt werden kann.