Transitive hyperidentity in semigroups

В статье описаны все полугруппы, в которых сверхтождество транзитивности $X(X(x,y), X(y,z)) = X(x,z)$ выполняется полиномиально (сверхтранзитивные полугруппы). В частности показано, что каждая транзитивная полугруппа (т.е. полугруппа с тождеством $xy^2z = xz$) сверхтранзитивна.