Изучается конструкция полупрямого произведения моноидов. Дана ее
внутренняя характеристика. Описана связь между различными полупрямыми
дополнениями пассивного подмоноида. Даны необходимые и достаточные
условия определяемости гомоморфизма полупрямого произведения гомоморфизмами сомножителей.
На классе всех полупрямых произведений двух произвольных (но фиксированных) моноидов введено отношение порядка,
превращающее этот класс в объединение попарно-непересекающихся полуструктур.