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

Sibirsk. Mat. Zh., 2014 Volume 55, Number 3, Pages 580–591 (Mi smj2555)

This article is cited in 2 papers

Computable torsion-free nilpotent groups of finite dimension

M. K. Nurizinov, R. K. Tyulyubergenev, N. G. Khisamiev

East Kazakhstan State Technical University, Ust'-Kamenogorsk, Kazakhstan

Abstract: We find criteria for the computability (constructivizability) of torsion-free nilpotent groups of finite dimension. We prove the existence of a principal computable enumeration of the class of all computable torsion-free nilpotent groups of finite dimension. An example is constructed of a subgroup in the group of all unitriangular matrices of dimension 3 over the field of rationals that is not computable but the sections of any of its central series are computable.

Keywords: dimension of a group, nilpotent torsion-free group of finite dimension, unitriangular matrix over the fields of rationals, central series, sections of the central series, computable group, principal computable enumeration.

UDC: 512.54+510.5

Received: 30.10.2013


 English version:
Siberian Mathematical Journal, 2014, 55:3, 471–481

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024