On generalized Dedekind groups and Tarski super monsters
type: Item
instance of: scholarly article
title: On generalized Dedekind groups and Tarski super monsters
zbMATH Open document ID: 0959.20031
author: Marcel Herzog
author: P. Longobardi
author: M. Maj
author: Avinoam Mann
published in: Journal of Algebra
publication date: 2001-02-04T00:00:00Z
review text: A group \(G\) is called a \(J\)-group if it satisfies the following condition: for each element \(x\in G\) either the subgroup \(\langle x\rangle\) is normal in \(G\), or the subgroup \(\langle x,x^g\rangle\) is normal in \(G\) for all elements \(g\in G\setminus N_G(\langle x\rangle)\). \(J\)-groups are a generalization of the Dedekind groups. The first step is the study of finite \(J\)-groups. Theorem 1. If \(G\) is a finite \(J\)-group, then \(G\) is soluble. Theorem 2. Let \(G\) be a finite nilpotent group. Then \(G\) is a \(J\)-group if and only if all the Sylow subgroups of \(G\) are \(J\)-groups and all but at most one are Dedekind groups. Theorem 5. Let \(G\) be a finite \(J\)-group, \(Z\) be the upper hypercenter of \(G\). Then \(G/Z\) is a Frobenius group with an elementary Abelian kernel \(P\) of order \(p^i\), \(i\leq 2\), for some prime \(p\), and with a cyclic complement \(D\). If \(|P|=p^2\), then \(D\) is of odd order and \(|D|\) divides \(p+1\). Theorem 6. Let \(G\) be a finite group with identity center. Then \(G\) is a \(J\)-group if and only if \(G\) is a Frobenius group with an elementary Abelian kernel \(P\) of order \(p\) or \(p^2\) and a cyclic complement \(D\), which is of odd order dividing \(p+1\) if \(|P|=p^2\). Section III of this paper contains some properties of finite primary \(J\)-groups. Section IV of this paper contains some properties of infinite soluble \(J\)-groups. The basis is Theorem 24. Let \(G\) be a finitely generated infinite non-Abelian group. Then \(G\) is a \(J\)-group if and only if \([G,G]\) has prime order. Corollary 25. Let \(G\) be a locally soluble \(J\)-group. Then (i) \(G\) is soluble; (ii) \(\text{dl}(G)\leq 3\); (iii) if \(G\) is not periodic then either \(G\) is Abelian, or \([G,G]\) has prime order. Corollary 29. Let \(G\) be a locally nilpotent \(J\)-group. Then (i) \(G\) is nilpotent; (ii) \(\text{cl}(G)\leq 3\). Theorem 30. Let \(G\) be an infinite locally finite \(J\)-group. Then (i) \(G\) is soluble and…
Mathematics Subject Classification ID: 20E34
Mathematics Subject Classification ID: 20F22
Mathematics Subject Classification ID: 20F19
Mathematics Subject Classification ID: 20D15
Mathematics Subject Classification ID: 20F16
Mathematics Subject Classification ID: 20F14
Mathematics Subject Classification ID: 20E32
zbMATH DE Number: 1448606
zbMATH Keywords: generalized Dedekind groups
zbMATH Keywords: finite solvable \(J\)-groups
zbMATH Keywords: finite nilpotent groups
zbMATH Keywords: Frobenius groups
zbMATH Keywords: locally soluble groups
zbMATH Keywords: locally nilpotent groups
reviewed by: L. A. Kurdachenko
MaRDI profile type: Publication
full work available at URL: jabr.1999.8106
OpenAlex ID: W1990798447
cites work: Automorphism Groups of Residually Finite Groups
cites work: Power automorphisms of a group
cites work: Groups of prime power order with many conjugacy classes
cites work: Endliche Gruppen I
cites work: Q4735339
cites work: Q4177758
cites work: Q3961021
cites work: On the norm of a group
cites work: Q5603254
cites work: Breadth and commutator subgroups of p-groups
DOI: 10.1006/JABR.1999.8106
description: scientific article; zbMATH DE number 1448606