On the embedding of core-free projective images of normal subgroups
type: Item
instance of: scholarly article
title: On the embedding of core-free projective images of normal subgroups
zbMATH Open document ID: 0593.20032
DOI: 10.1007/BF01766589
published in: Annali di Matematica Pura ed Applicata. Serie Quarta
publication date: 1985-01-01T00:00:00Z
review text: Given a projectivity (i.e. a subgroup lattice isomorphism) between two groups G and \(\bar G,\) we adopt the convention that subgroups which correspond under the projectivity are denoted by the same letter, e.g. X and \(\bar X.\) It is known that \(H\triangleleft G\) does not ensure \(\bar H\triangleleft \bar G\); in fact we assume throughout that (*) \(H\triangleleft G\) but \(\bar H\) is core-free in \(\bar G.\) Now suppose that G/H is finitely generated and \(\bar H\) is quasinormal (permutable) in \(\bar G.\) By a result of Zacher, \(\bar H\) is periodic nilpotent, so for a fixed prime p we take \(\bar S\) to be the Sylow p- subgroup of \(\bar H.\) Write \(\bar C\) for the centralizer in \(\bar G\) of the normal closure \(\bar N\) of \(\bar S\) in \(\bar G,\) and D for the centralizer in G of the corresponding N. The author proves that \(\bar G/\bar C\) and \(G/D\) are p-groups (known results force \(N\triangleleft G).\) The second main theorem in the paper generalizes a result of \textit{R. Schmidt} [Proc. Lond. Math. Soc., III. Ser. 30, 287-300 (1975; Zbl 0299.20015)]. Schmidt proved that if (*) is assumed and G is finite then there is a \(\bar G\)-invariant series, with cyclic factors, in the normal closure \(\bar M\) of \(\bar H\) in \(\bar G,\) and a G-invariant series, also with cyclic factors, in the corresponding M; moreover if \(\bar H\) is quasinormal in \(\bar G\) then the factors in these series are centralized by \(\bar G,\) G respectively. In the present paper it is shown that ''G finite'' can be weakened to ''every periodic quotient of a finitely- generated subgroup of G is finite'', and the same conclusions hold. The proofs are relatively straightforward, - the notation is not.
Mathematics Subject Classification ID: 20E15
Mathematics Subject Classification ID: 20D30
zbMATH DE Number: 3953066
zbMATH Keywords: projectivity
zbMATH Keywords: subgroup lattice isomorphism
zbMATH Keywords: normal closure
zbMATH Keywords: centralizer
zbMATH Keywords: G-invariant series
zbMATH Keywords: quasinormal
zbMATH Keywords: finitely-generated subgroup
author: Giorgio Busetto
reviewed by: D. J. McCaughan
MaRDI profile type: Publication
cites work: \(p\)-subgroups of core-free quasinormal subgroups
cites work: Infinite permutable subgroups
cites work: Q4161846
cites work: A Note on Quasinormal Subgroups of Finitely Generated Groups
cites work: The embedding of quasinormal subgroups in finite groups
cites work: Über das Verhalten der Normalteiler unter Projektivitäten
cites work: Q5654235
cites work: Normal Subgroups and Lattice Isomorphisms of Finite Groups†
cites work: Permutable subgroups of infinite groups
cites work: Q4128983
cites work: On the Lattice of Subgroups of Finite Groups
description: scientific article; zbMATH DE number 3953066