On the structure of some locally nilpotent groups without contranormal subgroups

DOI10.1515/JGTH-2021-0024MaRDI QIDQ2068340zbMATH OpenOpenAlexFDO

Authors P. Longobardi, M. Maj, L. A. Kurdachenko

Publication date 19 January 2022

Published in Journal of Group Theory (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2006.02345

zbMATH Keywords

contranormal subgrouphypercentral grouplocally nilpotent group

Mathematics Subject Classification ID

Subgroup theorems; subgroup growth (20E07) Chains and lattices of subgroups, subnormal subgroups (20E15) Local properties of groups (20E25) Generalizations of solvable and nilpotent groups (20F19)

Abstract: Following J.S. Rose, a subgroup H of a group G is said contranormal in G if G = H^G . In a certain sense, contranormal subgroups are antipodes to subnormal subgroups. It is well known that a finite group is nilpotent if and only if it has no proper contranormal subgroups. We prove that a nilpotent-by-finite group with no proper contranormal subgroup is nilpotent. There are locally nilpotent groups with a proper contranormal subgroup. We study the structure of hypercentral groups with a finite proper contranormal subgroup.

Review text

A subgroup \(H\) of a group \(G\) is contranormal in \(G\) if \(H^G=G\), a term introduced by \textit{J. S. Rose} [Proc. Lond. Math. Soc. (3) 17, 447--469 (1967; Zbl 0153.03602); Math. Z. 106, 97--112 (1968; Zbl 0169.03402)]. Important examples of contranormal subgroups are abnormal subgroups. However, a locally nilpotent group contains no proper abnormal subgroups, whereas the locally dihedral \(2\)-group is a hypercentral group which contains a proper contranormal subgroup. It is easy to see that a finite group is nilpotent if and only if it has no proper contranormal subgroups. However in infinite groups there are non-nilpotent (even non locally nilpotent) examples with all proper subgroups subnormal and hence there are no proper contranormal subgroups in such a case. A natural question then is to determine what can be said concerning groups which have no proper contranormal subgroups. This question has been studied by various authors (see [\textit{L. A. Kurdachenko} et al., Commun. Algebra 37, No. 12, 4542--4557 (2009; Zbl 1192.20015); \textit{B. A. F. Wehrfritz}, Publ. Mat., Barc. 64, No. 1, 183--194 (2020; Zbl 1445.20030)], for example). In the current paper, this question is explored further. For example, the authors prove: Proposition A: Let \(G\), be a group, let \(L, K\) be normal subgroups of \(G\) such that \(L\) is a periodic locally nilpotent subgroup, \(L\leq K\) and \(K/L\) is finite. If \(G\) contains no proper contranormal subgroups, then \(K\) is locally nilpotent. This result itself has many interesting consequences. The authors go on to obtain more conditions on ``contranormal-free groups which imply nilpotency, as in the finite case. Overall this is a very interesting, informative paper with many useful techniques and results.

Recommendations

• On the structure of some groups having finite contranormal subgroups
• scientific article; zbMATH DE number 5613331
• Groups with no proper contranormal subgroups
• On influence of contranormal subgroups on the structure of infinite groups.
• On conormal subgroups

Cites work

• A group with trivial centre satisfying the normalizer condition
• Finite Soluble Groups with Pronormal System Normalizers
• Groups with all subgroups subnormal
• Groups with no proper contranormal subgroups
• Groups with prescribed quotient groups and associated module theory
• scientific article; zbMATH DE number 3145254 (Why is no real title available?)
• scientific article; zbMATH DE number 5613331 (Why is no real title available?)
• scientific article; zbMATH DE number 5076258 (Why is no real title available?)
• scientific article; zbMATH DE number 823146 (Why is no real title available?)
• scientific article; zbMATH DE number 6120598 (Why is no real title available?)
• Infinite groups with many permutable subgroups.
• Insight into modules over Dedekind domains
• Nilpotent subgroups of finite soluble groups
• Nonperiodic FC-groups and related classes of locally normal groups and torsionfree Abelian groups
• On influence of contranormal subgroups on the structure of infinite groups.
• Pronormality, contranormality and generalized nilpotency in infinite groups.
• Ranks of groups. The tools, characteristics, and restrictions
• Some sufficient conditions for a group to be nilpotent
• Summands of Separable Abelian Groups: Dedicated to Paul Turán on his 60th Birthday

Cited in

(8)

• Groups with no proper contranormal subgroups
• On local nilpotency of the normal subgroups of a group
• On influence of contranormal subgroups on the structure of infinite groups.
• On conormal subgroups
• ON GROUPS WHOSE SUBGROUPS ARE EITHER MODULAR OR CONTRANORMAL
• On the structure of some contranormal-free groups
• scientific article; zbMATH DE number 7648617 (Why is no real title available?)
• On some groups whose subnormal subgroups are contranormal-free

This page was built for publication: On the structure of some locally nilpotent groups without contranormal subgroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2068340)