Математическая энциклопедия - связка полугрупп
Связанные словари
Связка полугрупп
данного семейства {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. Л. Н.