О проблеме изоморфизма для коммутативных полугрупп

Приводятся утверждения о строении конечно порожденных коммутативных полугрупп. Формулируются необходимые и достаточные условия изоморфизма двух конечно определенных коммутативных полугрупп. Эти условия удается записать на языке сопряженности последовательностей элементов групп $GL(l,Z)$. Получается рекурсивная эквивалентность трех алгоритмических проблем – проблемы изоморфизма для регулярных коммутативных полугрупп, проблемы изоморфизма для коммутативных полугрупп и проблемы сопряженности конечных последовательностей элементов в группах $GL(l,Z)$.
Рисунков: 1.
Библиография: 7 названий.