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