О многообразиях группоидов бинарных отношений Текст научной статьи по специальности «Математика»

ИНФОРМАТИКА

УДК 512.572

О МНОГООБРАЗИЯХ ГРУППОИДОВ БИНАРНЫХ ОТНОШЕНИЙ

Д. А. Бредихин

Саратовский государственный технический университет E-mail: bredikhin@mail.ru

В работе находятся базисы тождеств многообразий, порожденных классами группоидов бинарных отношений.

Ключевые слова: тождества, многообразия, группоиды, бинарные отношения. On Varieties of Groupoids of Binary Relations D. A. Bredikhin

In the paper, the bases of identities of varieties generated by classes of groupoids of the binary relations are found.

Key words: identities, varieties, groupoids, binary relations.

ВВЕДЕНИЕ

Множество бинарных отношений Ф, замкнутое относительно некоторой совокупности О операций над ними, образует алгебру (Ф, О), называемую алгеброй отношений. Всякая алгебра отношений может быть рассмотрена как упорядоченная отношением теоретико-множественного включения с. Теория алгебр отношений является существенной составной частью современной общей алгебры и алгебраической логики. Основы абстрактно-алгебраического подхода к изучению алгебр отношений были заложены в статьях А. Тарского [1,2]. Как правило, операции над отношениями задаются с помощью формул логики предикатов первого порядка. Такие операции называются логическими. Логические операции могут быть классифицированы по виду задающих их формул. Операция называется диофантовой [3] (в другой терминологии — примитивно-позитивной [4]), если она может быть задана с помощью формулы, которая в своей предваренной нормальной форме содержит лишь операции конъюнкции и кванторы существования. Диофантовы операции допускают описание с помощью графов [3,4]. Эквациональные и квазиэквациональные теории алгебр отношений с диофантовыми операциями описаны в статьях Д. А. Бредихина [5,6].

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

приводит к необходимости изучения многообразий, порожденных различными классами группоидов бинарных отношений. Некоторые результаты в этом направлении можно найти в работах [7,8].

1. ФОРМУЛИРОВКА ОСНОВНЫХ РЕЗУЛЬТАТОВ

Для заданного множества О операций над бинарными отношениями обозначим через Л{О} (Л{О, с}) класс алгебр (упорядоченных алгебр) изоморфных алгебрам отношений с операциями из О. Пусть Уаг {О} (Уаг {О, с}) — многообразие, порожденное классом Л{О} (Л{О, с}).

Сосредоточим свое внимание на следующей диофантовой операции над бинарными отношениями, задаваемой формулой

р * а = {(х, у) : (3 г, ад) (х, г) е р Л (ад, г) е а}.

Группоидом называется алгебра (А, ■) с одной бинарной операцией. Упорядоченным группоидом (А, <) назовем группоид с заданным на множестве А отношением порядка, согласованным с операцией группоида. Полурешеточно упорядоченный группоид — это алгебра (А, V) типа (2, 2), где (А, ■) — группоид, (А, V) — верхняя полурешетка, каноническое отношение порядка которой согласовано с операцией группоида. Алгебры отношений вида (Ф, *), (Ф, *, с) и (Ф, *, и) образуют соответственно группоид, упорядоченный группоид и полурешеточно упорядоченный группоид бинарных отношений.

Теорема 1. Группоид (А, ■) принадлежит многообразию Уаг{*} тогда и только тогда, когда он удовлетворяет тождествам:

(ху)х = ху, (1)

(ху)у = ху, (2)

(ху)2 = ху, (3)

2 2 2 2 / л\

х у = ху = х у , (4)

х2 (уг) = х2 (5)

(х2у)г = (6)

(ху2 = х(у2 г). (7)

Теорема 2. Упорядоченный группоид (А, ■, <) принадлежит многообразию Уаг {*, с} тогда и только тогда, когда он удовлетворяет тождествам (1)-(7) и тождествам:

х < х2, (8)

ху < х2. (9)

Теорема 3. Полурешеточно упорядоченный группоид (А, ■, V) принадлежит многообразию Уаг {*, и} тогда и только тогда, когда он удовлетворяет тождествам (1)-(7) и тождествам:

х(у V г) = ху V хг, (10)

(х V у)г = хг V уг, (11)

х V х2 = х2, (12)

ху V х2 = х2. (13)

2. ДОКАЗАТЕЛЬСТВА ТЕОРЕМ

Доказательство теорем основывается на результатах работы [5]. Разобьем его на ряд последовательных шагов.

Шаг 1. Приведем ряд определений и обозначений, используемых в дальнейшем изложении, и сформулируем необходимый результат из работы [5].

Пусть Ие1(и) — множество всех бинарных отношений на и. Всякая формула ф(г0,¿1,П.,... ,гт) логики предикатов первого порядка с равенством, содержащая т бинарных предикатных символов

r1,...,rm и две свободные индивидуальные переменные z0, z1, определяет m-арную операцию F^ на Rel(U):

F^(R1, ...,Rm ) = {(x, y) e U x U : ф, y,Rx,..., Rm)},

где p(x,y,R1,... ,Rm) означает, что формула ^ выполняется, если z0, z1 интерпретируются как x, y и r1,... ,rm интерпретируются как отношения R1,..., Rm из Rel(U).

Операция над бинарными отношениями называется диофантовой [3] (в другой терминологии примитивно-позитивной [4]), если она может быть определена формулой, содержащей в своей записи лишь кванторы существования и операцию конъюнкции. Диофантовы операции могут быть описаны с помощью графов [3,4].

Обозначим через N множество всех натуральных чисел. Помеченным графом назовем пару G = (V, E), где V = V(G) — конечное множество, называемое множеством вершин, и E = E(G) С V x N x V — тернарное отношение. Тройку (u, k,v) e E будем называть ребром графа,

идущим из вершины u в вершину v, помеченным меткой k, и графически изображать следующим

k

образом: u ^ •v. Мы также будем говорить, что вершины u и v инцидентны ребру (u,k,v).

Под двухполюсником мы понимаем помеченный граф с парой выделенных вершин, т. е. систему вида G = (V, E, in, out), где (V,E) — помеченный граф; in = in(G) и out = out(G) — две выделенные вершины (не обязательно различные), называемые входом и выходом двухполюсника, соответственно.

Понятие изоморфизма помеченных графов и двухполюсников определяется естественным образом. В дальнейшем все графы будут рассматриваться с точностью до изоморфизма. Мы также будем отождествлять двухполюсники, различающиеся лишь числом изолированных вершин, отличных от его входа и выхода.

Пусть F = F\р — диофантова операция, задаваемая формулой С этой операцией может быть ассоциирован двухполюсник G = G(F) = G(<p), определяемый следующим образом: V(G) - множество всех индексов индивидуальных переменных, входящих в формулу in(G) = 0, out(G) = 1; (i,k,j) e E(G) тогда и только тогда, когда атомарная формула rk(zi,zj) входит в если формула zi = zj входит в то вершины i и j отождествляются.

Заметим, что двухполюсник, соответствующий операции *, задается следующим образом:

1 2 4

in = • ^ • ^ • • = out.

Пусть G = (V, E, in, out) и Gk = (Vk ,Ek ,ink ,outk) (k = 1,...,m) — двухполюсники с попарно непересекающимися множествами вершин. Назовем композицией этих двухполюсников новый двухполюсник G(G1 ,...,Gm), определяемый следующим образом [4]: возьмем двухполюсник G и заменим каждое его ребро (u,k,v) e E на двухполюсник Gk, отождествляя при этом вершину ink с вершиной u и вершину outk с вершиной v.

Рассмотрим множество О = {F91 ,...,F9n} диофантовых операций над отношениями, и пусть A = (A, f1,..., fn) — универсальная алгебра соответствующего типа. Положим G1 = G(^1), ..., Gn = G(^n).

Для всякого терма p алгебры A определим следующим индуктивным образом двухполюсник G(p) = (V (p),E (p),in(p),out(p)):

k

1) если p = xk, то G(p) представляет собой двухполюсник вида in• ^ •out;

2) если p = fk(p1,... ,pm), то G(p) есть композиция Gk(G(p1),..., G(pm)).

Обозначим через pr(E) множество всех вершин помеченного графа, которые инцендентны хотя бы одному ребру. Пусть даны два помеченных графа G1 = (V1,E1) и G2 = (V2,E2). Отображение f : pr(E2) ^ pr(E1) называется гомоморфизмом G2 в G1, если (f (u),k,f (v)) e E1 для всякой тройки

( u, k, v ) e E2 .

Пусть G1 = (V1 ,E1,in1 ,out1) и G2 = (V2,E2,in2,out2) — двухполюсники. Отображение f : V2 ^ V1 называется гомоморфизмом из G2 в G1, если f (in2) = in1, f (out2) = out1 и (f (u),k,f (v)) e E1 для всякой тройки (u,k,v) e E2.

Мы будем писать — С2, если существует гомоморфизм из С2 в С1, и = С2, если — С2 и С2 - .

Обозначим через Ед{О} (Ед{О, с}) эквациональную теорию класса Л{О} (Л{О, с}) и сформулируем основной результат работы [5].

Тождество р = q (р < д)принадлежит эквациональной теории Ед{О} (Ед{О, с}) тогда и только тогда, когда С(р) = (С(р) — С(д)).

Шаг 2. Рассмотрим счетное множество индивидуальных переменных X = {х1,..., хп,... } Напомним, что термы группоида определяются следующим индуктивным образом: всякая индивидуальная переменная является термом; если p1 и p2 — термы, то выражение (р].р2) является термом, называемым произведением термов p1 и p2. В дальнейшем внешние скобки в записи термов как правило будут опускаться. Множество 2 всех термов относительно операции произведения термов образует счетно порожденную свободную алгебру в классе всех группоидов.

Обозначим через Е (Е-) эквациональную теорию класса группоидов (упорядоченных группоидов), удовлетворяющих тождествам (1)-(7) ((1)-(9)). Для термов p1 и p2 из 2 будем писать p1 = p2 (р1 — p2), когда тождество p1 = p2 ^ < p2) принадлежит Е (Е-). Отношение = является отношением конгруэнции группоида 2, а фактор группоид 2/ = является свободным счетно порожденным группоидом в многообразии, задаваемым тождествами (1)-(7). Класс отношения эквивалентности, содержащий терм p, обозначим через [р]. Фактор группоид 2/ =, упорядоченный отношением <, задаваемый следующим образом: [р] < [д] ^ р — q, является свободным счетно порожденным упорядоченным группоидом в многообразии, задаваемый тождествами (1)-(9).

Пусть (А, ■) — группоид, удовлетворяющий тождествам (1)-(7). Тогда он удовлетворяет тождеству

Замечание 1. Из тождества (14) следует, что подгруппоид (А2, ■), где А2 = {аЬ : а, Ь е А}, является полугруппой и, следовательно, скобки, указывающие порядок выполнения действий в произведении элементов из А2, могут быть расставлены произвольным образом или просто опущены. В дальнейшем мы будем пользоваться этим свойством без особых упоминаний.

Обозначим через Л множество всех термов вида (х^х^).

Лемма 1. Для любого терма р е 2, отличного от индивидуальной переменной, существуют такие термы р1,р2,... ,рп из Л (п > 1), что [р] = [р1 ][р2]... [рп].

Доказательство. Доказательство проводится индукцией. Утверждение очевидно для р е Л. Далее рассмотрим следующие возможные случаи.

Пусть р = хк и д = д2 ... , где , д2,... , е Л . Тогда используя тождества (3), (4), (14), получаем:

[хк= [хк](Ы[д2]... [дт]) = ([хк]Ы)([д2]... [дт]) = ([хк][д1 ]2)([д2]... [дт]) = = ([хк]2Ы)([д2]... [дт]) = ([хкхк]Ы)(Ы... [дт]) = [хкхк][д1 Ы... [дт].

Пусть р = р1 р2 .. .рп, где р1,р2,... ,рп е Л и д = хк. Тогда используя тождества (3,4,13), получаем

= ([р1 ][р2] . . . ([рп-1 ])([рп]2[хк]) = ([р1 ][р2] . . . ([рп-1 ])([рп][хк]2) = [р1][р2] . . . [рп-1 ][рп][хкхк].

Пусть р = р1р2 .. .рп, где р1 ,р2,... ,рп е Л и д = ... , где д2,..., е Л. Тогда используя замечание 1, получаем:

(х(уг))£ = х((угЮ.

(14)

Действительно, используя тождества (3) и (7), получаем:

(х(уг))г = (х(уг)2 )£ = х((уг)2£) = х((уг)£).

[рхк] = ([р1 ][р2] . . . [рп])[хк] = ([р1 ][р2] . . . [рп-1 ])([рп])[хк])

М = ([р1 ][р2]... Ы)(Ы[д2]... [дт]) = [р1][Р2]... [рп]Ы[д2]... [дт].

□

Шаг 3. Двухполюсник G(p) = (V(p),E(p), in(p), out(p)) для p = pip2 • • -Pn, где , • • • ,pn е Л, согласно определению может быть построен следующим образом.

Пусть p е Л, т. е. p = XjXj. Тогда V(p) = {v0, v1, v2, v3}, E(p) = {(v0, i, v1), (v2, j, v1)}, и in(p) = v0, out(p) = v3:

i j , in = ■ ^ ■ ^ ■ ■ = out

Пусть p = p1p2 • • •pn, где p1?p2, • • • ,pn е Л. Мы будем предполагать, что множества Vp1 ,Vp2 • • •, Vpn попарно не пересекаются. Тогда V (p) = V (p1) U pr(E (p1)) U ••• U pr(E (pn)), E(p) = E(p1) U E(p2) U ••• U Epn) и in(p) = in(p1), out(p) = v, где v — новая вершина, отличная от вершин двухполюсников G(p1 ),G(p2),•••,G(pn) . Заметим, что в этом случае G(p) содержит n + 1 компоненту связности.

Следующие три леммы непосредственно вытекают из строения соответствующих графов и определения гомоморфизма.

Лемма 2. Пусть p е Л U {x1, • • • , xn, • • • }, q = xk и G(p) — G(q). Тогда p = q.

Лемма 3. Пусть p = xi, q = xkx^, E(p) — E(q). Тогда i = k = l, т.е. q = p2.

Лемма 4. Пусть p = x^j, q = xkx^ E(p) — E(q) u f — гомоморфизм из E(q) 0 E(p). Тогда возможен один из следующих случаев: a) i = k и j = l; b) i = l u j = k; c) i = k = l; d) j = k = l. Если при этом f (in(q)) = in(p), то возможны лишь случаи a) и c).

Лемма 5. Пусть p = x^j, q = xkx^, E(p) — E(q). Тогда [pq] = [p].

Доказательство. Рассмотрим случаи, обозначенные в лемме 4. В случае а), используя тождество (3), имеем [pq] = [x^j][xixj] = [x^j]2 = ^xj] = [p].

В случае b), используя тождества (3), (5), имеем:

[pq] = [xixj ][xj xi ] = [xixj ]2 ([x j ][xi]) = [xixj ]2 ([xi][xj ]) = [xi xj ][xi xj ]) = [xixj ]2 = [xi xj ] = [p^

В случае с), используя тождества (1), (3), имеем:

[pq] = [xi xj ][xi xi ] = [xixj ][xi]2 = [xixj ]2 [xi] = [xi xj ][xi] = [xi xj ] = [p^

В случае d), используя тождества (2), (3), имеем:

[pq] = [xixj ][x x] = [xi x ][x]2 = [xi x]2 [xj = [xi x ][x] = [xi x] = [p]^ □

Лемма 6. Пусть p = xixj, q = xkx^, E(p) — E(q) и f (in(q)) = in(p), где f — гомоморфизм из E(q) в E(p). Тогда [p] < [q].

Доказательство. Если p = xixj, то рассмотрим случаи а) и c), обозначенные в лемме 4. В случае а) имеем [p] = [q]. В случае с), используя тождества (8), получаем:

[P] = [xixj] < [xi]2 = [q]^

Лемма 7. Пусть p = xixj-, q = xkx^, G(p) = G(q) и f1 (in(q)) = in(p), f2(in(p)) = in(q), где f1 — гомоморфизм из E(q) в E(p) и f2 — гомоморфизм из E(p) в E(q). Тогда [p] = [q].

Доказательство. Действительно, согласно лемме 4 это возможно лишь в случаях, когда i = l и j = k или i = l = j = k, следовательно, p = q. □

Шаг 4. Легко проверить, что операции * удовлетворяют тождествам (1)-(9). Отсюда следует, что £ С Eq{*} и Е- с Eq{*, с}. Таким образом, для доказательства теорем 1, 2 достаточно показать, что всякое тождество p = q (p < q) из Eq{*} (Eq{*, с}) принадлежит Е (Е-).

Согласно лемме 1 мы можем предположить, что p,q е {x1, • • •,xn, • • • } или p = p1 p2 • • ^pn, где p1,p2, • • • ,pn е Л и q = q1 q2 • • •qm, где q1,q2, • • •, qm е Л.

Предположим, что тождество p < q принадлежит эквациональной теории Eq{*, с}. Тогда согласно сформулированному выше результату из работы [5] имеем G(p) — G(q), т.е. существует гомоморфизм f из G(q) в G(p).

Если q = хк, то согласно лемме 2 имеем р = q. Если р = хг и д = д2 ... дт, то Е(р) -< Е(дк)

для всякого к = 1,... ,т. Отсюда по лемме 3 дк = р2 и, используя тождества (3), (8), получаем р < р2 = д.

Предположим теперь, что р = ргр2 .. .рп и д = д2 ... дт. Ясно, что гомоморфизм / будет отображать всякую компоненту связности графа Е(д) в компоненту связности графа Е(р), следовательно, существует отображение ф из {1,...,т} в {1,...,п} такое, что /(С(дк)) с 0(рф(к)) для всякого к = 1,... ,т, следовательно, согласно лемме 5 имеем:

[рф(к) Ш ] = [рф(к)\.

Учитывая, что /(т(дг)) = /(гп(д)) = гп(р) = гп(р\), имеем ф(1) = 1. Отсюда согласно лемме 6 [рг] < [дг]. Таким образом, используя тождества (3), (6), (9), получаем:

[р] = ЫШ ... [рп] = [рг][д2]... [дт][р2]... [рп] < ]... [дт] < [дг]... [дт] = Ы.

Таким образом, во всех возможных случаях тождество р < д принадлежит эквациональной теории Е, что завершает доказательство теоремы 2.

Предположим теперь, что тождество р = д принадлежит эквациональной теории Ед{*}. Тогда согласно сформулированному выше результату из [5] имеем С(р) = С(д), т.е. О(р) -< С(д) и С(д) -< О(р), следовательно, существуют гомоморфизмы /г из Е(д) в Е(р) и /2 из Е(р) в Е(д).

Если р = хг или д = Хк, то согласно лемме 2 имеем р = д.

Предположим теперь, что р = ргр2 ...рп и д = д2 ...дт. Поскольку всякая компонента связности графа Е(д) при гомоморфизме/1 будет отображаться в компоненту связности графа Е(р) и всякая компонента связности графа Е(р) при гомоморфизме /2 будет отображаться в компоненту связности графа Е(д), существуют отображения ф из {1,...,т} в {1,...,п} и р из {1,...,п} в {1,...,т} такие, что /(С(дк)) с С(рф(к)) для к = 1,...,т и /(С(рк)) с С(д9{к)) для к = 1, ..., п. Следовательно, согласно лемме 5 имеем [рф(к)][дк] = [рф(к)] и [д9(к)}[рк] = [д9(к)]. Учитывая, что /г(гп(дг)) = /г(гп(д)) = гп(р) = гп(р1) и /2(т(рг)) = /2(гп(р)) = т(д) = т(дг), имеем ф(1) = 1 и р(1) = 1. Отсюда согласно лемме 7 имеем [рг] = ]. Таким образом, используя тождества (3), (6), получаем [р] = [рг][р2 ]... [рп ] = [рг][д2 ]... [дт }[р2] ... [рп] и [д] = Ш[д2]... [дт] = [дг][р2] ... [рп][д2]... [дт]. Отсюда, учитывая, что [рг] = [дг], и, используя тождество (3), (6), получаем [р] = [д].

Таким образом во всех возможных случаях тождество р = д принадлежит эквациональной теории Е, что завершает доказательство теоремы 1.

Теорема 3 непосредственно вытекает из теоремы 2 и следствия 5 работы [5].

Библиографический список

1. Tarski A. On the calculus of relations // J. Symbolic Logic. 1941. Vol. 4. P. 73-89.

2. Tarski A. Some methodological results concerning the calculus of relations // J. Symbolic Logic. 1953. Vol. 18. P. 188-189.

3. Бредихин Д. А. Об алгебрах отношений с диофанто-выми операциями // Докл. АН. 1998. Т. 360. С. 594595. [Bredikhin D. A. Relation algebras with diophantine operations // Doklady Mathematics. 1998. Vol. 57, № 3. P. 435-436.]

4. Boner P., Poschel F. R. Clones of operations on binary relations// Contributions to general algebras. 1991. Vol. 7. P. 50-70.

5. Бредихин Д. А. Эквациональная теория алгебр отношений с позитивными операциями // Изв. вузов. Ма-

тематика. 1993. № 3. С. 23-30. [Bredikhin D. A. The equational theory of algebras of relations with positive operations // Russian Math. (Izv. VUZ. Matematika). 1993. Vol. 37, № 3. P. 21-28.]

6. Бредихин Д. А. О квазитождествах алгебр отношений с диофантовами операциями // Сибирск. мат. журн. 1997. T. 38. С. 29-41. [Bredikhin D. A. On quasi-identities of relation algebras with diophantine operations // Siberian Math. J. 1997. Vol. 38, № 1. P. 23-33.]

7. Bredikhin D. A. On relation algebras with general superpositions// Colloq. Math. Soc. J. Bolyai. 1994. Vol. 54. P. 11-124.

8. Bredikhin D. A. Varietes of groupoids associated with involuted restrictive bisemigroups of binary relations // Semigroup Forum. 1992. Vol. 44. P. 87-192.