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.
Similar content being viewed by others
References
Mal’tsev A. I., “On recursive abelian groups,” Soviet Math. Dokl., 32, 1431–1434 (1962).
Ershov Yu. L. and Goncharov S. S., Constructive Models. Ser. Siberian School of Algebra and Logic, Kluwer Academic/Plenum Publishers, New York, etc. (2000).
Ershov Yu. L., “Existence of constructivizations,” Soviet Math. Dokl., 13, 779–783 (1972).
Goncharov S. S., Molokov A. V., and Romanovskij N. S., “Nilpotent groups of finite algorithmic dimension,” Siberian Math. J., 30, No. 1, 63–68 (1989).
Goncharov S. S. and Drobotun B. N., “Algorithmic dimension of nilpotent groups,” Siberian Math. J., 30, No. 2, 210–217 (1989).
Latkin I. V., “Arithmetic hierarchy of torsion-free nilpotent groups,” Algebra and Logic, 35, No. 3, 172–175 (1996).
Roman’kov V. A. and Khisamiev N. G., “Constructive matrix and orderable groups,” Algebra and Logic, 43, No. 3, 198–204 (2004).
Roman’kov V. A. and Khisamiev N. G., “Constructible matrix groups,” Algebra and Logic, 43, No. 5, 339–345 (2004).
Khisamiev N. G., “On constructive nilpotent groups,” Siberian Math. J., 48, No. 1, 172–179 (2007).
Khisamiev N. G., “Positively related nilpotent groups,” Mat. Zh. Inst. Mat. MOiN RK, 24, No. 2, 95–102 (2007).
Khisamiev N. G., “Torsion-free constructive nilpotent Rp-groups,” Siberian Math. J., 50, No. 1, 181–186 (2009).
Khisamiev N. G., “Hierarchies of torsion-free Abelian groups,” Algebra and Logic, 25, No. 2, 128–142 (1986).
Khisamiev N. G., “On positive and constructive groups,” Siberian Math. J., 53, No. 5, 906–917 (2012).
Kargapolov M. I. and Merzlyakov Yu. I., Fundamentals of the Theory of Groups, Springer-Verlag, New York, Heidelberg, and Berlin (1979).
Mal’cev A. I., Algorithms and Recursive Functions, Wolters-Noordhoff Publishing, Groningen (1970).
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text Copyright © 2014 Nurizinov M.K., Tyulyubergenev R.K, and Khisamiev N.G.
The authors were supported by the Ministry of Education and Science of the Republic of Kazakhstan (Grants 0726/GF and 0929/GFZ).
__________
Translated from Sibirskiĭ Matematicheskiĭ Zhurnal, Vol. 55, No. 3, pp. 580–591, May–June, 2014.
Rights and permissions
About this article
Cite this article
Nurizinov, M.K., Tyulyubergenev, R.K. & Khisamiev, N.G. Computable torsion-free nilpotent groups of finite dimension. Sib Math J 55, 471–481 (2014). https://doi.org/10.1134/S0037446614030094
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0037446614030094