Решётки доминионов универсальных алгебр

Зафиксируем универсальную алгебру $A$ и её подалгебру $H$. Доминионом $H$ в $A$ (в классе $\mathcal M$) называется множество всех элементов $a\in A$ таких, что для любой пары гомоморфизмов $f,g:A\rightarrow M\in\mathcal M$ выполняется следующее: если $f,g$ совпадают на $H$, то $f(a)=g(a)$. Тем самым, каждому квазимногообразию сопоставлен доминион $H$ в $A$. Находятся достаточные условия, когда множество доминионов образует решётку. Решётка доминионов исследуется на полудистрибутивность вниз. Указыватся класс алгебр (включающий группы, кольца) такой, что каждое квазимногообразие из этого класса содержит алгебру, решётка доминионов которой антиизоморфна решётке подквазимногообразий этого квазимногообразия.