О базисах тождеств многообразий решеточно упорядоченных полугрупп

Решеточно упорядоченная полугруппа ($\ell$-полугруппа) $S$ называется $dld$-полугруппой, если $S$ дистрибутивна как решетка и умножение дистрибутивно относительно обеих решеточных операций оправа и слева. Доказано, что многообразие, порожденное нетривиальной коммутативной $dld$-полугруппой с сокращением, не конечно базируемо. В частности, нетривиальная абелева $\ell$-группа порождает многообразие $\ell$-полугрупп, не имеющее конечного базиса тождеств. Найден бесконечный $\ell$-полугрупповой базис тождеств (произвольной) абелевой $\ell$-группы. Кроме того, указывается бесконечная система позитивных универсальных формул, задающая класс коммутативных (положительно упорядоченных) $0$-полугрупп, каждая из которых является $0$-эпиморфным образом некоторой свободной коммутативной (положительно упорядоченной) $0$-полугруппы. Доказывается, что из этой системы формул нельзя выбрать конечную эквивалентную ей подсистему.