Соколов Е.В.
О применимости алгоритма А.И. Мальцева к бесконечным представлениям групп.
Вестник ИвГУ. Сер. "Естественные, общественные науки". 2011, Вып.2. С.152-164.
Рассматриваются группы, заданные бесконечными рекурсивными представлениями.
Получены некоторые условия, достаточные для того, чтобы для решения алгоритмических проблем
в таких группах можно было применить алгоритмы, основанные на идее "конечной сводимости".
Полный текст статьи (PDF, 233 Кб)
|