Димоноиды

Доказывается, что система аксиом димоноида независима и теорема Кэли для полугрупп имеет аналог в классе димоноидов. Строится наименьшая сепаративная конгруэнция на произвольном димоноиде с коммутативной операцией. Показывается, что соответствующий фактор-димоноид является коммутативной сепаративной полугруппой. Даётся характеризация наименьшой сепаративной конгруэнции на свободном коммутативном димоноиде. Доказывается, что каждый димоноид с коммутативной операцией является полурешёткой архимедовых поддимоноидов, каждый димоноид с коммутативной периодической полугруппой является полурешёткой унипотентных поддимоноидов, каждый димоноид с коммутативной операцией является полурешёткой $a$-связанных поддимоноидов. Строятся различные димоноидные конструкции.