Об одном семействе многообразий полугрупп

Изучаются полугруппы, удовлетворяющие тождеству $xyzxy=xy$. Описывается решетка подмногообразий этого класса полугрупп. Найдены нормальные замыкания некоторых известных многообразий полугрупп. Показывается, что всякая бинарно-разложимая полугруппа разбивается некоторой конгруэнцией на коммутативные подполугруппы, причем эта конгруэнция является наименьшей из тех конгруэнции, факторполугруппы по которым удовлетворяют тождеству $xyx=x$.