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

полугруппа, каждый элемент к-рой регулярен.

Произвольная Р. п. Sсодержит идемпотенты (см. Регулярный элемент), и строение Sв значительной степени определяется "строением" и "расположением" в Sмножества всех ее идемпотентов Е(S). Р. п. с единственным идемпотентом это в точности группы. На Е(S)прежде всего можно смотреть как на частично упорядоченное множество относительно естественного частичного порядка (см. Идемпотент);известны структурные теоремы, описывающие Р. п. Sснек-рыми естественными ограничениями на множество E(S). Одно из таких ограничений (для полугрупп с нулем) состоит в том, что все ненулевые идемпотенты примитивны (см. Вполне простая полугруппа);полугруппа с этим свойством наз. п р и м и т и в н о й. Следующие условия для полугруппы Sэквивалентны: a) Sесть примитивная Р . п., б) Sесть Р. п., равная объединению своих 0-минимальных (см. Минимальный идеал )правых идеалов, в) Sесть 0 -прямое объединение вполне 0-простых полугрупп. Описано строение Р. п., у к-рых Е(S)есть цепь, упорядоченная по типу отрицательных целых чисел [2].

Более информативный взгляд на Е(S)состоит в рассмотрении на этом множестве частичной операции , заданной следующим образом. Если для е, хотя бы одно из произведений ef, fe равно одному из элементов е, f, то ; полагают тогда Возникающая частичная алгебра может быть охарактеризована аксиомами, использующими два отношения квазипорядка w^r и w^l, тесно связанные с заданной частичной операцией (реализация этих отношений в Е(S)такова: ew^rf означает fe=e, ew^lf означает ef=e;тогда есть отношение естественного частичного порядка на Е(S));такая частичная алгебра наз. биунорядоченным множеством (см. [5]). Произвольная Р. п. может быть определенным образом сконструирована из биупорядоченного множества и групп. Таким образом, в терминах биупорядоченных множеств можно проводить классификацию Р. п. Среди исследованных в этом направлении типов полугрупп к о м б и н а т о р н ы е Р. п. (см. [7]), т. е. имеющие лишь одноэлементные подгруппы.

Гомоморфный образ Р. п. будет Р. п. Всякий нормальный комплекс Р. п., являющийся подполугруппой, содержит идемпотент. Произвольная конгруэнция на Р. п. однозначно определяется своими классами, содержащими идемпотенты. Конгруэнция на Р. п. Sразделяет идемпотенты тогда и только тогда, когда она содержится в отношении (см. Грина отношения эквивалентности);множество таких конгруэнций составляет модулярную подрешетку с нулем и единицей в решетке всех конгруэнций на S. Р. п. наз. фундаментальной, если эта подрешетка состоит лишь из отношения равенства. Всякая комбинаторная Р. п. будет фундаментальной. Фундаментальные Р. п. важны не только как один из более обозримых типов Р..п., но и в силу определенной "универсальности" их класса для Р. п. А именно, для любого биупорядоченного множества Еможно канонич. образом сконструировать фундаментальную Р. п. Т Е, для к-рой Ебудет биупорядоченным множеством всех идемпотентов, причем для любой Р. п. Sтакой, что E(S)=E, существует разделяющий идемпотенты гомоморфизм , для к-рого j(S) будет подполугруппой в Т Е, содержащей Е(о различных конструкциях для TE см. [3], [5], [8], [10]). Р. п. Sфундаментальна тогда и только тогда, когда гомоморфизм j инъективен.

Если S - Р. п., то подполугруппа , порожденная всеми ее идемпотентами, также будет Р. п. Подполугруппа оказывает существенное влияние на строение S. Р. п. идемпотентно порождена тогда и только тогда, когда таков каждый ее главный фактор [10]. В идемпотентно порожденной Р. п. Sдля произвольного элемента хсуществует представление х= = e1e2 . . . е n, где и при i = = 1, . . ., n-1 (здесь и -отношения эквивалентности Грина) (см. [5]). Последовательность идемпотентов e1, e2, . .., е п суказанным свойством наз. Е - ц е п ь ю. В бипростой идемпотентно порожденной полугруппе любые два идемпотента связаны нек-рой Е- цепью, и если они сравнимы в смысле естественного частичного порядка, то длина такой цепи