Аңдатпа
Considering a group with unique roots (i.e., an R -group), we give a sufficient condition for the existence of a positive (constructive) enumeration with respect to which the isolator of the commutant is computable. Basing on it, we prove the constructivizability of an R -group that admitting a positive enumeration for which the dimension of the commutant is finite. We obtain a necessary and sufficient condition of constructivizability for a torsion-free nilpotent group for which the dimension of the commutant is finite.