Гомоморфные образы, инверсные подполугруппы, идеалы и конечные прямые произведения инверсных полугрупп представляют собой инверсные полугруппы. ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Арбиб М.N.
Алгебраическая теория автоматов,языков и полугрупп
Гомоморфные образы, инверсные подполугруппы, идеалы и конечные прямые произведения инверсных полугрупп представляют собой инверсные полугруппы. Левые или правые идеалы ( следовательно, и подполугруппы) инверсных полугрупп могут не быть инверсными полугруппами.
