Недзельский М.М. Алгоритмическая распознаваемость финитной аппроксимируемости HNN-расширения конено порожденной абелевой группы.
    Науч. тр. Иван. гос. ун-та. Математика. Вып.1 (1997). С.96-100.


Пусть G - HNN-расширение конечно порожденной абелевой группы K с подгруппами A и B, связанными при помощи изоморфизма phi. В статье найден алгоритм для проверки финитной аппроксимируемости группы G по заданным A, B и phi.

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