- НОРМАЛЬНАЯ ПОДПОЛУГРУППА
полугруппы S- подполугруппа Н, удовлетворяющая следующему условию: для любых
(по поводу обозначения
см. Нормальный комплекс )таких, что
, и любого
включения
эквивалентны. Подмножество полугруппы Sбудет Н. и. тогда и только тогда, когда оно является полным прообразом единицы при нек-ром гомоморфизме полугруппы S на полугруппу с единицей.
Лит.:[1] Ляпин Е. С., Полугруппы, М, 1960.
Л. Н. Шеврин.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.