FPM 2002, ТОМ 8, ВЫПУСК 3, СТР. 829-876

ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
2002, ТОМ 8, ВЫПУСК 3, СТР. 829-876

О независимо базируемых многообразиях моноидов

В. Ю. Попов

Аннотация

Посмотреть как HTML Посмотреть как рисунок Посмотреть в формате LaTeX

Доказано, что существует конечно базируемое многообразие моноидов $$ \mathfrak Z
$$ , такое что не существует алгоритма, определяющего по произвольной рекурсивной системе полугрупповых тождеств, обладает ли многообразие моноидов, заданное этой системой в многообразии $$ \mathfrak Z
$$ , независимым базисом. Не существует алгоритма, определяющего по произвольной бесконечной рекурсивной системе полугрупповых тождеств, будет ли многообразие моноидов, заданное этой системой тождеств, конечно базируемо.

Полнотекстовая версия статьи в формате PostScript (178 Kb)

URL страницы: http://mech.math.msu.su/~fpm/rus/k02/k023/k02313h.htm.
Изменения вносились 17 февраля 2003 г.