CC BY
77
2015 Теоретические основы прикладной дискретной математики № 1(27)
ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ПРИКЛАДНОЙ ДИСКРЕТНОЙ МАТЕМАТИКИ
УДК 512.579
ХАРАКТЕРИЗАЦИЯ ПОДПРЯМО НЕРАЗЛОЖИМЫХ ПОЛИГОНОВ
И. Б. Кожухов, А. Р. Халиуллина Национальный исследовательский университет «МИЭТ», г. Москва, Россия
Исследуются подпрямо неразложимые полигоны (автоматы) над полугруппами. В 1974 г. Е. Н. Ройз было доказано, что у таких полигонов не более двух нулей. Мы характеризуем подпрямо неразложимые полигоны с двумя нулями и сводим характеризацию полигона без нуля или с одним нулём к строению его наименьшего нетривиального подполигона. Исчерпывающим образом охарактеризованы подпрямо неразложимые полигоны над прямоугольными связками. В качестве следствия получается характеризация подпрямо неразложимых полигонов над полугруппами правых нулей и результат Г. Могаддаси 2012 г. о полигонах над полугруппами левых нулей.
Ключевые слова: полигон над полугруппой, подпрямо неразложимый полигон, прямоугольная связка.
A CHARACTERIZATION OF SUBDIRECTLY IRREDUCIBLE ACTS
I. B. Kozhukhov, A. R. Haliullina National Research University of Electronic Technology, Moscow, Russia E-mail: [email protected], [email protected]
The subdirectly irreducible acts (automata) over semigroups are investigated. In 1974, E. N. Roiz proved that such acts have at most two zeros. Here, we characterize subdirectly irreducible acts with two zeros and reduce the characterization of an act with one zero or without zeros to the structure of its least non-trivial subact. We fully characterize the subdirectly irreducible acts over rectangular bands. As the corollaries we have a characterization of subdirectly irreducible acts over right zero semigroups and the Moghaddassi's result about acts over left zero semigroups.
Keywords: act over .semigroup, subdirectly irreducible act, rectangular band.
Введение
Решётка конгруэнций Con A универсальной алгебры A — важный производный объект, содержащий существенную информацию о строении алгебры A (если мы знаем все конгруэнции алгебры A, то мы знаем также все её гомоморфные образы). Полигон над полугруппой S (или S-полигон) [1] —это множество X, на котором задано действие полугруппы S, т.е. определено отображение X х S м X, (x, s) м- xs, удовлетворяющее
условию х(з£) = (хз)£ при х Е X, Е Б. Понятие полигона над полугруппой является алгебраическим выражением понятия автомата, где X — множество состояний, а Б — множество входных сигналов [2]. Кроме того, всякий полигон над полугруппой является унарной алгеброй, где операции — это умножение на элементы полугруппы. И наоборот, если А — унарная алгебра, то можно определить произведение унарных операций как произведение отображений, и получим, что А — полигон над полугруппой. Нетрудно видеть, что конгруэнции А как полигона и как унарной алгебры одни и те же. В ряде работ рассматривались решётки конгруэнций полигонов и унарных алгебр. В [3, 4] найдены условия, при которых решётки конгруэнций унаров (т. е. алгебр с одной унарной операцией) являются цепями, дистрибутивными или модулярными решётками.
Универсальная алгебра А называется подпрямо неразложимой, если она не разлагается в нетривиальное подпрямое произведение алгебр. Обозначим через Ах отношение равенства на множестве X, т.е. Ах = {(х,х) : х Е X}. Если понятно, о каком множестве идёт речь, будем писать просто А. Конгруэнцию р будем называть нетривиальной, если р = А. Очевидно, алгебра подпрямо неразложима в том и только в том случае, если пересечение любого семейства нетривиальных конгруэнций также является нетривиальной конгруэнцией; алгебра А подпрямо неразложима в том и только в том случае, если она имеет наименьшую нетривиальную конгруэнцию. Будем называть эту конгруэнцию монолитом и обозначать р0(А) (или просто р0). Интерес к подпрямо неразложимым алгебрам объясняется теоремой Биркгофа, утверждающей, что всякая алгебра является подпрямым произведением подпрямо неразложимых алгебр [5, теорема 11.7.3]. Таким образом, подпрямо неразложимые алгебры являются строительным материалом, из которого строятся все алгебры.
Подпрямо неразложимые коммутативные полигоны описаны в [6]. Условия конечности для подпрямо неразложимых полигонов изучались в [7]. В [8] доказано, что каждый подпрямо неразложимый полигон над полугруппой Б состоит не более чем из двух элементов в том и только в том случае, если Б — полурешётка (т.е. коммутативная полугруппа идемпотентов). В [9, 10] описаны конгруэнции произвольного полигона над полугруппой правых и полугруппой левых нулей, а в [11] получены необходимые и достаточные условия подпрямой неразложимости правого полигона над полугруппой левых нулей. В данной работе мы получаем характеризацию подпрямо неразложимых полигонов над произвольными полугруппами. В случае полигонов с одним нулём или без нуля вопрос об их подпрямой неразложимости сводится к вопросу о подпря-мой неразложимости 0-простых и простых полигонов, а в случае полигонов с двумя нулями решается до конца. Этим исчерпываются все случаи, так как согласно предложению 1 из [12] подпрямо неразложимых полигонов более чем с двумя нулями не существует. Кроме того, используя описание всех полигонов над вполне простой полугруппой М(С, I, Л, Р), полученное в [13], мы обобщаем уже упоминавшийся результат из [12] о наличии не более двух нулей на полигоны над М(С, I, Л, Р), устанавливая, что С-полигон Q (участвующий в описании полигонов над этими полугруппами) имеет не более двух конеразложимых компонент. Наконец, мы описываем подпрямо наразло-жимые полигоны над прямоугольной связкой. В качестве следствия получаются результат Г. Могаддаси [11] о полигонах над полугруппой левых нулей, а также описание подпрямо неразложимых полигонов над полугруппой правых нулей.
Необходимые сведения из универсальной алгебры можно найти в [5], из теории полугрупп — в [14], из теории полигонов — в [1].
1. Подпрямо неразложимые полигоны над произвольными полугруппами
Заметим, что при |X | = 2 полигон X подпрямо неразложим. Поэтому далее будем считать, что |X| > 2.
Элемент 9 полигона X над полугруппой S называется нулём, если 9s = 9 для всех s е S.
Отметим ряд очевидных свойств полигонов:
1) любая конгруэнция подполигона Y полигона X продолжается до конгруэнции полигона X (продолжением конгруэнции р е Con Y является р U Ах е Con X);
2) отображение р ^ р U Ах является решёточным вложением Con Y в Con X;
3) множество в всех нулей полигона X является подполигоном.
Из этих свойств следует отмеченное в [12, предложение 1] утверждение: если X подпрямо неразложим, то |в| ^ 2 (действительно, так как любое отношение эквивалентности на в является конгруэнцией, при |в| ^ 3 можно найти такие конгруэнции рь р2, что р1,р2 = А и р1 П р2 = А). В [15, теорема2.6] этот факт доказан для полигона SS. Для любых элементов x = y полигона X можно определить главную конгруэнцию рх,у как конгруэнцию, порождённую парой (x,y). Из определений непосредственно следует, что пара (z, w) е X х X принадлежит конгруэнции рх,у в том и только в том случае, если имеет место цепочка равенств
z = u1s1,
V1S1 = U2S2,
vn-1sn-1
где si е S1 и {n, Vj} = {x,y} при i = 1, 2,...,n. Если X — подпрямо неразложимый полигон над полугруппой S, то его монолит ро^), очевидно, является главной конгруэнцией. Пусть р0^) = рх,у. Тогда из определений следует
Утверждение 1. Полигон X подпрямо неразложим в том и только в том случае, если существуют такие элементы x,y е X, что x = y и для любых различных элементов z,w е X имеет место цепочка равенств (1).
Утверждение 1 даёт необходимые и достаточные условия подпрямой неразложимости произвольного полигона. Однако оно не вполне удобно, так как длины цепей n могут быть сколь угодно большими. В следующих далее теоремах условия включают ограниченное число элементов s1,... , sn полугруппы S.
Теорема 1. Пусть X — полигон над полугруппой S, имеющий ровно два нуля, скажем 91 и 92. Тогда X подпрямо неразложим в том и только в том случае, если для любых элементов a = b полигона X найдётся такое s е S, что [as, bs} = [91, 92}.
Доказательство. Достаточность очевидна, так как ясно, что в этом случае ро = рвъв2 = {(91,92), (92,91)} U Ах.
Необходимость. Пусть X подпрямо неразложим. Так как рв1,в2 —минимальная нетривиальная конгруэнция, р0 = . Докажем, что для любого a е {91,92} выполняется соотношение
aS D {91,92}. (2)
Пусть a е {91, 92} и aS ^ {91, 92}. Если as = a для всех s е S, то a — нуль полигона X, отличный от 91,92, что противоречит условию. Следовательно, существует элемент s е S, такой, что as = a. По предположению 91 е aS или 92 е aS. Можно считать,
(1)
nns
nn vnsn — w,
что $2 Е аБ. Тогда ($ь$2) Е р«,««, откуда ро ^ ра,а«, что также невозможно. Таким образом, условие (2) выполнено. Пусть а = Ь. Тогда ра,ь 3 р0 = р#ь02. Следовательно, имеет место цепочка равенств
$1 = С1^1,
= С2^2,
... (3)
^п—1зп-1 cnзn)
^пзп = $2)
где з^ € Б1; {с^,^} = {а, Ь} при г = 1, 2,..., п. Пусть эта цепочка самая короткая из возможных. Без ограничения общности можно считать, что с1 = а. Тогда = Ь. Если = $2, то {а51,Ь51} = {$1 ,$2}, что и требовалось доказать. Если = $1, то цепочка (3) может быть сокращена на одно звено, что противоречит её выбору. Таким образом, Е {$1, $2}. Взяв в качестве а элемент и применив условие (2), получим, что Ьз^ = $2 при некотором £ Е Б. Кроме того, аз^ = = = $1. Следовательно, (а,Ь) ■ = ($1,$2), откуда следует требуемое. ■
Полугруппу Б назовём подпрямо неразложимой справа, если Б имеет наименьшую нетривиальную правую конгруэнцию. В [15] отмечено, что подпрямо неразложимая справа полугруппа имеет ядро — наименьший правый идеал. Сформулируем аналогичное утверждение для подпрямо неразложимых полигонов. Полигон X назовём простым, если он не имеет подполигонов, отличных от X. Полигон X с нулём $ назовём 0-простым, если X = {$} и X не имеет подполигонов, отличных от {$} и X.
Лемма 1. Всякий подпрямо неразложимый полигон X имеет наименьший нетривиальный (т. е. содержащий более одного элемента) подполигон К; при этом К — простой полигон. Если X — подпрямо неразложимый полигон с нулём, то X имеет наименьший ненулевой подполигон К, причём К — 0-простой подполигон.
Доказательство. Для любого нетривиального подполигона А отношение Ра = = (А х А) и Ах, очевидно, является конгруэнцией (конгруэнцией Риса). Так как X подпрямо неразложим, Р|{ра : А — нетривиальный подполигон} = Ах. Это означает, что пересечение К всех нетривиальных подполигонов само является нетривиальным подполигоном. Его простота очевидна. В случае подпрямо неразложимого полигона с нулём аналогично получаем, что пересечение К всех ненулевых подполигонов есть наименьший ненулевой подполигон. Тот факт, что он 0-простой, очевиден. ■
Теорема 2. Пусть X — полигон над полугруппой Б, имеющий единственный нуль $, а также наименьший ненулевой подполигон К, причём К = {а,$}. Тогда X подпрямо неразложим в том и только в том случае, если для любых х,у = $, таких, что х = у, найдётся з Е Б1, при котором хз = $, уз = $ или хз = $, уз = $.
Доказательство. Необходимость. Очевидно, ра,в = {(а,$), ($,а)}и Ах — конгруэнция полигона X. Следовательно, ра,$ = р0^). Возьмём любые элементы х,у = $, такие, что х = у. Если хз = $ ^ уз = $, то рх,у не содержит пар вида (г, $) при г = $. Тогда рх,уПра,0 = Ах, что противоречит подпрямой неразложимости полигона X. Таким образом, хз = $ ^ уз = $.
Достаточность. Пусть х,у Е X и х = у. Если х = $, то так как уз = а при некотором з е Б1, имеем рх,у 3 ра,0. Аналогично разбирается случай, когда у — $. Если х,у = $, то по условию найдётся такое з Е Б1, что хз = $, уз = $ или хз = $, уз = $. Оба варианта дают рх,у 3 ра в. ■
Теорема 3. Пусть X — полигон над полугруппой Б. Предположим, что X имеет единственный нуль $, а также наименьший ненулевой подполигон К, причём |К | > 2. Тогда X является подпрямо неразложимым в том и только в том случае, если выполняются условия:
(a) полигон К подпрямо неразложим;
(b) для любых х,у Е X \ $, таких, что х = у, выполняется хотя бы одно из следующих условий:
(I) Зз Е Б (хз = уз & $ Е {хз,уз});
(II) х, у Е К, {хз, уз} П К = 0 и хз = уз при некотором з 6 Б;
(III) х Е К, у Е К, уз = у£ Е К, хз = х£ при некоторых з, £ Е Б1;
(1у) х Е К, у Е К, хз = х£ Е К, уз = у£ при некоторых з, £ Е Б1;
(у) хз = уз и хз, уз Е К \ {$} при некотором з Е Б1.
При этом если существуют такие элементы х,у Е X \ {$}, что х = у и хз = $ ^ ^ уз = $ при всех з Е Б, то р0(X) С ((К \ {$}) х (К \ {$})) и Ах, а если таких элементов х, у нет, то р0^) = рк = (К х К) и Ах.
Доказательство. Необходимость. Пусть X подпрямо неразложим и р0^) — наименьшая конгруэнция полигона X. Если рк = (К х К) и Ах — конгруэнция Риса, то р^) С рк, поэтому р^)П(КхК) —наименьшая конгруэнция на К. Следовательно, К подпрямо неразложим. Таким образом, выполнено условие (а). Пусть а Е X\{$}. По условию К — наименьший ненулевой подполигон, поэтому аБ1 3 К. Таким образом, имеем
Уа Е X \ {$} Зз Е Б1 (аз Е К \ {$}). (4)
Заметим, что если (а, $) Е р0^) при некотором а = $, то р0^) = рк, а значит, р0^) = рх0,у0 при некоторых х0,у0 Е К \ {$}. Если (а, $) Е р0^) при всех а = $, то также р0^) = рх0,у0 при некоторых х0,у0 Е К \ {$}. Таким образом,
Зх0,у0 Е К \ {$} (р0^) = рх0,У0).
Пусть х,у Е X \ {$} и х = у. Предположим, что (1) не выполнено. Докажем, что при х,у Е К выполнено (11), при х Е К, у Е К выполнено (111), а при х Е К, у Е К выполнено (1у).
Пусть х, у Е К. Рассмотрим цепочки равенств вида
г = и1з1,
= М2з2,
... (5)
^п-1зп-1 ипзп
где г, т Е К \ {$}; г = т; = {х, у}; з^ Е Б1 при г = 1, 2,... , п. Хотя бы одна
такая цепочка существует — это следует из включения рх0,у0 С рху и равенств (1). Будем считать, что цепочка (5) наиболее короткая из возможных. Если
ипзп — г, то
цепочка (5) ввиду несократимости имеет вид г = ипзп, гпзп = т, и получим {х, у}-зп = = {г, т}. Если ипзп Е К, но ипзп = г (ипзп = $, так как ипзп = $ и ипз = $ ^ ипз = $ при всех з), то цепочку (5) можно сократить, удалив последнее звено; это противоречит её несократимости. Если ипзп Е К, то имеем {х,у} ■ зп = {и>,ипзп}, поэтому хзп = узп и {хзп,узп} П К = 0. Таким образом, выполнено (11).
Пусть теперь х Е К, у Е К. Напомним предположение: хз = $ ^ уз = $ при всех з Е Б. Как и ранее, устанавливаем наличие цепочки равенств (5) и считаем, что эта
цепочка наиболее короткая. Если игазга Е К, то игазга = w (иначе можно удалить последнюю строчку в (5)). Следовательно, {ж,у}-зп = {игазга,ад} С К, т.е. выполнено (у). Далее считаем, что игазга Е К. Так как ж € К, верно ига = у и = у. Следовательно,
= ип-1 = ж. Имеем
х жзп_1,
увга_1 = узга,
жзга = ад.
Ввиду ж Е К выполняется жзп_1 Е К. Если жзп_1 = X, то цепочка (5) может быть сокращена путём удаления двух последних строчек. Поэтому жзп_1 = X. Отсюда следует, что ^га_2зга_2 = х, т.е. цепочка (5) имеет вид х = жзга-1, узга-1 = узга, жзга = ад. Таким образом, увга_1 = узга, жвга_1 = жзга, т.е. выполнено (111).
При ж Е К, у Е К аналогично получаем, что выполнено (1у).
Достаточность. Пусть выполнены условия (а) и (Ь) и ро(К) —наименьшая нетривиальная конгруэнция полигона К. Ввиду |К| > 2 имеет место р0(К) = рХ0,У0 при некоторых ж0,у0 Е К \ {0}. Достаточно проверить, что рХ0,У0 С рх,у при ж = у. Если ж,у Е К, то это следует из условия (а). Докажем, что ра,# — рХ0,У0 при любых а = 0. Действительно, так как К — наименьший ненулевой подполигон, выполнено условие (4). Следовательно, аз = ж0, а£ = у0 при некоторых з,£ Е 51. Отсюда
ж0 = аз,
0з = 0£,
а£ = у0,
т. е. ра,е — рХ0,У0. Далее будем считать, что ж, у = 0.
Пусть выполнено (1). Тогда {жз,уз} = {а, 0} для некоторого а = 0, откуда рх,у —
— р«,0 — рХ0,У0.
Пусть выполнено (у). Тогда рх^ — Рх0,у0 ввиду (а). Поэтому рж,у — р^зд.
Пусть выполнено (111). Тогда рх,у — а так как жз = ж£ и жз,ж£ Е К, то
— РХ0 ,У0. Аналогично случаю (111) рассматривается случай (1у).
Пусть выполнено (11). Если жз = 0 или уз = 0, то {жз,уз} = {а, 0} при некотором а = 0, а значит, рх,у — рХ8,у8 = ра,# — рХ0,У0. Далее считаем, что жз,уз = 0. Если жз,уз Е К, то также рХ8,у8 — рХ0,У0. Если жз Е К, уз Е К или жз Е К, уз Е К, то выполняются условия (111), (1у) или (у), разобранные ранее.
Если для некоторых ж, у Е X \ {0} имеют место соотношения ж = у и жз = 0 ^ ^ уз = 0 при всех з Е 5, то главная конгруэнция рх,у не содержит ни одной пары вида (а,0) при а = 0, поэтому р0(Х) также не содержит таких пар. Следовательно, р0(Х) С ((К \ {0}) х (К \ {0})) и Дх. Если же для любых ж = у существует такое з Е 51, что жз = 0, уз = 0 или жз = 0, уз = 0, то рХ0,У0 содержит все пары вида (а, 0), где а Е К, поэтому р0(Х) = (К х К) и Дх. ■
Замечание 1. Если жз = 0 ^ уз = 0 при любых ж = у и з Е 5, то множество {0} является классом некоторой нетривиальной конгруэнции, а значит, {0} — класс конгруэнции р0(Х). В работе [12] элементы, образующие одноэлементный класс, названы разделительными. Проверка, является ли нуль 0 разделительным, сводится к проверке эквивалентности жз = 0 ^ уз = 0.
Следующая теорема доказана в работе [12]. Она поможет охарактеризовать под-прямо неразложимые полигоны без нуля.
Теорема 4 [12, предложение 3]. Пусть X — подпрямо неразложимый полигон без нуля, а Xи {0} —полигон, получающийся из X присоединением к X внешним образом
нуля 0. Тогда X подпрямо неразложим в том и только в том случае, если X U {0} подпрямо неразложим.
Теорема 5. Пусть X — полигон без нуля и K — наименьший подполигон полигона X. Тогда X подпрямо неразложим в том и только в том случае, если K подпрямо неразложим и для любых x, y G X, таких, что x = y, выполнено одно из следующих условий:
(i) xs, ys G K и xs = y s при некотором s G S1;
(ii) xs, xt G K, xs = xt, ys = yt при некоторых s, t G S1;
(iii) ys, yt G K, ys = yt, xs = xt при некоторых s, t G S1.
Доказательство. Теорема следует непосредственно из теорем 3 и 4. ■
2. Подпрямо неразложимые полигоны над прямоугольными связками
Прямоугольной связкой называется прямое произведение L x R, где L — полугруппа левых нулей, а R — полугруппа правых нулей. Прямоугольную связку можно определить также как полугруппу, удовлетворяющую тождествам x2 = x и xyz = xz. Понятно, что сами полугруппы правых и левых нулей являются прямоугольными связками. В свою очередь, прямоугольная связка является частным случаем более общей конструкции— рисовской матричной полугруппы M(G,I, Л,Р), где G — группа; I и Л — множества; P = ||рлг||лел,ге/ — сэндвич-матрица; G G [14, §3.1]. Напомним, что, согласно теореме Риса, рисовская матричная полугруппа — это то же самое, что вполне простая полугруппа [14, теорема 3.5]. В работе [13] описаны все правые полигоны над полугруппой M(G, I, Л, P). Приведём это описание, так как оно понадобится для дальнейшего изложения.
Очевидно, для любой (необязательно нормальной) подгруппы H группы G множество G/H правых смежных классов Hg является правым G-полигоном относительно
действия Hg • g' = Hgg'. Через Ц Xa обозначим копроизведение (непересекающееся
«eA
объединение) полигонов Xa над полугруппой. Ядро ker ^ и образ im ^ отображения ^ : X ^ Y множеств определим обычным путём, а именно ker ^ = {(x, x') : x^ = x'^}, im = X<^.
Теорема 6 [13, теорема5]. Пусть S = M(G,I, Л, P) —вполне простая полугруппа, (Ha)aeA — семейство подгрупп группы G, Q = Ц (G/Ha) —копроизведение. Пусть
«en
для каждого i G I задано отображение п : X ^ Q, а для каждого Л G Л — отображение кл : Q ^ X, причём
Vq G Q Vi G I УЛ G Л (q^n = q • рлг)- (6)
Тогда X становится правым S-полигоном, если определить умножение элементов из X на элементы из S следующим образом: x- (д)Д = (xn• д)кл. Кроме того, всякий правый полигон над полугруппой S = M (G, I, Л, P) изоморфен полигону, построенному таким образом.
Отметим, что в формулировке этой теоремы в работе [13] содержится дополнительное требование: чтобы для любых Л G Л, i G I каждое множество im кл пересекалось с каждым классом отношения ker п ровно по одному элементу. На самом деле это требование является излишним, так как указанное свойство следует из условия (6).
Следующее утверждение показывает, что количество конеразложимых слагаемых в Q не может превышать 2 в случае подпрямо неразложимого полигона.
Утверждение 2. Пусть X — полигон над вполне простой полугруппой 5 =
= М(С,1, Л, Р); ^ = Ц (С/На), п : X ^ кл : Q ^ X имеют тот же смысл,
«еп
что и в теореме 6. Если X подпрямо неразложим, то |П| ^ 2.
Доказательство. Пусть |П| ^ 3. Выберем а, в Е П такие, что а = в, и положим П = П \ {а,в}. Положим также Qa = С/На, Qв = С/Н, Q/ = Ц С/Я7. Введём
отношения
Р1 = {(ж, у) : ж = у или ЗА Е Л (ж, у Е и Qв)кл)}; Р2 = {(ж, у) : ж = у или ЗА Е Л (ж, у Е и Q/)xл)}; рз = {(ж, у) : ж = у или ЗА Е Л (ж, у Е ^ и Q/)кл)}.
Проверим, что р1, р2, р3 — конгруэнции. Рефлексивность, симметричность и транзитивность этих отношений очевидна. Пусть (ж, у) Е р1 и з = (д)^ Е 5. Тогда либо ж = у, либо ж = <кл, у = </кл при некоторых < Е Qa и Qв, А Е Л. Если ж = у, то имеем жз = ж • (д)^ = (жп • д)х^ = (дклп • д)х^ = (< • рлг • д)х^ Е и Qв, и аналогично уз Е и Qв. Таким образом, (жз,уз) Е р1. Следовательно, р1 —конгруэнция. Аналогично доказывается, что р2 и р3 — также конгруэнции. Далее, так как отображение кл инъективно для каждого А Е Л, выполняется и Qв)кл| ^ 2 и аналогично и Q/)кЛ| ^ 2 и и Q/)кл| ^ 2. Это показывает, что р1,р2,р3 = Д. Докажем, что р1 П р2 П р3 = Д. Пусть х = х/ и (х, х/) Е р1 П р2 П р3. Тогда х Е иQв)кл П иQ/)кмП ^в иQ/)кv при некоторых А,^, V Е Л. Отсюда получаем х = д1Кл = 92= , где <21 Е Qa и Qв; <2 Е Qa и Q/; <3 Е Qв и Q/. Возьмём любое I Е I. Тогда будем иметь: хп = = • Е Qa и Qв и аналогично хп Е Qa и Q/
и хп Е Qв и Q/. Но это невозможно, так как и Qв) П и Q/) П ^в и Q/) = 0. Таким образом, р1 П р2 П р3 = Д. Это означает, что полигон X не является подпрямо неразложимым. ■
Перейдём теперь к полигонам над прямоугольными связками. Для них теорема 6 существенно упрощается. В этом случае Б = Ь х Я — полугруппа с умножением (/,г) • (//,г/) = (/,г/) (/,// Е Ь, г, г/ Е Я); Q — произвольное множество; п : X ^ Q и кг : Q ^ X — такие отображения, что кгп = (тождественное отображение); операция на полигоне X осуществляется по правилу ж • (/, г) = жпкг. Заметим, что кг — инъективные, а п — сюръективные отображения, и множество 1т кг является множеством представителей классов эквивалентности отношения кег п при всех / Е Ь, г Е Я. В силу утверждения 2 имеем ^ 2. Случай | ^^ | = 1 не представляет труда ввиду следующей леммы.
Лемма 2. Если X — полигон над прямоугольной связкой 5 = Ь х Я и = 1, то X подпрямо неразложим в том и только в том случае, если ^| ^ 2.
Доказательство. Так как = 1, имеем Q = {<}. Положим <кг = аг при г Е Я. Для любого ж Е X и любых // Е Ь, г Е Я имеем ж • (/, г) = жп^кг = <кг = аг. Таким образом, жз = уз при всех ж, у Е X. Это означает, что на X любое отношение эквивалентности является конгруэнцией. Поэтому если X подпрямо неразложим, то ^| ^ 2. Обратное утверждение очевидно. ■
Ввиду утверждения 2 и леммы 2 осталось рассмотреть лишь случай, когда = 2. Пусть Q = {<1,<2}. Для г Е Я положим аг = <1кг, Ьг = <2кг, А = {аг : г Е Я}, В = {Ьг : г Е Я}.
Лемма 3. Пусть X — полигон над прямоугольной связкой S = L x R, Q = ( q1, }, П, кг, ar, br, A, B имеют тот же смысл, что и выше. Если X подпрямо неразложим, то выполняются следующие условия:
(i) xs = ys при любых s G S и x, y G X таких, что ж, y G A или ж, y G B;
(ii) |A|, |B| ^ 2;
(iii) |A| + |B| ^ 3.
Доказательство.
(i) Пусть x, y G A, s = (/, r) G S. Тогда x = q1Kri, y = q1Kr2 при некоторых r1, r2 G R. Имеем xs = xnKr = q1 кГ1 nKr = q1 • 1 • Kr = ar и аналогично ys = ar. Следовательно, xs = ys.
(ii) Пусть |A| ^ 3. Из п. (i) видно, что любое отношение эквивалентности на множестве A продолжается до конгруэнции полигона X. Точнее, если р — отношение эквивалентности на A, то рU Ах G ConX. Так как |A| ^ 3, существуют отношения эквивалентности р1, р2 на A, такие, что р1, р2 = Аа, а р1 П р2 = Аа. Положим р/ = р1 U Ах, р2' = р2 U Ах. Тогда р1,р2 G Con X, р1,р2 = Ах и р1 П р'2 = Ах. Это противоречит предположению о том, что X подпрямо неразложим.
(iii) Пусть |A| = |B| = 2. Положим р1 = (A x A) U Ах, р2 = (B x B) U Ах. Тогда р1,р2 G ConX, р1,р2 = Ах, а р1 П р2 = Ах, что противоречит подпрямой неразложимости полигона X. ■
Теорема 7. Пусть X — полигон над прямоугольной связкой S = L x R и |X| > 2. Пусть Q и кг (r G R) имеют тот же смысл, что в теореме 6. Тогда X подпрямо неразложим в том и только в том случае, если Q = (q1,q2} —двухэлементное множество, а множества A = (q1Kr : r G R}, B = (q2Kr : r G R} удовлетворяют одному из следующих условий:
(i) |A| = |B| = 1, скажем, A = (a}, B = (b}, и для любых x = y существует такое s G S, что (xs,ys} = (a,b};
(ii) |A| = 2, |B| = 1, скажем A = (a1,a2}, B = (b}; xS П A = 0 при x = b и для любых x, y = b если x = y и (x, y} = A, то xs = ys при некотором s G S;
(iii) |A| = 1, |B| = 2 — условие, двойственное условию (ii).
Доказательство. Необходимость. Пусть X — подпрямо неразложимый полигон и |X| ^ 3. Ввиду утверждения 2 и леммы 2 |Q| = 2. Пусть Q = (q1, q2}. Ввиду леммы 3 возможны лишь следующие варианты: a) |A| = |B| = 1; b) |A| = 2, |B| = 1; c) |A| = 1,
|B| = 2.
a) Пусть |A| = |B| = 1, A = (a}, B = (b}. Ясно, что a и b — нули полигона X. Из теоремы 2 следует, что выполняется условие (i).
b) Пусть |A| = 2, |B| = 1, A = (a1,a2}, B = (b}. Очевидно, что b является нулём полигона X. Далее, отношение р = ((a1, a2), (a2, a1)} U Ах является конгруэнцией. Так как это минимальное отличное от А отношение эквивалентности, р = ро^). Пусть x = b. Если x G A, то xS С A, а значит, xSП A = 0. Пусть x G A. Так как XS = AUB и x = a1, a2, b, выполняется x G XS, поэтому |xS11 ^ 2. Следовательно, (жS1xжS1)UАX — нетривиальная конгруэнция, а значит, a1,a2 G xS1. Так как x G A, верно a1,a2 G xS. Пусть x,y = b и x = y. Если xs = ys при всех s G S, то главная конгруэнция рх,у = = ((x,y), (y,x)} U Ах. Следовательно, рх,у = р0, а значит, (x,y} = (a1,a2}.
c) В случае, когда |A| = 1, |B| = 2, рассуждаем аналогично предыдущему.
Достаточность. Пусть |X| ^ 3 и выполнено (i). Тогда рх,у D ра,ь при любых x = y.
Это означает, что X подпрямо неразложим и р0^) = ра,ь. Предположим, что выполнено (ii). Пусть x, y G X и x = y. Далее разберём два случая.
Случай 1: Ь Е {ж, у}. Можно считать, что ж = Ь, у = Ь. Тогда ж5 ПА = 0, поэтому жз = а^ при некотором з Е 5. Пусть жз = а1. Из определения множества А следует, что а15 = а25 = А. Поэтому а1^ = а2 при некотором £ Е 5. Получаем (ж, у) • з = (а1, Ь), (ж, у) • з£ = (а2,Ь). Следовательно, (а1,Ь), (а2,Ь) Е рх,у, поэтому (а1,а2) Е рх,у, а значит, ра!,«2 Е рх,у.
Случай 2: ж, у = Ь. Если {ж, у} = {аьа2}, то рж,у = раьа2. Пусть {ж, у} = = {а1, а2}. Тогда по условию жз = уз при некотором з Е 5. Но X5 = А и В, поэтому {жз,уз} С {а1,а2,Ь}. Если {жз,уз} С {а1,а2}, то рх,у — ра1,а2, что и требовалось. Если {жз,уз} С {а1,Ь}, то рх,у — ра1,ь, а так как а2 Е а15, верно рх,у — ра2,ь. Следовательно,
рх,у — р«1,«2 .
Если выполнено (111), рассуждаем так же, как при рассмотрении случая (11). ■
Следствие 1 [11, теорема 3.2]. Пусть X — полигон над полугруппой левых нулей Ь и X| > 2. Тогда X подпрямо неразложим в том и только в том случае, если X имеет ровно два нуля и для любых ж = у существует такое з Е Ь, что жз = уз.
Доказательство. Если | Ь| = 1, то полугруппа состоит из одного элемента. В этом случае, как нетрудно видеть, подпрямо неразложимые полигоны X — это в точности такие, что ^| ^ 2. Поэтому далее будем считать, что |Ь| > 1. По теореме 7
= 2, а так как |Я| = 1, верно |А| = |В| = 1. Таким образом, случаи (11) и (111) теоремы 7 здесь невозможны, а из (1) получаем, что X подпрямо неразложим тогда и только тогда, когда для любых ж = у при некотором з Е Ь имеем жз = уз. При этом з = 1, так как |Ь| > 1. ■
Следствие 2. Пусть X — полигон над полугруппой правых нулей Я. Тогда X подпрямо неразложим в том и только в том случае, если ^| ^ 2 или X изоморфен полигону У = {а1, а2, Ь}, такому, что а1Я = а2Я = {а1, а2}, ЬЯ = {Ь}.
Доказательство. Пусть X — полигон над полугруппой правых нулей Я и ^| ^ 3. По теореме 7 Q = {<1,<2} и либо |А| = |В| = 1, либо |А| = 2, |В| = 1, либо |А| = 1, |В| = 2. Второй и третий случаи аналогичны друг другу, поэтому будем рассматривать лишь один из них. Так как |Ь| = 1, то имеем только одно отображение п, будем обозначать его п. Умножение элементов из X на элементы из Я осуществляется по правилу жг = жпкг. Положим X1 = <1п_1, X2 = <2п_1. Очевидно, что X1 и X2 = X и X1 П X2 = 0. Заметим, что жЯ С А при ж Е X1 и жЯ С В при ж Е X2.
Пусть |А| = |В| = 1. Имеем А = {а}, В = {Ь}. Отсюда получаем X1Я = {а}, X2Я = {Ь}. Возьмём произвольный элемент ж из X. Если ж Е {а, Ь} и, скажем, ж Е X1, то жг = жпкг = <1кг и аг = апкг = <1кг, т. е. жг = аг. По условию (1) теоремы 7 X не является подпрямо неразложимым. Следовательно, такого ж нет, а значит, X = {а, Ь}.
Пусть |А| = 2, |В| = 1. Имеем А = {а1,а2}, В = {Ь}. Предположим, что X подпрямо неразложим. Тогда выполняется условие (11) теоремы 7. Следовательно, жЯП А = 0 при ж = Ь. Если ж Е X2 \ {Ь}, то жЯ = {Ь} и жЯ П А = 0. Значит, X2 = {Ь}. Пусть ж Е X1 \ {а1,а2}. Тогда {ж,а1} = {а1,а2}. Поэтому по теореме 7 жг = а1г при некотором г Е Я. Но жг = жпкг = <1кг и а1г = а1пкг = <1кг. Получили противоречие, следовательно, X1 = {а1,а2}. Таким образом, X = {а1,а2,Ь}. Из определения элементов а1 ,а2,Ь следует, что а1Я = а2Я = {а1,а2}, ЬЯ = {Ь}. Тот факт, что полигон X подпрямо неразложим, очевиден, его наименьшая нетривиальная конгруэнция есть
{(аьа2), (а2,а1)} и Дх. ■
ЛИТЕРАТУРА
1. Kilp M., Knauer U., and Mikhalev A. V. Monoids, Acts and Categories. Berlin, N.Y.: W. de Gruyter, 2000.
2. Плоткин Б. И., Гринглаз Л. Я., Гварамия A. A. Элементы алгебраической теории автоматов. М.: Высш. шк., 1994. 191с.
3. Егорова Д. П., Скорняков Л. А. О структуре конгруэнций унарной алгебры // Межвуз. науч. сб. «Упорядоченные множества и решётки». Саратов, 1977. Вып. 4. С. 28-40.
4. Егорова Д. П. Структура конгруэнций унарной алгебры // Межвуз. науч. сб. «Упорядоченные множества и решётки». Саратов, 1978. Вып. 5. С. 11-44.
5. Кон П. Универсальная алгебра. М.: Мир, 1968. 286с.
6. Esik Z. and Imreh B. Subdirectly irreducible commutative automata // Acta Cybernetica. 1981. V.5. No. 1. P. 251-260.
7. Кожухов И. Б. Условия конечности для подпрямо неразложимых полигонов и модулей // Фунд. и прикл. матем. 1998. Т. 4. №2. C. 1-5.
8. Kozhukhov I. B. One characteristical property of semilattices // Commun. Algebra. 1997. V. 25. No. 8. P. 2569-2577.
9. Халиуллина А. Р. Конгруэнции полигонов над полугруппами правых нулей // Чебышев-ский сборник. 2013. Т. 14. №3. С. 142-146.
10. Халиуллина А. Р. Конгруэнции правых полигонов над полугруппами правых и левых нулей // Материалы 12-й Междунар. конф. «Алгебра и теория чисел». Тула, 2014. С.139-142.
11. Moghaddasi Gh. On injective and subdirectly irreducible S-acts over left zero semigroups // Turk. J. Math. 2012. V. 36. P. 359-365.
12. Ройз Е. Н. О подпрямо неразложимых монарах // Межвуз. науч. сб. «Упорядоченные множества и решётки». Саратов, 1974. Вып. 2. С. 80-84.
13. AvdeyevA.Yu. and Kozhukhov I. B. Acts over completely 0-simple semigroups // Acta Cybernetica. 2000. V. 14. No. 4. P. 523-531.
14. Клиффорд А., Престон Г. Алгебраическая теория полугрупп. Т. 1. М.: Мир, 1972. 286с.
15. Rankin S. A., Reis C. M., and Thierrin G. Right subdirectly irreducible semigroups // Pacif. J. Math. 1979. V.85. No. 2. P. 403-412.
REFERENCES
1. Kilp M., Knauer U., and Mikhalev A. V. Monoids, Acts and Categories. Berlin, N.Y., W. de Gruyter, 2000.
2. Plotkin B. I., Gringlaz L. Ja., Gvaramija A. A. Jelementy algebraicheskoj teorii avtomatov. Moscow, Vyssh. Shk. Publ., 1994. 191 p. (in Russian)
3. Egorova D. P., Skornjakov L. A. O strukture kongrujencij unarnoj algebry. Mezhvuz. nauch. sb. «Uporjadochennye mnozhestva i reshjotki». Saratov, 1977, no. 4, pp. 28-40. (in Russian)
4. Egorova D. P. Struktura kongrujencij unarnoj algebry. Mezhvuz. nauch. sb. «Uporjadochennye mnozhestva i reshjotki». Saratov, 1978, no. 5, pp. 11-44. (in Russian)
5. Kon P. Universal'naja algebra. Moscow, Mir Publ., 1968. 286 p. (in Russian)
6. Esik Z. and Imreh B. Subdirectly irreducible commutative automata. Acta Cybernetica, 1981, vol.5, no. 1, pp. 251-260.
7. Kozhukhov I. B. Uslovija konechnosti dlja podprjamo nerazlozhimyh poligonov i modulej. Fund. i prikl. matem., 1998, vol.4, no. 2, pp. 1-5. (in Russian)
8. Kozhukhov I. B. One characteristical property of semilattices. Commun. Algebra, 1997, vol. 25, no. 8, pp. 2569-2577.
9. Haliullina A. R. Kongrujencii poligonov nad polugruppami pravyh nulej. Chebyshevskij sbornik, 2013, vol. 14, no. 3, pp. 142-146. (in Russian)
10. Haliullina A. R. Kongrujencii pravyh poligonov nad polugruppami pravyh i levyh nulej. Materialy 12 Mezhdunar. konf. «Algebra i teorija chisel», Tula, 2014, pp. 139-142. (in Russian)
11. Moghaddasi Gh. On injective and subdirectly irreducible S-acts over left zero semigroups. Turk. J. Math., 2012, vol.36, pp. 359-365.
12. RojzE.N. O podprjamo nerazlozhimyh monarah. Mezhvuz. nauch. sb. «Uporjadochennye mnozhestva i reshjotki». Saratov, 1974, no. 2, pp. 80-84. (in Russian)
13. AvdeyevA.Yu. and Kozhukhov I. B. Acts over completely 0-simple semigroups. Acta Cybernetica, 2000, vol. 14, no. 4, pp. 523-531.
14. Klifford A., Preston G. Algebraicheskaja teorija polugrupp. V. 1. Moscow, Mir Publ., 1972. 286 p. (in Russian)
15. Rankin S. A., Reis C. M., and Thierrin G. Right subdirectly irreducible semigroups. Pacif. J. Math., 1979, vol.85, no. 2, pp. 403-412.
