Некоторые алгоритмические вопросы для метабелевых групп

Положительное решение проблемы тождества для конечно-порожденных метабелевых групп следует из их финитной аппроксимируемости. В работе приводится новый алгоритм решения этой проблемы. Кроме того, Для этих групп дается алгоритмическое решение следующей задачи: является ли данный элемент элементом конечного порядка? Отмечается, что приведенные алгоритмы примитивно-рекурсивны.