Проблема разрешимости уравнений с одной неизвестной в нильпотентных группах

В работе строится пример конечно-порожденной нильпотентной группы ступени 3, для которой невозможен алгоритм, распознающий разрешимость уравнений с одной неизвестной. Для каждой конечно-порожденной нильпотентной группы ступени 2 такой алгоритм существует. Доказывается, что для любого $c\geqslant10^{20}$ невозможен алгоритм, распознающий разрешимость уравнений с одной неизвестной в свободных нильпотентных группах ступени $c$.
Библиография: 6 названий.