Соколов Е.В. О применимости алгоритма А.И. Мальцева к бесконечным представлениям групп.
    Вестник ИвГУ. Сер. "Естественные, общественные науки". 2011, Вып.2. С.152-164.


Рассматриваются группы, заданные бесконечными рекурсивными представлениями. Получены некоторые условия, достаточные для того, чтобы для решения алгоритмических проблем в таких группах можно было применить алгоритмы, основанные на идее "конечной сводимости".

Полный текст статьи (PDF, 233 Кб)