Groups isomorphic to all their non-trivial normal subgroups

DOI10.1007/BF02773151MaRDI QIDQ1601460zbMATH OpenOpenAlexFDO

Authors Rüdiger Göbel, Agnes T. Paras, S. Shelah

Publication date 30 September 2002

Published in Israel Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

free products with amalgamationHNN extensionshomogeneous structures in model theorynormal subgroupsuniversal structures in model theory

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) Subgroup theorems; subgroup growth (20E07) Chains and lattices of subgroups, subnormal subgroups (20E15) General structure theorems for groups (20E34) Derived series, central series, and generalizations for groups (20F14)

Abstract: In answer to a question of P. Hall, we supply another construction of a group which is isomorphic to each of its non-trivial normal subgroups.

Review text

In the early 1970's, the following question was asked by Philip Hall [see \textit{J. C. Lennox, J. Wiegold} and \textit{H. Smith}, J. Pure Appl. Algebra 88, No. 1-3, 169-171 (1993; Zbl 0797.20027)] and appeared later in The Kourovka notebook. Unsolved problems in group theory [14th augm. ed. (1999; Zbl 0943.20003)] in the form: Must a non-trivial group, which is isomorphic to each of its non-trivial normal subgroups, be either free of infinite rank, simple or infinite cyclic? This was answered in the negative by \textit{V. N. Obraztsov} [in Proc. Lond. Math. Soc., III. Ser. 75, No. 1, 79-98 (1997; Zbl 0918.20023)], where he used the technique of graded diagrams developed by \textit{A. Yu. Ol'shanskij} [Geometry of defining relations in groups, Mathematics and Its Applications. Soviet Series, 70. Dordrecht etc.: Kluwer Academic Publishers (1991; Zbl 0732.20019)]. In the paper under review the authors provide a different construction of a non-trivial group which is isomorphic to each of its non-trivial normal subgroups. The main result of this paper is: Let \(\kappa\) be an uncountable cardinal such that \(\kappa=\kappa^{<\kappa}\). Then there exists a group \(G\) of cardinality \(\kappa\) with a descending principal series \[ G\supset G_1\supset\cdots\supset G_n\supset\cdots \] such that \(\bigcap_{n<\omega}G_n=1\), \(G_n\cong G\) for each \(n<\omega\), and any normal subgroup of \(G\) is equal to some \(G_n\). This construction makes special use of the notion of homogeneous and universal structures in model theory and well-known facts about HNN extensions and free products with amalgamation.

Recommendations

• Groups isomorphic to their non-nilpotent subgroups
• Groups which are isomorphic to their nonabelian subgroups
• scientific article; zbMATH DE number 892533
• scientific article; zbMATH DE number 1209853
• scientific article; zbMATH DE number 3983468
• scientific article; zbMATH DE number 7359835
• scientific article; zbMATH DE number 1857730
• Groups in which every non-abelian subgroup is self-normalizing
• Groups in which every non-nilpotent subgroup is self-normalizing
• Isomorphisms of the subnormal structure of groups

Cites work

• A problem about normal subgroups
• scientific article; zbMATH DE number 51735 (Why is no real title available?)
• scientific article; zbMATH DE number 125200 (Why is no real title available?)
• scientific article; zbMATH DE number 3574107 (Why is no real title available?)
• On a Problem of P. Hall about Groups Isomorphic to all their Non-Trivial Normal Subgroups

Cited in

(3)

• On a Problem of P. Hall about Groups Isomorphic to all their Non-Trivial Normal Subgroups
• Philip Hall's problem on non-Abelian splitters
• A problem about normal subgroups

This page was built for publication: Groups isomorphic to all their non-trivial normal subgroups

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