О разрешимости эквациональных теорий покрытий многообразий полугрупп - Попов В.Ю.
Попов В.Ю.

О разрешимости эквациональных теорий покрытий многообразий полугрупп

Автор Попов В.Ю.
Издательство Сибирского отделения РАН
Год 2001
Формат PDF
Рейтинг книги
0.00
(оценок < 5)
0 10

Для произвольного собственного многообразия полугрупп X существует многообразие полугрупп Y такое, что выполняются следующие три условия:1) Y покрывает многообразие X, 2) если многообразие X — конечно базируемое, то многообразие Y — тоже конечно базируемое, 3) эквациональная теория многообразия X разрешима тогда и только тогда, когда разрешима эквациональная теория многообразия Y. Пусть X — произвольное многообразие полугрупп, заданное тождествами, зависящими от конечного числа переменных, все периодические группы которого локально конечны. Тогда выполняется одно из следующих двух условий: 1) все ниль-полугруппы из многообразия X локально конечны, 2) многообразие X включает подмногообразие Y с неразрешимой эквациональной теорией, имеющее бесконечное множество покрывающих многообразий с неразрешимой эквациональной теорией.



X