17.34 (2010)

Let $\mathfrak{N}_c$ be the quasivariety of nilpotent torsion-free groups of class at most $c$. Is it true that the dominion in $\mathfrak{N}_c$ (see the definition in 16.20) of a divisible subgroup in every group in $\mathfrak{N}_c$ is equal to this subgroup?