О некоторых алгоритмических проблемах для разрешимых групп

Построен алгоритм, решающий проблему вхождения для 2-ступенно разрешимых групп. Построен алгоритм, решающий проблему равенства для групп с одним соотношением в многообразии разрешимых групп данной ступени разрешимости при некоторых ограничениях на соотношение. Установлен критерий, когда факторы ряда коммутантов группы с одним соотношением не имеют кручения.