Объединения решений систем уравнений в к...ых полугруппах

Сокращение «к...ых» в названии доклада является сокращением для двух важных классов полугрупп: конечных и клиффордовых. Для этих классов полугрупп будут доказаны критерии, когда любое конечное объединение решений систем уравнений над полугруппой $S$ представимо в виде решения некоторой системы уравнений. Будет показано, что таким свойством обладает свободная вполне простая полугруппа и свободные произведения произвольных полугрупп в многообразии вполне простых полугрупп.