Abstract:
The author constructs a finitely generated nilpotent group of class 3 for which there is no algorithm recognizing the solvability of equations in one unknown. Such an algorithm exists for every finitely generated nilpotent group of class 2. It is proved that for any $c\geqslant10^{20}$ there is no algorithm recognizing the solvability of equations in one unknown in free nilpotent groups of class $c$.
Bibliography: 6 titles.