Представление решеток решетками конгруэнций полугрупп без идемпотентов

В работе доказывается, что всякая дистрибутивная алгебраическая решетка, компактные элементы которой образуют решетку с единицей, представима как решетка конгруэнций подходящей полугруппы без идемпотентов. Следствием этого является утверждение о том, что всякая дистрибутивная алгебраическая решетка, множество компактных элементов которой не более чем счетно, также представима решеткой конгруэнций полугруппы без идемпотентов.