|
|
Sibirskii Matematicheskii Zhurnal, 2014, Volume 55, Number 3, Pages 580–591
(Mi smj2555)
|
|
|
|
This article is cited in 2 scientific papers (total in 3 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.
Received: 30.10.2013
Citation:
M. K. Nurizinov, R. K. Tyulyubergenev, N. G. Khisamiev, “Computable torsion-free nilpotent groups of finite dimension”, Sibirsk. Mat. Zh., 55:3 (2014), 580–591; Siberian Math. J., 55:3 (2014), 471–481
Linking options:
https://www.mathnet.ru/eng/smj2555 https://www.mathnet.ru/eng/smj/v55/i3/p580
|
|