On constructive nilpotent groups

Author: Khisamiev N.  

Publisher: Springer Publishing Company

ISSN: 0037-4466

Source: Siberian Mathematical Journal, Vol.48, Iss.1, 2007-01, pp. : 172-179

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

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.