Нетеровые по уравнениям многообразия полугрупп и проблема Б.Плоткина

Аннотация

Мы рассматриваем системы полугрупповых уравнений с константами. Полугруппа S называется нётеровой по уравнениям, если любая система уравнений эквивалентна над S конечной подсистеме. В cвоей статье мы описываем все многообразия полугрупп, в которых каждая полугруппа нетерова по уравнениям. Наш результат решает проблему Б.Плоткина для полугрупповых языков с константами.