The arithmetical hierarchy of nilpotent torsion-free groups

Previously, N. Khisamiev proved that all {ie172-1} Abelian torsion-free groups are {ie172-2}. We prove that for the class of nilpotent torsion-free groups, the situation is different: even the quotient group F of a {ie172-3} nilpotent group of class 2 by its periodic part may fail to have a {ie172-4}. Translated fromAlgebra i Logika, Vol. 35, No. 3, pp. 308–313, May–June, 1996.