RUS  ENG
Full version
JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive

Sibirsk. Mat. Zh., 2017 Volume 58, Number 3, Pages 686–699 (Mi smj2889)

This article is cited in 4 papers

Algebraically and verbally closed subgroups and retracts of finitely generated nilpotent groups

V. A. Roman'kovab, N. G. Khisamievc, A. A. Konyrkhanovac

a Dostoevsky Omsk State University, Omsk, Russia
b Omsk State Technical University, Omsk, Russia
c East Kazakhstan State Technical University, Ust-Kamenogorsk, Kazakhstan

Abstract: We study algebraically and verbally closed subgroups and retracts of finitely generated nilpotent groups. A special attention is paid to free nilpotent groups and the groups $\mathrm{UT}_n(\mathbb Z)$ of unitriangular$(n\times n)$-matrices over the ring $\mathbb Z$ of integers for arbitrary $n$. We observe that the sets of retracts of finitely generated nilpotent groups coincides with the sets of their algebraically closed subgroups. We give an example showing that a verbally closed subgroup in a finitely generated nilpotent group may fail to be a retract (in the case under consideration, equivalently, fail to be an algebraically closed subgroup). Another example shows that the intersection of retracts (algebraically closed subgroups) in a free nilpotent group may fail to be a retract (an algebraically closed subgroup) in this group. We establish necessary conditions fulfilled on retracts of arbitrary finitely generated nilpotent groups. We obtain sufficient conditions for the property of being a retract in a finitely generated nilpotent group. An algorithm is presented determining the property of being a retract for a subgroup in free nilpotent group of finite rank (a solution of a problem of Myasnikov). We also obtain a general result on existentially closed subgroups in finitely generated torsion-free nilpotent with cyclic center, which in particular implies that for each $n$ the group $\mathrm{UT}_n(\mathbb Z)$ has no proper existentially closed subgroups.

Keywords: nilpotent group, retract, algebraically (verbally) closed subgroup, group of integer unitriangular matrices.

UDC: 512.54

MSC: 35R30

Received: 16.05.2016

DOI: 10.17377/smzh.2017.58.316


 English version:
Siberian Mathematical Journal, 2017, 58:3, 536–545

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024