Связка Полугрупп

данного семейства {Sa} - полугруппа S, обладающая разбиением на подполугруппы, классы к-рого суть в точности полугруппы Sa, и для любых Sa,Sb существует Sg такая, что . В этом случае говорят также, что S разложима в связку полугрупп Sa. Другими словами, S есть С. П. Sa, если все Sa- подполугруппы в S и существует конгруэнция r на S такая, что r-классы суть в точности Sa. Полугруппы Sa наз. К о м п о н е н т а м и данной связки. Термин "С. П." согласуется с использованием нередко слова "связка" как синонима термина "полугруппа идемпонентов", так как конгруэнция r на полугруппе S определяет разложение S в связку тогда и только тогда, когда факторполугруппа S/r - полугруппа идемпотентов. Многие полугруппы разложимы в связку полугрупп с теми или иными "более хорошими" свойствами.

Таким образом, изучение их строения в известной мере сводится к рассмотрению типов, к к-рым принадлежат компоненты связки, и к рассмотрению полугрупп идемпотентов (см., напр., Архимедова полугруппа, Вполне простая полугруппа, Клиффордова полугруппа, Периодическая полугруппа, Сепаративная полугруппа). С. П. Sa наз. К о м м у т а т и в н о й, если для соответствующей конгруэнции r факторполугруппа S/rкоммутативна. Тогда S/r - полурешетка (в этом случае часто говорят, что S есть полурешетка полугрупп Sa, в частности, если S/r - цепь, то говорят, что S есть цепь полугрупп Sa). С . П. Наз. Прямоугольной (иногда - м а т р и ч н о й), если S/r - прямоугольная полугруппа (см. Идемпотентов полугруппа). Это эквивалентно тому, что компоненты связки могут быть индексированы парами индексов Sil, где i и lпробегают нек-рые множества I и соответственно, причем для любых Sil, Sjm выполняется включение .

Любая С. П. Есть полурешетка прямоугольных связок, т. Е. Ее компоненты могут быть распределены на подсемейства так, что объединение компонент каждого подсемейства есть прямоугольная связка этих компонент, а исходная полугруппа разложима в полурешетку указанных объединений (теорема Клиффорда [1]). Поскольку свойства быть полугруппой идемпотентов, полурешеткой, прямоугольной полугруппой характеризуются тождествами, на любой полугруппе S для каждого из перечисленных свойств q существует наименьшая конгруэнция, для к-рой соответствующая факторполугруппа обладает свойством q, т. Е. Существуют наибольшие (или наиболее дробные) разложения S в С. П., в коммутативную С. П., в прямоугольную С. П. К специальным типам С. П. Относится сильная связка [4].

Для любых элементов аи bиз разных компонент произведение аb равно степени одного из этих элементов. Важным частным случаем сильной связки и одновременно частным случаем цепи полугрупп является о р д и н а л ь н а я с у м м а (или последовательно аннулирующая связка). Множество ее компонент {Sa}линейно упорядочено и для любых Sa, Sb таких, что Sa <. Sb, и любых , имеет место равенство аb=bа=а. Заданием компонент и способа их упорядочения ординальная сумма определяется однозначно с точностью до изоморфизма. Лит. [1] C l i f f o r d А., "Ргос. Аmег. Маth. Sос.", 1954, v. 5, р. 499-504. [2] К л и ф ф о р д А., П р е с т о н Г., Алгебраическая теория полугрупп, пер. С англ., т. 1, М., 1972. [3] Л я п и н Е. С., Полугруппы, М., 1960.

[4] Ш е в р и н Л. Н., "Изв. Вузов. Матем.", 1965, № 6, с. 156-65. Л. Н.