Математическая энциклопедия - нормальная подполугруппа

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

Лит.:[1] Ляпин Е. С., Полугруппы, М, 1960.

Л. Н. Шеврин.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985