On some questions concerning permutable subgroups of finitely generated groups and projectivities of perfect groups (Q1199666): Difference between revisions

Ist \(H\) eine permutable Untergruppe (d.h. \(HK = KH\) für alle \(K \leq G\)) einer endlichen Gruppe \(G\), so ist bekanntlich \(H^ G/H_ G\) hyperzentral in \(G\) eingebettet. Ferner ist jede permutable Untergruppe einer endlichen perfekten Gruppe normal, und jede Autoprojektivität einer solchen Gruppe bildet Normalteiler auf Normalteiler ab. Die Verf. zeigen, daß die Situation im Unendlichen ganz anders ist: sie konstruieren eine endlich erzeugte perfekte \(p\)-Gruppe \(G\) mit einer permutablen Untergruppe \(H\), so daß \(H/H_ G\) unendlich und nicht im Hyperzentrum von \(G/H_ G\) enthalten ist. Dazu betrachten sie eine erweiterte Tarskigruppe \(T\) vom Exponenten \(p^ 3\) und bilden das semidirekte Produkt \(G\) des Augmentationsideals \(N\) der Gruppenalgebra der Tarskigruppe \(T/Z(T)\) über \(GF(p)\) mit \(T\), wobei die Operation von \(T\) auf \(N\) induziert wird von \(T/Z(T)\) via Rechtsmultiplikation. Sie zeigen, daß \(G\) und jede maximale Untergruppe \(H\) von \(\Omega(G)\) mit \(\Omega(T) \leq H \neq N\) die oben erwähnten Eigenschaften haben. Ferner geben sie eine Autoprojektivität von \(G\) an, die \(N\) auf eine nicht normale Untergruppe abbildet.