О финитной аппроксимируемости уравнений в конечно порожденных нильпотентных группах

Доказано: 1) всякая конечно порожденная нильпотентная группа финитно аппроксимируема относительно класса некоммутантных уравнений; 2) существует алгоритм, распознающий разрешимость всякого некоммутантного уравнения в любой конечно порожденной нильпотентной группе; 3) невозможен алгоритм для распознавания разрешимости произвольных коммутантных уравнений в свободной конечно порожденной нильпотентной группе.
Библиогр. 6.