Abstract
We prove the following: (1) a torsion-free class 2 nilpotent group is constructivizable if and only if it is isomorphic to the extension of some constructive abelian group included in the center of the group by some constructive torsion-free abelian group and some recursive system of factors; (2) a constructivizable torsion-free class 2 nilpotent group whose commutant has finite rank is orderably constructivizable.
Similar content being viewed by others
References
Mal’cev A. I., “On recursive abelian groups,” Dokl. Akad. Nauk SSSR, 46, No. 5, 1009–1012 (1962).
Ershov Yu. L., “Existence of constructivizations,” Dokl. Akad. Nauk SSSR, 204, No. 5, 1041–1044 (1972).
Goncharov S. S., Molokov A. V., and Romanovskii N. S., “Nilpotent groups of finite algorithmic dimension,” Sibirsk. Mat. Zh., 30, No. 1, 82–88 (1989).
Roman’kov V. A. and Khisamiev N. G., “Constructible matrix groups,” Algebra and Logic, 43, No. 3, 339–345 (2004).
Latkin I. V., “Arithmetic hierarchy of torsion-free nilpotent groups,” Algebra and Logic, 35, No. 3, 172–175 (1996).
Goncharov S. S. and Ershov Yu. L., Constructive Models [in Russian], Nauchnaya Kniga, Novosibirsk (1996).
Kargapolov M. I. and Merzlyakov Yu. I., Fundamentals of the Theory of Groups [in Russian], Nauka, Moscow (1996).
Khisamiev N. G., “Hierarchies of torsion-free abelian groups,” Algebra i Logika, 25, No. 2, 205–226 (1986).
Author information
Authors and Affiliations
Additional information
Original Russian Text Copyright © 2007 Khisamiev N. G.
__________
Translated from Sibirskiĭ Matematicheskiĭ Zhurnal, Vol. 48, No. 1, pp. 214–223, January–February, 2007.
Rights and permissions
About this article
Cite this article
Khisamiev, N.G. On constructive nilpotent groups. Sib Math J 48, 172–179 (2007). https://doi.org/10.1007/s11202-007-0018-0
Received:
Issue Date:
DOI: https://doi.org/10.1007/s11202-007-0018-0