Neuer Beweis eines Satzes von Herrn Furtwängler über die metabelschen Gruppen. (Q563323)

Der folgende Satz, den Furtwängler für Gruppen von Primzahlpotenzordnung bewiesen hat (1930; JFM 55.0699.*), wird allgemein für endliche metabelsche Gruppen bewiesen: Die Faktorgruppe der Kommutatorgruppe \(\mathfrak K\) der metabelschen Gruppe \(\mathfrak G\) sei in der folgenden Form darstellbar: \[ \mathfrak G/\mathfrak K = S_1^{x_1}\cdots S_n^{x_n}\mathfrak K\quad (x_i = 1,\ldots,e_i). \] Für \[ f_i = 1+S_i+S_i^2+\cdots +S_i^{e_i -1} \] ist dann die symbolische Potenz \[ S_i^{e_if_1\cdots f_{i-1}f_{i+1}\cdots f_n} = E. \] Verf. transformiert die reguläre Darstellung \(\varGamma \) von \(\mathfrak G\) so, daß die Elemente der Kommutatorgruppe Diagonalmatrizen werden und \(\varGamma \) monomial bleibt. Da der Satz für die transitiven Bestandteile dieser transformierten Gruppe, also für transitive monomiale metabelsche Gruppen, richtig ist, gilt er allgemein.