Конгруэнц-перестановочные полигоны

В универсальной алгебре конгруэнц-перестановочными называются алгебры, конгруэнции которых перестановочны относительно композиции. Многие многообразия алгебр, например, многообразие групп, состоят из конгруэнц-перестановочных алгебр, но многообразие полигонов над моноидом $S$ содержит полигоны, не являющиеся конгруэнц-перестановочными. В данной работе описываются конгруэнц-перестановочные полигоны над моноидом $S$ в случае, когда $S$ – коммутативный моноид или группа.