|
Фундаментальная и прикладная математика, 2002, том 8, выпуск 3, страницы 829–876
(Mi fpm679)
|
|
|
|
О независимо базируемых многообразиях моноидов
В. Ю. Попов Уральский государственный технический университет
Аннотация:
Доказано, что существует конечно базируемое многообразие моноидов $\mathfrak Z$, такое что не существует алгоритма, определяющего по произвольной рекурсивной системе полугрупповых тождеств, обладает ли многообразие моноидов, заданное этой системой в многообразии $\mathfrak Z$, независимым базисом. Не существует алгоритма, определяющего по произвольной бесконечной рекурсивной системе полугрупповых тождеств, будет ли многообразие моноидов, заданное этой системой тождеств, конечно базируемо.
Ключевые слова:
алгоритм, многообразие моноидов, независимая базируемость, конечная базируемость.
Поступила в редакцию: 01.10.1999
Образец цитирования:
В. Ю. Попов, “О независимо базируемых многообразиях моноидов”, Фундамент. и прикл. матем., 8:3 (2002), 829–876
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/fpm679 https://www.mathnet.ru/rus/fpm/v8/i3/p829
|
|