Skip to main content
Log in

Torsion-free constructive nilpotent R p -groups

  • Published:
Siberian Mathematical Journal Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Mal’tsev A. I., “On recursive abelian groups,” Soviet Math. Dokl., 32, 1431–1434 (1962).

    MATH  Google Scholar 

  2. Ershov Yu. L., “Existence of constructivizations,” Soviet Math. Dokl., 13, 779–783 (1972).

    MATH  Google Scholar 

  3. 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).

    Article  MATH  MathSciNet  Google Scholar 

  4. Roman’kov V. A. and Khisamiev N. G., “Constructive matrix and orderable groups,” Algebra and Logic, 43, No. 3, 339–345 (2004).

    Article  MathSciNet  Google Scholar 

  5. Latkin I. V., “Arithmetic hierarchy of torsion-free nilpotent groups,” Algebra and Logic, 35, No. 3, 172–175 (1996).

    Article  MathSciNet  Google Scholar 

  6. Khisamiev N. G., “On constructive nilpotent groups,” Siberian Math. J., 48, No. 1, 172–179 (2007).

    Article  MathSciNet  Google Scholar 

  7. Khisamiev N. G., “Positively defined nilpotent groups,” Mat. Zh. Inst. Mat., 24, No. 2, 95–102 (2007).

    MathSciNet  Google Scholar 

  8. Goncharov S. S. and Ershov Yu. L., Constructive Models [in Russian], Nauchnaya Kniga, Novosibirsk (1999).

    Google Scholar 

  9. Kargapolov M. I. and Merzlyakov Yu. I., Fundamentals of the Theory of Groups, Springer-Verlag, New York; Heidelberg; Berlin (1979).

    MATH  Google Scholar 

  10. Khisamiev N. G., “Hierarchies of torsion-free abelian groups,” Algebra i Logika, 25, No. 2, 205–226 (1986).

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to N. G. Khisamiev.

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

Reprints 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

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11202-009-0020-9

Keywords

Navigation