0-прямое объединение

полугрупп с нулем - полугруппа, полученная из данного семейства {Sa} полугрупп с нулем, попарно пересекающихся лишь по этому нулю, заданием па объединении [img: http://localhost:8080/file/041757-19.jpg] операции умножения, совпадающей с исходной операцией на каждой полугруппе Sa. и такой, что SaSb=0 для любых различных a, b 0-П. о. наз. также ортогональной суммой. Описание ряда типов полугрупп устанавливает возможность их разложения в 0-П. о. тех или иных известных полугрупп (см., напр., Максимальный идеал, Минимальный идеал, Регулярная полугруппа).