On stable torsion-free nilpotent groups
type: Item
instance of: scholarly article
title: On stable torsion-free nilpotent groups
zbMATH Open document ID: 0788.03047
DOI: 10.1007/BF01270468
author: Claus Grünenwald
author: Frieder Haug
published in: Archive for Mathematical Logic
publication date: 1994-06-05T00:00:00Z
review text: B. I. Zil'ber proved that any uncountably categorical torsion-free nilpotent nonabelian group is an algebraic group over an algebraically closed field. The authors show that any stable torsion-free nilpotent nonabelian group \(G\) interprets an infinite field. To prove this they proceed as follows. Using the descending chain condition for centralizers in \(G\) they find a definable subgroup \(H\) of \(G\) and \(a,b \in H\) such that (1) \(H\) is 2-step nilpotent, (2) \(C_ H(a)\) and \(C_ H(b)\) are abelian, (3) \(C_ H(a) \cap C_ H(b)= Z(H)\), (4) \([C_ H(a),b]=[a,C_ H(b)]=H'\); moreover, \((*)\) in \(H\) the centralizer of any noncentral element is abelian. A. I. Mal'tsev proved that under the conditions (1)-- (4) \(H\) interprets a ring \(R\) whose additive group is \(H'\). The authors observe that \((*)\) means exactly that the ring \(R\) is an integral domain. As a stable integral domain is a field, the result follows. The reviewer described the structure of groups \(H\) with \(H'=Z(H)\) satisfying (1)--(4); it turned out that they were very close to the groups of the form \(\mathbf{UT}_ 3 (R)\). The authors generalize the reviewer's method to describe the structure of arbitrary groups satisfying (1)--(4); as a corollary, they characterize stable groups \(H\) with torsion-free \(H'\) satisfying (1)--(4). It is also proved that if \(G\) is a stable torsion-free \(n\)-step nilpotent group, \(n \geq 2\), then \(G/Z_{n-1}(G)\) is divisible.
reviewed by: Oleg Belegradek
Mathematics Subject Classification ID: 03C60
Mathematics Subject Classification ID: 03C45
Mathematics Subject Classification ID: 20F18
Mathematics Subject Classification ID: 20A15
zbMATH DE Number: 492855
zbMATH Keywords: nilpotent group
zbMATH Keywords: stable theory
zbMATH Keywords: stable group
zbMATH Keywords: nonabelian group
zbMATH Keywords: infinite field
MaRDI profile type: Publication
cites work: A new uncountably categorical group
cites work: Q4015747
cites work: Groups with the minimal condition on centralizers
cites work: Categoricity and stability of commutative rings
cites work: Q3663521
cites work: Formularity of sets of Mal'tsev bases, and elementary theories of finite algebras. I
cites work: The Undecidability of Algebraic Rings and Fields
cites work: Preservation of saturation and stability in a variety of nilpotent groups
cites work: On the model theory of the ring \(\mathrm{NT}(n,R)\)
cites work: Nilpotent groups
cites work: Q3663519
description: scientific article; zbMATH DE number 492855