О разрешимости эквациональных теорий покрытий многообразий полугрупп
Book information
Description
Для произвольного собственного многообразия полугрупп существует многообразие полугрупп такое, что выполняются следующие три условия: 1) покрывает многообразие , 2) если многообразие - конечно базируемое, то многообразие - тоже конечно базируемое, 3) эквациональная теория многообразия разрешима тогда и только тогда, когда разрешима эквациональная теория многообразия . Пусть - произвольное многообразие полугрупп, заданное тождествами, зависящими от конечного числа переменных, все периодические группы которого локально конечны. Тогда выполняется одно из следующих двух условий: 1) все ниль- полугруппы из многообразия локально конечны, 2) многообразие включает подмногообразие с неразрешимой эквациональной теорией, имеющее бесконечное множество покрывающих многообразий с неразрешимой эквациональной теорией.
Similar books
Этимологическая герменевтика: традиции и интерпретации
Релігієзнавство
Логика
Ультразвуковой контроль сварных соединений
Конформные отображения и их приложения
2002 · DJVU
ДНК наномеханические роботы и вычислительные устройства
2008 · PDF
Критические теории многообразий полугрупп с перестановочным тождеством
2001 · PDF
О независимой базируемости многообразий полугрупп
2005 · PDF