"Степени неразрешимости проблемы тождества для конечно-определенных групп" - читать интересную книгу автора (Фридман А.А.)