On the behaviour of normal subgroups under projectivities
type: Item
instance of: scholarly article
title: On the behaviour of normal subgroups under projectivities
zbMATH Open document ID: 0732.20012
DOI: 10.1016/0021-8693(91)90205-M
published in: Journal of Algebra
publication date: 1991-01-01T00:00:00Z
review text: Let G and \(G_ 1\) be groups. A projectivity \(\pi\) : \(G\to G_ 1\) is an isomorphism from the subgroup lattice of G onto the subgroup lattice of \(G_ 1\). If H is a normal subgroup if G, it is well-known that the preimage N of the core of \(H^{\pi}\) in \(G_ 1\) is a normal subgroup of G, and the knowledge of the factor groups H/N and \(H^{\pi}/N^{\pi}\) is useful to understand the connections between the structures of G and \(G_ 1.\) Here the authors prove the following: Let \(G=H(a)\) be a finite 2-group, where H is normal in G, and let \(\pi\) : \(G\to G_ 1\) be a projectivity such that the core of \(H^{\pi}\) in \(G_ 1\) is trivial. Then \(H'\) has order at most 2 and H is a modular group. Moreover, G is metabelian and \(G_ 1\) has derived length at most 3. - From this they deduce the following general results: (1) Let \(\pi\) : \(G\to G_ 1\) be a projectivity, H a normal subgroup of G and N the preimage of the core of \(H^{\pi}\) in \(G_ 1\). Then H/N and \(H^{\pi}/N^{\pi}\) are residually (finite modular) groups; in particular they are metabelian. Moreover H/N is nilpotent of class at most 2 and has commutator subgroup of exponent at most 2. (2) Let \(\pi\) : \(G\to G_ 1\) be a projectivity, and let X be a subgroup of G. If the n-th commutator subgroup of G is contained in X, then the 3n-th commutator subgroup of \(G_ 1\) is contained in \(X^{\pi}\). In particular, if G is soluble with derived length n, then \(G_ 1\) is soluble with derived length at most 3n-1. These theorems improve previous results of \textit{G. Busetto} [J. Algebra 88, 52-62 (1984; Zbl 0594.20021)] and \textit{G. Busetto} and \textit{F. Menegazzo} [Rend. Semin. Mat. Univ. Padova 73, 249-260 (1985; Zbl 0594.20022)].
reviewed by: Silvana Franciosi
Mathematics Subject Classification ID: 20E15
Mathematics Subject Classification ID: 20D30
Mathematics Subject Classification ID: 20F16
zbMATH DE Number: 4210402
zbMATH Keywords: subgroup lattice
zbMATH Keywords: normal subgroup
zbMATH Keywords: core
zbMATH Keywords: modular group
zbMATH Keywords: derived length
zbMATH Keywords: metabelian
zbMATH Keywords: commutator subgroup
zbMATH Keywords: soluble
author: Giorgio Busetto
author: Franco Napolitani
MaRDI profile type: Publication
cites work: A nonabelian normal subgroup with a core-free projective image
cites work: Normal subgroups and projectivities
cites work: Groups with soluble factor groups and projectivities
cites work: \(p\)-subgroups of core-free quasinormal subgroups
cites work: Normal subgroups and projectivities of finite groups
cites work: Normal Subgroups and Lattice Isomorphisms of Finite Groups†
cites work: On the Lattice of Subgroups of Finite Groups
cites work: Q3232305
cites work: Q5623889
Recommended article: Q3481940
Recommended article: Normal subgroups and projectivities
Recommended article: A nonabelian normal subgroup with a core-free projective image
Recommended article: Detecting the index of a subgroup in the subgroup lattice
Recommended article: On the embedding of core-free projective images of normal subgroups
Recommended article: On certain products of soluble groups
Recommended article: Q3752568
Recommended article: Q3829711
Recommended article: Finite groups in which primary subgroups have cyclic cofactors.
Recommended article: A note on finite products of nilpotent groups.
description: scientific article; zbMATH DE number 4210402