
Summary: 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.
center, Nilpotent groups, Computable structure theory, computable model theory, Applications of logic to group theory, Ordered groups, nilpotent groups, systems of factors, Theory of numerations, effectively presented structures, computable subgroups, constructive groups
center, Nilpotent groups, Computable structure theory, computable model theory, Applications of logic to group theory, Ordered groups, nilpotent groups, systems of factors, Theory of numerations, effectively presented structures, computable subgroups, constructive groups
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 4 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
