CC BY
14
ЧЕБЫШЕВСКИЙ СБОРНИК
Том 17. Выпуск 1.
УДК 512.548.2 + 512.571
О ЧАСТИЧНЫХ n-АРНЫХ ГРУППОИДАХ, У КОТОРЫХ КАЖДОЕ ОТНОШЕНИЕ ЭКВИВАЛЕНТНОСТИ
ЯВЛЯЕТСЯ КОНГРУЭНЦИЕЙ
А. В. Решетников (г. Москва) Аннотация
В монографии «Universal algebra» Г. Гретцер приводит следующий пример. Пусть A — универсальная алгебра (множество с некоторым набором операций £). Возьмём произвольное подмножество B С A и для каждой операции f G £ (обозначим её арность через n) рассмотрим, каким образом f действует на элементы из Bn. Не обязательно f (B) С B, поэтому в общем случае B не является подалгеброй алгебры A.
Если же ввести понятие частичной операции на B как отображения некоторого подмножества множества Bn в множество B, то B будет множеством с заданным на нём набором частичных операций. Такие множества называются частичными универсальными алгебрами. В нашем примере B будет частичной универсальной подалгеброй алгебры A в том смысле, что множество B будет замкнуто относительно всех частичных операций частичной алгебры B. Таким образом, частичные универсальные алгебры естественным образом возникают при изучении обычных универсальных алгебр.
Понятие конгруэнции универсальной алгебры обобщается на частичные алгебры. Известно, что конгруэнции частичной универсальной алгебры A всегда образуют решётку, а если A является полной (то есть обычной) алгеброй, то решётка конгруэнций алгебры A является подрешёткой решётки отношений эквивалентности на A. Решётка конгруэнций частичной универсальной алгебры является её важной характеристикой.
Для важнейших классов универсальных алгебр был получен ряд результатов, характеризующих алгебры A, не имеющие никаких конгруэнций, кроме тривиальных (отношение равенства на A и отношение A2). Оказалось, что в большинстве случаев, когда решётка конгруэнций универсальной алгебры тривиальна, сама алгебра имеет отнюдь не тривиальное строение.
А что можно сказать про алгебры A, у которых решётка конгруэнций, наоборот, содержит все отношения эквивалентности на A? Оказывается, что в этом случае каждая операция f универсальной алгебры A является либо константой (|f (A)| = 1), либо проекцией (f (xi, ..., Xi, ..., xn) = Xi). Кожуховым И. Б. были описание полугруппы, у которых каждое отношение эквивалентности является односторонней конгруэнцией. Интересно обобщить эти результаты на случай частичных универсальных алгебр.
В данной работе изучаются частичные n-арные группоиды G, у которых операция f удовлетворяет следующему условию: для любых элементов xi, ..., x^-i, x^+i, ..., xn G G значение выражения f(xi, ..., x^-i, y, x^+i, ..., xn) определено не менее, чем для трёх различных элементов y G G. Доказывается, что если каждое отношение эквивалентности на G является конгруэнцией частичного n-арного гурппоида (G, f), то при определённых условиях на G частичная операция f является константой.
Ключевые слова: частичный n-арный группоид, односторонняя конгруэнция, Rj-кон-груэнция, решётка конгруэнций, решётка отношений эквивалентности.
Библиография: 15 названий.
ON PARTIAL n-ARY GROUPOIDS WHOSE EQUIVALENCE RELATIONS ARE CONGRUENCES
A. V. Reshetnikov (Moscow)
Abstract
G. Gratzer's gives the following example in his monograph «Universal algebra». Let A be a universal algebra (with some family of operations E). Let us take an arbitrary set B С A. For all of the operations f G E (let n be the arity of f) let us look how f transformas the elements of Bn. It is not necessary that f (B) С B, so in the general case B is not a subalgebra of A. But if we define partial operation as mapping from a subset of the set Bn into the set B. then B be a set with a family of partial operations defined on it. Such sets are called partial universal algebras. In our example B will be a partial universal subalgebra of the algebra A, which means the set B will be closed under all of the partial operations of the partial algebra B. So, partial algebras can naturally appear when studying common universal algebras.
The concept of congruence of universal algebra can be generalized to the case of partial algebras. It is well-known that the congruences of a partial universal algebra A always from a lattice, and if A be a full algebra (i.e. an algebra) then the lattice of the congruences of A is a sublattice of the lattice of the equivalence relations on A. The congruence lattice of a partial universal algebra is its important characteristics. For the most important cases of universal algebra some results were obtained which characterize the algebras A without any congruences except the trivial congruences (the equality relation on A and the relation A2). It turned out that in the most cases, when the congruence lattice of a universal algebra is trivial the algebra itself is definitely not trivial.
And what can we say about the algebras A whose equivalence relation is, vice versa, contains all of the equivalence relations on A? It turns out, in this case any operation f of the algebra A is either a constant (|f (A)| = 1) or a projection (f (xi, ..., x¿, ..., xn) = x¿). KozhukhovI. B. described the semigroups whose equivalence relations are one-sided congruences. It is interesting now to generalize these results to the case of partial algebras.
In this paper the partial n-ary groupoids G are studied whose operations f satisfy the following condition: for any elements x1, ..., xk-1, xk+1, ..., xn G G the value of the expression f (x1, ..., xk-1, y, xk+1, ..., xn) is defined for not less that three different elements y G G. It will be proved that if any of the congruence relations on G is a congruence of the partial n-ary groupoid (G, f) then under specific conditions for G the partial operation f is not a constant.
Keywords: partial n-ary groupoid, one-sided congruence, ñj-congruence, congruence lattice, equivalence relation lattice.
Bibliography: 15 titles.
1. Введение
Решётка конгруэнций универсальной алгебры A является важной характеристикой данной универсальной алгебры. Известно, что эта решётка является подрешёткой решётки всех отношений эквивалентности на множестве A. Естественно спросить: для каких алгебр A две эти решётки совпадают? Полностью такие алгебры были описаны в работе [1]. Там же их характеристика была уточнена для частных случаев универсальных алгебр — группоидов и полугрупп.
Обобщением понятия универсальной алгебры является понятие частичной универсальной алгебры, т. е. множества с частичными операциями, не обязательно одной и той же арности (см. главу 2 монографии [2] и монографию [3]). Напомним, что частичную операцию на множестве A можно определить как отображение некоторого подмножества множества An в множество A. Алгебры со всюду определёнными операциями будем называть полными.
Понятие конгруэнции универсальной алгебры было перенесено на частичные универсальные алгебры; по-видимому, впервые это было сделано в работе [4]. Работа [5] целиком посвящена конгруэнциям частичных универсальных алгебр, особое внимание уделено обоснованию определения конгруэнции. В той же работе введено понятие сильной конгруэнции частичной универсальной алгебры, дана некоторая характеристика сильных конгруэнций, представлена их связь с конгруэнциями полных универсальных алгебр.
Известно, что конгруэнции частичной универсальной алгебры А всегда образуют решётку, причём данная решётка не обязательно является подрешёткой решётки отношений эквивалентности на А; пример такой алгебры А приведён в работе [6]1. Любая алгебраическая (то есть компактно порождённая) решётка изоморфна решётке конгруэнций некоторой частичной универсальной алгебры [2, §18, теорема 1].
В работе [7] доказано, что класс всех решёток, изоморфных решёткам сильных конгруэнций конечных частичных универсальных алгебр, совпадает с классом всех решёток, изоморфных решёткам конгруэнций конечных полных универсальных алгебр.
В работе [6] понятие конгруэнции частичной универсальной алгебры было обобщено до понятия Л^-конгруэнции частичного п-арного группоида. Было доказано, что для любого г Лг-конгруэнции частичного п-арного группоида С образуют решётки, которые не обязательно являются подрешётками решётки отношений эквивалентности на С и не обязательно являются надрешётками решётки конгруэнций на С. Также в работе [6] была получена характеристика частичных п-арных группоидов С, для которых решётка отношений эквивалентности совпадает с какой-либо из решёток Л^-конгруэнций на С.
В данной работе, продолжая исследования, проведённые в работах [1] и [6], мы опишем широкий класс частичных п-арных группоидов, у которых решётка отношений эквивалентности совпадает с решёткой конгруэнций.
2. О конгруэнциях частичных п-арных группоидов
Отображение / : А' ^ А называется частичной п-арной операцией на множестве А, если А' С Ап. При этом множество А' называется областью определения частичной операции /, вводится обозначение А' = ёош /. Мы всегда будем полагать, что множество А непусто, степень п — целое неотрицательное число, однако в качестве областей определения частичных операций мы будем допускать произвольные множества. В случае ёош / = А будем говорить, что / — полная операция.
Пусть £ = {/а|а € I} — множество (конечное или бесконесное) частичных операций, заданных на А. Тогда А называется частичной универсальной алгеброй с набором операций £. Если £ = {/}, где / — частичная п-арная операция, то частичным п-арным группоидом с частичной операцией /, и использовать для неё обозначение (А, /).
Частичные универсальные алгебры и частичные п-арные группоиды со всюду определёнными операциями будем называть полными.
Пусть (С, /) — частичный п-арный группоид. Отношение эквивалентности р С С2 называется конгруэнцией, если для любых элементов й1, ..., ап, Ь^ ..., Ьп € С выполняется следующее условие:
если (а1,Ь1) € р, ..., (ап, Ьп) € р и /(аь ..., ап), /(Ьь ..., Ьп) определены, то (/(аь ..., ап), /(Ь1,..., Ьп)) € р.
Пусть С — частичный п-арный группоид с частичной операцией /. Зафиксируем индекс г (1 ^ г ^ п). Для произвольной строчки а = (а1, ..., аг-1, аг+1, ..., ап) определим частичную унарную операцию следующим образом 2:
= /(а1, ...,аг-1,ж,аг+1, ...,ап). (1)
ХВ работе [7] в первом абзаце допущена неточность: утверждается, что конгруэнции алгебры образуют под-решётку решётки её отношений эквивалентности, при этом под алгебрами подразумеваются частичные универсальные алгебры, что делает утверждение неверным. По-видимому, данная ошибка не влияет на основные результаты работы [7].
2Такая операция называется трансляцией.
Назовём отношение эквивалентности р С О2 конугруэнцией на г-й позиции, или Яг-конгру-энцией, или односторонней конгруэнцией, если для любого набора а € Оп-1 отношение р является конгруэнцией частичного унарного группоида (О,^>г,а).
Рассмотрим частичные п-арные группоиды (О,/), удовлетворяющие условию
(*) для любого значения к € {1,...,п}, для любых элементов х1, ..., х&+1, ..., хп € О
значение выражения /(х1, ..., х^-1, у, х&+1, ..., хп) определено не менее, чем для трёх различных элементов у € О.
Докажем следующую теорему:
Теорема 1. Пусть (О, /) — частичный п-арный группоид, для которого выполнено условие (*). Если каждое отношение эквивалентности на О является конгруэнцией и для некоторого набора элементов (а1, ..., ап) € ёош / имеет место соотношение
/(а1,..., ап) € {°1, ...,ап}, то для любых х1, ..., хп € О выполняется импликация
х 1,..., хп € ёош / ^ / (х1,...,хп) = / (а1,...,ап).
Для доказательства нам понадобится несколько вспомогательных определений и лемм.
Пусть / — частичная п-арная операция, заданная на множестве А. Назовём / константой, если |/(А, ...,А)| ^ 1. Будем говорить, что / — проекция на г-ый аргумент (1 ^ г ^ п), если для любых (х1, ..., хп) € ёош / выполняется равенство /(х1, ..., хг, ..., хп) = хг.
Пусть О — частичный п-арный группоид с частичной операцией /. Зафиксируем какое-либо значение г € {1, ...,п}. Будем говорить, что набор элементов а = (а1, ..., аг-1, аг+1, ..., ап) € Оп-1 является Яг-единицей3 частичного п-арного группоида (О,/), если частичная операция ^¿,а, определённая соотношением (1), является проекцией в частичном унарном группоиде (О, <^а). Будем говорить, что а является обобщённым Яг-нулём в (О, /), если ^>г,а — константа в (О, ^¿,а).
Следующее утверждение является следствием из теоремы 2.3 работы [6]:
Лемма 1. Пусть (О, /) — частичный п-арный группоид, удовлетворяющий условию (*). Каким бы ни было значение г, все отношения эквивалентности на О являются Яг-конгруэнциями в том и только том случае, если для каждого набора элементов а € Оп-1: выполняется хотя бы одно из следующих условий:
(г) а является Яг-еди,ни,цей;
(гг) а является обобщённым Яг-нулём.
Далее будем решётку Яг-конгруэнций частичного п-арного группоида О обозначать через ЯгСоп О. Для решётки отношений эквивалентности на А введём обозначение Eq А.
Лемма 2. Пусть (О, /) — частичный п-арный группоид, для которого выполнено условие (*), и ЯгСоп О = Eq О. Если для какого-либо элемента ад € О и какого-либо набора элементов а € (О \ {ад})п-1 частичная операция <рга, определённая соотношением (1), удовлетворяет включению
Рг,а(О \М) С {ад}, (2)
то а — обобщённый Яг-нуль.
3Для полного бинарного группоида понятие Я1-единицы совпадает с понятием правой единицы, а понятие Яг-единицы — с понятием левой единицы, Для частичного бинарного группоида Я1-единицу также можно было бы называть правой единицей, а Я2-единицу — левой единицей, но необходимо помнить, что эти определения отличаются от определений, принятых в монографии [3].
Доказательство. Ввиду условия (*) можно найти элементы y, z G G \ {w}, для которых определы значения выражений <^¿,a(y) и <^¿,a(z). Ввиду (2) имеем
<£¿,a(y) = <£i,a(z) = w.
Отсюда видно, что набор элементов а не является Rj-единицей. Так как R¿Con G = Eq G, то по лемме 1 получаем, что а — обобщённый Rj-нуль. □
Лемма 3. Пусть (G, f) — частичный n-арный группоид, для которого выполнены условие (*) и условие
RiCon G = ... = fí« Con G = Eq G. (3)
Если для некоторого элемента w G G и некоторых подмножеств Ai, ..., Ai-i, A¿+i, ..., An С G таких, что G \ {w} С Aj при всех j = i, имеет место включение
f (Ai,..., Ai-i, G \ {w}, Ai+i,..., A„) С {w}, (4)
то
f (Ai,..., Ai-i, G, Ai+i,..., A„) С {w}. (5)
Доказательство. Из (4) видно, что для любого набора элементов
а G Ai х ... х Ai-i х Ai+i х ... х An
частичная операция ^¿,а удовлетворяет условию (2). Следовательно, по лемме 2 набор элементов а является Ri-нулём. Мы получаем, что
^¿,a(G) С {w}.
Отсюда ввиду произвольности выбора а следует соотношение (5). □
Следствие 1. Пусть (G, f) — частичный n-арный группоид, для которого выполнены условия (*) и (3). Если для некоторого элемента w G G имеет место включение
f (G \{w},...,G \{w}) С {w}, (6)
то
f (G,..., G) С {w}. (7)
Лемма 4 (6, предложение 1.1). Любая конгруэнция частичного п-арного группоида С является Щ-конгруэнцией на С при любом г.
Замечание 1. Пусть отношение эквивалентности р частичного п-арного группоида С для любого значения г является Щ-конгруэнцией. Если С — полный п-арный группоид, то р — конгруэнция на С (это следует из предложения 1.2 работы [6]). Если же частичный п-арный группоид не является полным, то р необязательно является конгруэнцией: более того, в работе [6] приведён пример частичного бинарного группоида (пример 1.3), у которого решётка конгруэнций не является даже подрешёткой решётки Л1СопСП ... ПЛпСопС.
Доказательство теоремы 1. Достаточно доказать, что если условия теоремы 1 выполнены, то / — константа.
Введём обозначение:
/(аь ...,ап) = ад. Рассмотрим отношение эквивалентности
р = (G \{w})2 U{(w,w)}.
По условию теоремы р — конгруэнция на G; множества (G\{w}) и {w} являются её классами. Так как элементы ai, ..., an принадлежат классу (G\ {w}), а значение выражения f (ai,..., an) — классу {w}, то для любых элементов xi, ..., xn G G \ {w} значение выражения f (xi, ...,xn) либо не определено, либо принадлежит классу {w}, то есть выполнено условие (6). Из леммы 4
следует (3). Тогда по следствию из леммы 3 получаем соотношение (7), то есть f — константа. □
3. Заключение
Для полных универсальных алгебр, у которых решётка отношений эквивалентности совпадает с решёткой конгруэнций, в работе [1] было получено полное описание (теорема 3.3):
Пусть A — универсальная алгебра с набором операций £. Все отношения эквивалентности на A являются её конгруэнциями в том и только том случае, если выполняется хотя бы одно из следующих условий:
(i) |A| < 2;
(ii) каждая операция f G £ является константой или проекцией.
Пользуясь этим утверждением, теорему 1 можно переформулировать следующим образом: Пусть (G, f) — частичный n-арный группоид, для которого выполнено условие (*). Если каждое отношение эквивалентности на G является конгруэнцией и для некоторого набора элементов (ai, ..., an) G dom f имеет место соотношение
f(ai,...,an) G {ai,...,an}, (8)
то f — константа.
Пусть (G, f) — частичный n-арный группоид, для которого выполнено условие (*), но не выполнено условие (8). Верно ли, что если решётка отношений эквивалентности на G совпадает с решёткой конгруэнций частичного n-арного группоида G, то частичная операция f является проекцией? Данный вопрос остаётся открытым.
Автор выражает благодарность Кожухову И. Б. за постоянное внимание к работе и ценные замечания.
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Кожухов И. Б., Решетников А. В. Алгебры, у которых все отношения эквивалентности являются конгруэнциями // Фундаментальная и прикладная математика. Т. 16, № 3. 2010. С. 161-192.
2. G. Gratzer. Universal algebra. Second Edition. Springer. 2008, 2nd ed. with updates, 1979, Second Edition, Springer Science + Business Media, LLC. 586 p.
3. Ляпин Е. С., Евсеев А. Е. Частичные алгебраические действия. С.-Петербург, Рос. гос. пед. ун-т им. А. И. Герцена: Образование. 1991. 163 с.
4. Grätzer G., Schmidt E. T. Characterizations of congruence lattices of abstract algebras. // Acta Sci. Math. (Szeged). Vol.24, № 3. 1963. P. 34-59.
5. G. Gratzer, G. H. Wenzel. On the concept of congruence relation in partial algebras. // Math. Scand. Vol. 20. 1967. P. 275-280.
6. Решетников А. В. О конгруэнциях частичных n-арных группоидов // Изв. Сарат. ун-та. Нов. сер. Т. 11, сер. Математика. Механика. Информатика, вып. 3, ч. 2. 2011 С. 46-51.
7. Joel Berman. Strong congruence lattices of finite partial algebras // Algebra Universalis. Volume 1, issue 1. December 1971. P. 133-135.
8. Burmeister P. Free partial algebras. //J. Reine Angew. Math. Volume 1970, issue 241. January 1970. P. 75-86.
9. Clifford A. H., HallT.E. A characterisation of R-classes of semigroups as a partial groupoids. // Semigroup Forum. Volume 6. 1973. P. 246-254.
10. КуликВ.Т. О наибольших сильных отношениях конгруэнтности частичных универсальных алгебр. // Исследования по алгебре. Саратов: изд. Саратовского ун-та. 1970. С. 40-46.
11. КуликВ.Т. О решётках сильных отношений конгруэнтности полугруппоидов. // Упорядоченные множества и решётки. Вып. 2. Саратов: изд. Саратов. ун-та. 1974. С. 42-50.
12. Е.С.Ляпин, Внутреннее полугрупповое продолжение некоторых полугрупповых амальгам. // Известия вузов. Матем. № 11. 1993. С. 20-26.
13. PastijnF. A generalization of Green's equivalence relations for halfgroupoids. // Simon Stevin. Volume 49. 1976 P. 165-175.
14. Fleischer I. On extending congruences from partial algebras. // Fund. math. Volume 88. 1975. P. 11-16.
15. SchelpR. H. A partial semigroup approach to partially ordered sets. // Proc. London Math. Soc. Volume 24. 1972. P. 46-58.
REFERENCES
1. Kozhukhov I. B., Reshetnikov A. V. 2010, "Algebras whose equivalence relations are congruences", Fundamentalnaya i Prikladnaya Matematika (Fundamental and Applied Mathematics), vol. 16, no. 3, pp. 161-192. (Russian) translation in Journal of Mathematical Sciences (New York), 2011, Vol. 177, № 6, pp. 886-907
2. Gratzer G. 2008, 2nd ed. with updates, 1979, Second Edition. "Universal algebra. Second Edition.", Springer, Springer Science + Business Media. 586 p.
3. Ljapin E. S., Evseev A. E. 1991. "The Theory of Partial Algebraic Operations", Obrazovanie, Herzen State Pedagogical University of Russia, St.Petersburg, 163 p. (Russian) translation in Springer, Springer Science + Business Media, B.V., 1997, 237 p.
4. Gratzer G., Schmidt E. T. 1963, "Characterizations of congruence lattices of abstract algebras.", Acta Sci. Math. (Szeged), vol.24, № 3. pp. 34-59.
5. G. Gratzer, G. H. Wenzel. 1967, "On the concept of congruence relation in partial algebras.", Math. Scand., vol. 20. pp. 275-280.
6. Reshetnikov A. V. 2011, "On congruences of partial n-ary groupoids", Izvestiya Saratovskogo universiteta. Novaya seriya. Seriya: Matematika. Mekhanika. Informatika. (Izvestiya Saratovskogo universiteta. New series. Series: Mathematics. Mechanics. Informatics), vol. 11, no. 3, part 2, pp. 46-51. (Russian)
7. Joel Berman. December 1971, "Strong congruence lattices of finite partial algebras", Algebra Universalis, volume 1, issue 1, pp. 133-135.
8. Burmeister P. January 1970. "Free partial algebras.", J. Reine Angew. Math., volume 1970, issue 241, pp. 75-86.
9. Clifford A. H., Hall T. E. 1973. "A characterisation of R-classes of semigroups as a partial groupoids.", Semigroup Forum, volume 6, pp. 246-254.
10. Kulik V. T. 1970. "O naibolshih silnyh otnosheniyah congruentnosti chastichnyh universalnyh algebr.", Issledovaniya po algebre. Saratov: izd. Saratovskogo Universiteta, pp. 40-46.
11. Kulik V. T. 1974. "O reshetkah silnyh otnosheniy congruentnosti polugruppoidov.", Uporya-dochennye mnojestva i reshetki, no. 2. Saratov: izd. Saratovskogo Universiteta, pp. 42-50.
12. E. S. Ljapin. 1993. "Vnutrennee polugruppovoe prodoljenie nekotoryh polugruppovyh amalgam.", Izvestiya vuzov. Matematika, 1993, no. 11, pp. 20-26.
13. PastijnF. 1976 "A generalization of Green's equivalence relations for halfgroupoids.", Simon Stevin, vol. 49, pp. 165-175.
14. Fleischer I. 1975. "On extending congruences from partial algebras.", Fund. math., vol. 88, pp. 11-16.
15. SchelpR. H. 1972. "A partial semigroup approach to partially ordered sets.", Proc. London Math. Soc., vol. 24, pp. 46-58.
Национальный исследовательский университет «Московский институт электронной техники».
Получено 21.12.2015 г.
Принято в печать 11.03.2016 г.
