Научная статья на тему 'Конгруэнции полигонов над полугруппами правых нулей'

Конгруэнции полигонов над полугруппами правых нулей Текст научной статьи по специальности «Математика»

CC BY
131
29
i Надоели баннеры? Вы всегда можете отключить рекламу.
Журнал
Чебышевский сборник
Scopus
ВАК
RSCI
Область наук
Ключевые слова
ПОЛИГОН / КОНГРУЭНЦИЯ / ПОЛУГРУППА ПРАВЫХ НУЛЕЙ / ACT / CONGRUENCE / RIGHT ZERO SEMIGROUP

Аннотация научной статьи по математике, автор научной работы — Халиуллина Айгуль Р.

Получено полное описание конгруэнций полигонов над полугруппами правых нулей

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

CONGRUENCES OF ACTS OVER RIGHT ZERO SEMIGROUP

A complete description of the congruences of acts over right zero semigroup is obtained

Текст научной работы на тему «Конгруэнции полигонов над полугруппами правых нулей»

ЧЕБЫШЕВСКИЙ СБОРНИК

Том 14 Выпуск 3 (2013)

УДК 512.579

КОНГРУЭНЦИИ ПОЛИГОНОВ НАД ПОЛУГРУППАМИ ПРАВЫХ НУЛЕЙ

А. Р. Халиуллина (г. Москва)

Аннотация

Получено полное описание конгруэнций полигонов над полугруппами правых нулей.

Ключевые слова: полигон, конгруэнция, полугруппа правых нулей.

CONGRUENCES OF ACTS OVER RIGHT ZERO SEMIGROUP

A. R. Khaliullina (Moscow)

Abstract

A complete description of the congruences of acts over right zero semigroup is obtained.

Keywords: act, congruence, right zero semigroup.

Правый полигон над полугруппой S (или правый S-полигон; см. [1]) — это множество X, на котором задано действие полугруппы S, т.е. определено отображение X х S м X, (ж, s) м xs, удовлетворяющее условию x(st) = (xs)t при x £ X, s,t £ S. Двойственным образом определяется левый полигон. Конгруэнцией (правого) полигона X над полугруппой S называется такое отношение эквивалентности р на X, что (x, y) £ р ^ (xs,ys) £ р при всех x,y £ X, s £ S. Наименьшей конгруэнцией является отношение равенства Ах = {(x,x) | x £ X}.

Целью данной работы является описание в теоретико-множественных терминах всех конгруэнций правых полигонов над полугруппами правых нулей. Разумеется, двойственным образом получается описание левых конгруэнций над полугруппами левых нулей. Из полученного описания нельзя получить описание конгруэнций правых полигонов над полугруппами левых нулей (так как такие полигоны устроены совершенно иначе). Попутно мы получаем описание главных конгруэнций. Кроме того, мы приводим простые примеры отношений эквивалентности на рассматриваемых правых полигонах, которые заведомо будут являться конгруэнциями.

Так как в данной работе рассматриваться будут только правые полигоны, мы часто слово “правый” будем опускать и называть их просто полигонами. Копроизведением Пш Xi семейства полигонов {Xi | i £ I} над полугруппой S назовём дизъюнктное объединение этих полигонов (если Xi имеют между собой непустые пересечения, то возьмём их изоморфные попарно не пересекающиеся копии). Полигон X называется конеразложимым, если он не разлагается в копроизведение других полигонов.

Теорема 1. Всякий полигон является копроизведением конеразложимых полигонов.

Доказательство. Пусть X — полигон над полугруппой S. Обозначим через а наименьшее отношение эквивалентности на множестве X, содержащее все пары (x,xs), где x £ X, s £ S. Множество X разбивается на классы эквивалентности: X = У {Xi I i £ I}. Докажем, что каждое Xi — подполигон. Если x £ Xi и s £ S, то по определению (x, xs) £ а, а значит xs £ Xi. Следовательно, X = {Xi | i £ I}. Осталось доказать, что каждое Xi конеразложимо. Пусть

Xi = лц В, где Л, В — подполигоны. Возьмём элементы a £ Л, b £ В. Так как (a, b) £ а, то существуют элементы a = ui, u2, . . . , uk = b £ Xi такие, что пары (Uj,Uj+i) имеют вид (x,xs) или (xs,x). Мы имеем ui £ Л, uk £ В. Тогда найдётся такое j, что uj £ Л, uj+i £ В. Мы имеем: uj = uj+is или uj+i = uj s. Если uj = uj+is, то uj £ Bs С В, т.е. uj £ В, что невозможно Если uj+i = ujs, то мы получаем, что uj+i £ Л, что также невозможно. □

Замечание. Всякий полигон X над полугруппой S можно рассматривать как граф с множеством вершин X и рёбрами (x,xs), где x £ X, s £ S. Тогда разложение X в копроизведение конеразложимых полигонов будет соответствовать разложению графа X на компоненты связности.

Главной конгруэнцией ра,ь полигона X над полугруппой S называется конгруэнция, порождённая парой (a,b), где a,b £ X и a = b. Нетрудно видеть, что любая конгруэнция является точной верхней гранью некоторой совокупности главных конгруэнций: р = \J раа,ьа. Таким образом, главные конгруэнции можно рассматривать как “строительный материал ”для построения всех конгруэнций.

Опишем главные конгруэнции произвольного правого полигона над полугруппой правых нулей. Строение таких полигонов было описано в [2], приведём формулировку теоремы.

Теорема 2. ([2], Corollary 10). Пусть X и S — непустые множества, а — отношение эквивалентности на X. Пусть для каждого s £ S задано подмножество YsX, причём |^ П xal = 1 для всех x £ X, s £ S (здесь xa обозначает а-класс, содержащий элемент x). Положим st = t для всех s,t £ S и xs = у, где у — единственный элемент множества Ys П xa, для x £ X, s £ S. Тогда S будет полугруппой правых нулей, а X — правым S-полигоном. Кроме того, всякий правый полигон над полугруппой правых нулей изоморфен полигону, построенному таким образом.

Пусть S — полугруппа правых нулей, X — правый полигон над S. Пусть

а и У3 (в £ Б) имеют тот же смысл, что в предыдущей теореме. Единственный элемент множества У3 П хв обозначим через х3. Пусть К, К1 — различные классы эквивалентности отношения а и а3 — единственный элемент множества У3 П К, а'3 - единственный элемент из У3 П К1. Обозначим через рк,к' наименьшее отношение эквивалентности на множестве X, содержащее все пары (а3, а'3) при в £ Б. По-другому рк,к можно охарактеризовать на языке теории графов. Рассмотрим двудольный граф Г, у которого множеством вершин является множество К и К1, а множество рёбер — это множество пар (а3, а'3), в £ Б. Классы эквивалентности отношения рк,к< — это в точности компоненты связности графа Г.

Теорема 3. Пусть Б — полугруппа правых нулей, X — правый полигон над Б (его строение описано в теореме 2). Пусть а,Ь £ X и а = Ь. Тогда

{{(а, Ь), (Ь, а)} и Ах, если (а, Ь) £ а,

{(а, Ь), (Ь, а)} и рк,к и Ах, если а £ К, Ь £ К1 и К, К1 —

различные а-классы

Доказательство. Если (а,Ь) £ а, то ав = Ьв при всех в £ Б, поэтому {(а, Ь) , (Ь, а)} и Дх — конгруэнция. Ясно, что она является наименьшей конгруэнцией, содержащей пару (а, Ь). Если же (а, Ь) £ а, то а £ К, Ь £ К1, где К, К1 — различные а-классы. В этом случае ав = а3, Ьв = а'3 при всех в £ Б, а значит, рк,кРа,,ь- Отсюда нетрудно вывести, что ра,ь = {(а, Ь) , (Ь, а)} и рк,к/ и Дх. □

Теперь выясним строение произвольных конгруэнций полигона над полугруппой правых нулей.

Лемма 4. Любое отношение эквивалентности на конеразложимом полигоне над полугруппой правых нулей является конгруэнцией.

Доказательство. Из теоремы 2 следует, что если X — конеразложимый полигон над полугруппой правых нулей Б, то ^в) = 1 при всех в £ Б. Следовательно, для любого отношения эквивалентности р мы имеем: ав = Ьв при всех а,Ь £ X. Это значит, что (а,Ь) £ р ^ (ав,Ьв) £ р. Таким образом, р — конгруэнция. □

Замечание. Утверждение леммы 4 является частным случаем более общего утверждения. Если А — произвольная универсальная алгебра, то равенство СопА = ЕдА решётки конгруэнций и решётки отношений эквивалентности имеет место тогда и только тогда, когда все операции алгебры А являются константами или проекциями (см. [3], теорема 3.3). В нашем случае конеразложимого полигона над полугруппой правых нулей все операции — кон-ст,ант,ы.

Рассмотрим снова произвольный полигон X над полугруппой правых нулей Б. Ввиду леммы 1 имеем: X = Ц Xi, где Xi — конеразложимые полигоны. Заметим, что Xi — это в точности классы отношения а, фигурирующего в теореме

2. Пусть У3 имеют тот же смысл, что в этой теореме. Единственный элемент множества Xi П У3 обозначим через а^3. Для любого подмножества .] С I пусть

PJ — наименьшее отношение эквивалентности на множестве У ] Xj, содержащее все пары (ai3,aj3), где г] £ 3, в £ Б. Заметим, что отношение рJ обобщает отношение рк,к', которое использовалось для построения главных конгруэнций.

Теорема 5. Пусть X — полигон над полугруппой правых нулей Б, X = = Цш X, — его разложение в копроизведение конеразложимых полигонов. Пусть У3 (в £ Б) и а имеют тот же смысл, что в теореме 2. Рассмотрим произвольное отношение эквивалентности т на множестве I. Пусть I = и{.]а \ а £ П} — разложение множества I на классы отношения эквивалентности т. Для каждого а £ П возьмём какое-либо отношение эквивалентности ра на множестве {X, \ г £ .]а}, удовлетворяющее условию ра Э р^а. Тогда р = и{р'а \ а £ П} — конгруэнция полигона X. И обратно, каждая конгруэнция полигона X имеет такой вид.

Доказательство. Докажем, что р = и{р'а \ а £ П} — конгруэнция. Очевидно, что р — отношение эквивалентности. Пусть (х,у) £ р. Тогда (х,у) £ р'а при некотором а £ П. Это означает, что х £ X,, у £ Xj и (г,]) £ т. Отсюда следует, что (хв,ув) = (ai3,aj3) £ рJa С р'а. Таким образом, р — конгруэнция.

Пусть теперь в — произвольная конгруэнция полигона X. Рассмотрим отношение т на множестве I, определённое следующим образом:

(г]) £ т ^ Зх £ X, Зу £ Xj (х,у) £ в.

Проверим, что т — отношение эквивалентности на множестве I. Симметричность и рефлексивность этого отношения очевидны. Пусть (г]), (],к) £ т. Тогда (х,у), (п,у) £ в для некоторых х £ X,, у, и £ Xj, V £ Xk. Возьмём в £ Б. Тогда (хв,ув) £ в. Но хв = а,3, ув = aj3, следовательно, (а,3,aj3) £ в. Аналогично получаем, что (aj3,ak3) £ в. Следовательно, (а,3,ак3) £ в, а значит, (г, к) £ т. Таким образом, т — отношение эквивалентности.

Пусть (х,у) £ в. Тогда (г]) £ т, т.е. г] £ За при некотором а. Таким образом, (х,у) £ \ г £ .]а} х \ г £ За}. Осталось доказать, что ра С в

при любом а. Для этого достаточно доказать, что (ai3,aj3) £ в при г] £ За и в £ Б. Пусть г,] £ За. Так как в — конгруэнция, то (хв,ув) £ в. Но хв = а,3, ув = aj3. Таким образом, (ai3,aj3) £ в. □

Сделаем теперь замечание о конгруэнциях полигонов над полугруппой правых нулей.

Следствие 6. Если X = Xг — полигон над полугруппой правых нулей Б, причём X, конеразложимы, и а = 11шг (X, х X,), то:

(1) любое отношение эквивалентности р Э а является конгруэнцией;

(2) любое отношение эквивалентности р С а также является конгруэнцией.

Доказательство. (1) Пусть р Э а. Как и в теореме, положим

т = {(г,]) \ Зх £ ^, 3у £ Xj(х,у) £ р}.

Если Ja — т-класс, то все элементы множества (J{X,¿ | i £ Ja} являются р-эквивалентными. Следовательно, ра D pja (обозначения см. в предыдущей теореме). Поэтому р — конгруэнция.

(2) Так как р С т, то т — отношение равенства на I. Значит, все Ja одноэлементны. Отсюда pja — отношение равенства, а значит, р'а D pja. По теореме 5 получаем, что р — конгруэнция. □

Предложение 7. Пусть X — правый полигон над полугруппой правых нулей S и пусть множества Ys (s £ S) имеют тот же смысл, что в теореме 2. Положим Y = U{Ys | s £ S}. Очевидно, Y — подполигон. Обозначим через ру конгруэнцию Риса на X, соответствующую подполигону Y, т.е. ру = (Y х Y) U Дх. Если р — отношение эквивалентности на X такое, что рру, то р — конгруэнция.

Доказательство. Пусть (a,b) £ р. Для любого s £ S мы имеем as,bs £ Ys С Y, поэтому (as,bs) £ ру, а значит, (as,bs) £ р. □

СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ

1. Kilp M., Knauer,U., Mikhalev A. V. Monoids, acts and cathegories. N. Y.; Berlin: W. de Gruyter, 2000.

2. Avdeyev A. Yu., Kozhuhov I. B. Acts over completely 0-simple semigroups // Acta Cybernetica. 2000. Vol. 14, №4. P. 523—531.

3. Кожухов И.Б., Решетников А. В. Алгебры, у которых все отношения эквивалентности являются конгруэнциями // Фундам. и приклад. мат. 2010. Т. 16, вып. 3. С. 161—192.

Национальный исследовательский университет «МИЭТ»

Поступило 24.09.2013

i Надоели баннеры? Вы всегда можете отключить рекламу.