Abstract
We consider a torsion-free nilpotent R p -group, the p-rank of whose quotient by the commutant is equal to 1 and either the rank of the center by the commutant is infinite or the rank of the group by the commutant is finite. We prove that the group is constructivizable if and only if it is isomorphic to the central extension of some divisible torsion-free constructive abelian group by some torsion-free constructive abelian R p -group with a computably enumerable basis and a computable system of commutators. We obtain similar criteria for groups of that type as well as divisible groups to be positively defined. We also obtain sufficient conditions for the constructivizability of positively defined groups.
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., “Existence of constructivizations,” Soviet Math. Dokl., 13, 779–783 (1972).
Goncharov S. S., Molokov A. V., and Romanovskiĭ N. S., “Nilpotent groups of finite algorithmic dimension,” Siberian Math. J., 30, No. 1, 63–68 (1989).
Roman’kov V. A. and Khisamiev N. G., “Constructive matrix and orderable 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).
Khisamiev N. G., “On constructive nilpotent groups,” Siberian Math. J., 48, No. 1, 172–179 (2007).
Khisamiev N. G., “Positively defined nilpotent groups,” Mat. Zh. Inst. Mat., 24, No. 2, 95–102 (2007).
Goncharov S. S. and Ershov Yu. L., Constructive Models [in Russian], Nauchnaya Kniga, Novosibirsk (1999).
Kargapolov M. I. and Merzlyakov Yu. I., Fundamentals of the Theory of Groups, Springer-Verlag, New York; Heidelberg; Berlin (1979).
Khisamiev N. G., “Hierarchies of torsion-free abelian groups,” Algebra i Logika, 25, No. 2, 205–226 (1986).
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text Copyright © 2009 Khisamiev N. G.
The author was supported by the Kazakhstan Science Foundation (Grant 1.7.1–2).
__________
Translated from Sibirskiĭ Matematicheskiĭ Zhurnal, Vol. 50, No. 1, pp. 222–230, January–February, 2009.
Rights and permissions
About this article
Cite this article
Khisamiev, N.G. Torsion-free constructive nilpotent R p -groups. Sib Math J 50, 181–187 (2009). https://doi.org/10.1007/s11202-009-0020-9
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11202-009-0020-9