СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Попов В. Ю. О разрешимости эквациональных теорий покрытий многообразий полугрупп // Том 42 (2001), Номер 6, стр. 1361–1374
Для произвольного собственного многообразия полугрупп
$\frak X$
существует многообразие полугрупп
$\frak Y$
такое, что выполняются следующие три условия:
1)\
$\frak Y$
покрывает многообразие
$\frak X$,
2)\ если многообразие
$\frak X$~---
конечно базируемое, то многообразие
$\frak Y$~---
тоже конечно базируемое,
3)\ эквациональная теория многообразия
$\frak X$
разрешима тогда и только тогда, когда разрешима эквациональная
теория многообразия~$\frak Y$.
© Сибирский Математический Журнал, 2003-2006