полугруппы - наименьший двусторонний идеал данной полугруппы. Я. имеет не всякая полугруппа. О свойствах Я. полугрупп и о полугруппах, обладающих Я., см. Минимальный идеал, Архимедова полугруппа, Сплетение полугрупп, Топологическая полугруппа.
Л. Н. Шеврин.