Нормальная Подполугруппа

Полугруппы S- подполугруппа Н, удовлетворяющая следующему условию: для любых (по поводу обозначения см. Нормальный комплекс )таких, что , и любого включения эквивалентны. Подмножество полугруппы Sбудет Н. и. тогда и только тогда, когда оно является полным прообразом единицы при нек-ром гомоморфизме полугруппы S на полугруппу с единицей. Лит.:[1] Ляпин Е. С., Полугруппы, М, 1960. Л. Н. Шеврин.