Предмногообразия полугрупп, элементарная теория которых разрешима

Описаны предмногообразия (квазимногообраэия, многообразия) полугрупп с разрешимой теорией с точностью до групп. Подмногообразие — наследственный и мультипликативно замкнутый класс полугрупп, содержащий одноэлементные полугруппы.