CC BY
40
ЧЕБЫШЕВСКИЙ СБОРНИК
Том 14 Выпуск 4 (2013)
УДК 512.579
О СТРОГО ПРОСТЫХ ТЕРНАРНЫХ АЛГЕБРАХ С ОПЕРАТОРАМИ
В. Л. Усольцев(г. Волгоград)
Аннотация
В работе получены некоторые условия строгой простоты для алгебр с операторами, имеющих одну тернарную основную операцию. Описаны строго простые унары со стандартной и симметрической мальцевскими операциями, а также со стандартной операцией большинства. Получено также описание конгруэнц-простых унаров со стандартной операцией большинства.
Ключевые слова: строго простая алгебра, тернарная алгебра с операторами, унар с мальцевской операцией, функция меньшинства, функция большинства.
ABOUT STRICTLY SIMPLE TERNARY ALGEBRAS WITH OPERATORS
V. L. Usol’tsev (c. Volgograd)
Abstract
In this work is given some conditions of strictly simplicity for algebras with operators having one ternary main operation. It is described strictly simple unars with standard and symmetric Mal’tsev operations and with standard majority operation. The description of simple unars with standard majority operation is obtained as well.
Keywords: strictly simple algebra, ternary algebra with operators, unar with Mal’tsev operation, minority operation, majority operation.
Универсальная алгебра называется строго простой, если она является простой и не имеет собственных подалгебр, кроме, может быть, одноэлементных.
Строго простые алгебры изучались в ряде работ А. Сендрей, К. Кернса (см., напр., [1-4]) и др. Известно [3], что любое локально конечное минимальное многообразие порождается строго простой алгеброй. Строго простые алгебры также рассматриваются в рамках алгебраического подхода к исследованиям вычислительной сложности ограничений задачи CSP (Constraint Satisfaction Problem, или задача "Обобщенная выполнимость") [5].
В настоящей работе интерес к строго простым алгебрам обусловлен их связями с абелевыми алгебрами.
Обозначим через ConA решетку конгруэнций алгебры A. Через [а, в] обозначается коммутатор конгруэнций а, в £ ConA [6]. Алгебра называется абелевой, если для нее выполняется условие [v, V] = А, где ▽ и А — единичная и нулевая конгруэнции.
М. Валериот [7] доказал, что любая конечная простая абелева алгебра является строго простой. Таким образом, изучение строго простых алгебр облегчает исследование абелевых алгебр, что, в свою очередь, способствует решению актуальной задачи описания полиномиально полных алгебр (см. [8]).
Алгеброй с операторами называется универсальная алгебра A сигнатуры Q = Q U Q", где Q произвольна, а Q" состоит из унарных операций, причем любая операция из Q" перестановочна с любой операцией из Q. Унарные операции из Q" называются операторами, а операции из Q — основными операциями алгебры A.
В настоящей работе алгебры с операторами изучаются в терминах их унарных редуктов. Если f — унарная операция из сигнатуры Q, то унарным редук-том алгебры (A, Q) называется унар (A, f).
Будем называть алгебру с операторами тернарной, если она имеет единственную основную операцию, и эта операция является тернарной. Среди тернарных операций особое внимание уделяется операциям, перечисленным ниже.
Мальцевской называется тернарная операция d(x,y,z), удовлетворяющая тождествам Мальцева d(x,y,y) = d(y,y,x) = x.
Будем называть мальцевскую операцию d(x,y,z) операцией Пиксли, если она удовлетворяет тождеству d(x,y,x) = x.
Мальцевская операция d(x,y,z) называется функцией меньшинства (minority operation), если она удовлетворяет тождеству d(y, x, y) = x. Из определения функции меньшинства следует, что она является слабой функцией почти единогласия (weak near-unanimity function), то есть операцией f, удовлетворяющей тождествам f (x,... ,x,y) = f (x,... ,x,y,x) = ... = f (y,x,... ,x). Интерес к алгебрам, имеющим WNU-терм, обусловлен их приложениями в области исследования CSP-задач и в смежных областях (см., напр., [9]).
Тернарная операция d(x,y,z) называется функцией большинства (majority operation), если она удовлетворяет тождествам
d(x, x, y) = d(x, y, x) = d(y, x, x) = x.
Функция большинства является тернарным вариантом функции почти единогласия (near-unanimity function), то есть операции f, удовлетворяющей тождествам f (x,... ,x,y) = f (x,... ,x,y,x) = ... = f (y, x,... ,x) = x. Алгебрам с NU-термами уделяется много внимания как в современной универсальной алгебре (см., напр., [10]), так и в теории графов и теоретической информатике.
Введем также в рассмотрение и назовем функцией почти большинства (near-majority operation) тернарную операцию d(x,y,z), удовлетворя-
ющую тождествам й(х, х, у) = й(у, х,х) = х и й(х, у, х) = у.
Необходимые определения и обозначения из теории унаров можно найти в
[11].
Очевидное достаточное условие строгой простоты в общем случае дает
Лемма 1. Пусть (Л, О) — произвольная алгебра с оператором / Е О. Если (Л, /) = С или [Л, /) = С0 + С0 или [Л, /) = С0, где р — простое число, то алгебра (Л, О) является строго простой.
Предложение 1. Пусть (Л, О) — произвольная алгебра с оператором / Е О, и унар (Л, /) — связный. Если алгебра (Л, О) является строго простой, то ее унарный редукт (Л, /) изоморфен либо циклу, либо цепи, либо унару, содержащему такой элемент а, что /(х) = а для любого х Е Л.
Доказательство. Из условия следует, что (Л, О) является простой. Тогда, по [11, предложение 2], либо операция / инъективна, либо унар (Л, /) содержит такой элемент а, что /(х) = а для любого х Е Л. Во втором случае утверждение доказано.
Если / инъективна, то (Л,/) изоморфен либо циклу, либо цепи, либо Р\. Пусть (Л,/) = ^1, и В — некоторый его собственный подунар. Обозначим порождающие элементы унаров (Л, /) и (В, /) через а и Ь соответственно. Заметим, что Ь = /к(а) для некоторого к > 0.
Предположим, что В не является подалгеброй алгебры (Л, О). Тогда найдутся такие п > 0, х1,... ,хп Е В и п-арная операция ф Е О, что ф(х1,..., хп) Е Л\В. Отсюда, ф(х1,... ,хп) = /Л(а) для некоторого d < к.
Поскольку х1,... ,хп Е В, то найдутся такие т1,... ,тп Е N и {0}, что хг = /т(Ь) = /т+ (а). Тогда
ф(хихп) = ф(/т1+к (а),/ т'+к (а)) =
= ф(/‘(Г"1 +к-“(а)),...,Г‘(/т"+к-“(а))) = / ‘‘(ф(Г1+к-‘‘(а),...,Г'+к-‘‘(а))).
Отсюда, учитывая инъективность операции /, получаем
ф(/т1+к~<1(а), ...^ / т„+к-Л(а)) = а,
и /к-а(ф(/т1 (а),...,/тп(а))) = а, что противоречит выбору элемента а, как порождающего элемента унара (Л, /).
Таким образом, В — бесконечная собственная подалгебра алгебры (Л, О), откуда (Л, О) не является строго простой. □
Теорема 1. Пусть (Л^,/) — алгебра с оператором /, где операция / неинъективна, а d — тернарная операция, которая относится либо к операциям Пиксли, либо к функциям меньшинства, либо к функциям большинства, либо к функциям почти большинства. Алгебра (Л, d, /) является строго простой тогда и только тогда, когда ее унарный редукт (Л,/) изоморфен С}.
Доказательство. Достаточность следует из леммы 1. Докажем необходимость. Пусть (A, d, f) является строго простой. Тогда она проста и, учитывая неинъективность операции f, по [11, предложение 2], унар (A, f) содержит такой элемент а, что f (x) = а для любого x £ A. Предположим, что унар (A, f) неизоморфен С'1. Тогда найдутся такие элементы b,c £ A, что |{а, b,c}\ = 3. Так как f (b) = а = f (c), то B = {а, b} — собственный подунар унара (A, f). Из определений операций d следует, что B замкнуто относительно d. Таким образом, B — неодноэлементная собственная подалгебра в (A,d,f), что противоречит условию. □
Предложение 2. Пусть (A,d,f) — алгебра с оператором f, где операция f инъективна, а d — тернарная операция, которая относится либо к операциям Пиксли, либо к функциям меньшинства, либо к функциям большинства, либо к функциям почти большинства. Если алгебра (A, d, f) строго проста, то унар (A, f) не содержит собственных подунаров, изоморфных С0 или С® + С®.
Следует из замкнутости двухэлементных подмножеств относительно операций d.
Унаром с мальцевской операцией [12] называется алгебра (A,p, f) с перестановочными унарной операцией f и тернарной операцией р, на которой истинны тождества Мальцева. Аналогичным образом определим унары с операцией большинства и почти большинства. Очевидно, все они являются тернарными алгебрами с оператором.
В [12] показано, что на любом унаре (A, f) можно задать тернарную операцию р, называемую стандартной, так, что алгебра (A, f,p) становится унаром с мальцевской операцией, удовлетворяющим тождествам Пиксли. Пусть (A, f)
— произвольный унар и x,y £ A. Положим Mxy = {n £ N0 \ fn(x) = fn(y)}, а также k(x,y) = min Mx,y, если Mxy = 0 и k(x,y) = ж, если Mx,y = 0. Положим далее{
В [13] показано, что на любом унаре (Л, /) можно задать тернарную операцию в, называемую симметрической, так, что алгебра (Л,/, в) становится унаром с мальцевской операцией, удовлетворяющим тождеству в(х,у,х) = у. Предложенная конструкция восходит к [12] и задает функцию меньшинства:
По аналогии с (1) можно также задать на унаре тернарную операцию почти единогласия. Назовем ее стандартной операцией большинства:
если k(x,y) ^ k(y,z) если k(x,y) > k(y,z).
(1)
z, если k(x,y) ^ k(y,z); x, если k(x,y) <k(y,z).
Определим также на унаре стандартную операцию почти большинства :
Рассмотрим условия конгруэнц-простоты для алгебр (Л,т, f) и (Л,т, f).
Лемма 2. Пусть (Л, т, f) — унар со стандартной операцией большинства т. Если унар (Л, f) содержит такой элемент а, что f (х) = а для любого х Є Л, то алгебра (Л,т^) .является простой.
Доказательство. Пусть унар (Л, f) удовлетворяет условию леммы. Положим X = Л \ {а}. При \Х\ = 1 унар (Л, f) двухэлементен, и утверждение очевидно.
Пусть \Х\ > 1, в — произвольная нетривиальная конгруэнция унара (Л, f), К — некоторый ее неодноэлементный класс, Ь, с Є К и Ь = с. В силу нетриви-альности в, найдется также такой элемент й Є Л, что й / К.
Пусть й = а. Поскольку f(а) = а = f(Ь) и f(Ь) = а = f(с), то к(с,Ь) = к(Ь, а) = 1, откуда по определению (2) следует т(с, Ь,а) = а = й. В то же время, т(Ь, Ь, а) = Ь. Так как Ьвс, но при этом (й, Ь) Є в, то отношение в не стабильно относительно т. Пусть теперь й = а. Так как f (с) = f (Ь) = f (й) = а, то т(с, Ь, й) = й. Учитывая, что т(Ь, Ь, й) = Ь, снова получаем, что в не стабильно относительно т. □
Лемма 3. Пусть (Л,т^) — унар со стандартной операцией большинства т. Если операция f на унаре (Л, f) инъективна, то алгебра (Л,т^) является простой.
Доказательство. Пусть в - произвольная нетривиальная конгруэнция унара (Л, f), а К - ее некоторый неодноэлементный класс. Так как в = V, то найдется такой элемент а Є Л, что а Є К. Пусть Ь,с Є К, Ь = с. Тогда, в силу инъективности операции f, к(с,Ь) = к(Ь,а) = то, и, следовательно, по определению (2), имеем т(с,Ь,а) = а. Отсюда, поскольку т(Ь,Ь,а) = Ь, то (т(с,Ь,а),т(Ь,Ь,а)) Є в, то есть, отношение в не стабильно относительно операции т. □
Заметим, что аналоги лемм 2 и 3 верны и для алгебры (Л, т, f).
Теорема 2. Пусть (Л, т, f), (Л,т, f) — неодноэлементные унары со стандартной операцией большинства т и стандартной операцией почти большинства т. Алгебры (Л,т^), (Л,т,/') являются конгруэнц-простыши тогда и только тогда, когда либо операция f инъективна, либо унар (Л, f) содержит такой элемент а, что f (х) = а для любого х Є Л.
г, если к(х,у) >к(у,г);
у, если к(х,у) = к(у,г);
х, если к(х,у) <к(у,г).
Доказательство. Необходимость следует из [11, предложение 2], в силу того, что (Л,т^), (Л,т^) являются алгебрами с оператором. Достаточность для (Л,т^) вытекает из лемм 2, 3, а для (Л,т^) — из соответствующих аналогов этих лемм. □
Теорема 3. Пусть (Л,р^) — алгебра с оператором f, а р — либо стандартная мальцевская операция, либо симметрическая операция, либо стандартная операция большинства, либо стандартная операция почти большинства. Алгебра (Л,р^) является строго простой тогда и только тогда, когда либо (Л, f) = С\, либо (Л, f) = С0 + С0, либо (Л, f) = СЩ для некоторого п > 0.
Доказательство.
Необходимость. Из условия следует, что алгебра (Л,р, f) — простая. Тогда из [11, теорема 2], [14, теорема 9] и теоремы 2 следует, что либо унар (Л, f) содержит такой элемент а, что f (х) = а для любого х Є Л, либо операция f инъективна. В первом случае f неинъективна, и справедливость утверждения следует из теоремы 1.
Пусть теперь операция f инъективна. Допустим, что (Л, f) — связный унар. Тогда он изоморфен либо ^\, либо С^, либо СЩ для некоторого п > 0.
Предположим, что (Л, f) = Fl, и а — порождающий элемент унара (Л, f). Обозначим Ь = f (а). Тогда, по условиям на операцию р, бесконечный подунар В, порожденный элементом Ь, является подалгеброй алгебры (Л,р, f), причем, собственной, в силу условия а Є В. Это противоречит строгой простоте алгебры (Л,P, f).
Если (Л, f) = Сте, то он содержит собственный подунар, изоморфный ^\, и дальнейшие рассуждения аналогичны проведенным выше.
Пусть теперь унар (Л, f) — несвязный. Из условий на операцию р следует, что любая его компонента связности является подалгеброй алгебры (Л,р^). В силу несвязности (Л, f), эта подалгебра является собственной. Тогда во всех случаях, кроме (Л, f) = С0 + С0, алгебра (Л,р, f) не строго проста, что противоречит условию.
Достаточность. Если (Л, f) = С}, или (Л, f) = С0 + С0, то утверждение
следует из леммы 1.
Пусть (Л, f) = СЩ для некоторого п > 0. Тогда алгебра (Л,р^) не имеет собственных подалгебр, поэтому достаточно доказать, что она проста. Если р — стандартная мальцевская операция, то простота (Л,р, f) следует из [11, теорема 2]; если р — симметрическая операция, то из [14, теорема 9]; в других случаях
— из теоремы 2. □
Автор выражает глубокую благодарность В. А. Артамонову за ценные замечания и постоянное внимание к работе.
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Szendrei A. Simple surjective algebras having no proper subalgebras // J. Austral. Math. Soc. Ser A. 1990. №. 48. P. 329-346.
2. Szendrei A. A survey on strictly simple algebras and minimal varieties // Univ. Algebra and Quasigroup Theory. Research and Exp. in Math. 1992. Vol. 19. P. 209-239.
3. Kearnes K.A., Szendrei A. A characterization of minimal locally finite varieties // Trans. Amer. Math. Soc. 1997. Vol. 349, № 5. P. 1749-1768.
4. Kearnes K.A., Szendrei A. Projectivity and isomorphism of strictly simple algebras // Algebra Universalis. 1998. Vol. 39. P. 45-56.
5. Bulatov A., Krokhin A., Jeavons P. Classifying the Complexity of Constraints using Finite Algebras // SIAM J. Comput. 2005. Vol. 34, № 3. P. 720-752.
6. McKenzie R., Freese R. Commutator theory for congruence modular varieties. 1987. London Math. Soc. Lecture Notes Ser. Vol. 125. 227 p.
7. Valeriot M. Finite simple Abelian algebras are strictly simple // Proc. of the Amer. Math. Soc. 1990. № 108. P. 49-57.
8. Артамонов В.А. Полиномиально полные алгебры // Учен. зап. Орловского гос. ун-та. 2012. Т. 6(50), ч. 2. С. 23-29.
9. Maroti M., McKenzie R. Existence theorems for weakly symmetric operations // Algebra Universalis. 2008. Vol. 59, № 3-4. P. 463-489.
10. Markovic P., McKenzie R. Few subpowers, congruence distributivity and nearunanimity terms // Algebra Universalis. 2008. Vol. 58. P. 119-128.
11. Усольцев В. Л. Простые и псевдопростые алгебры с операторами // Фун-дам. и прикл. математика 2008. Т. 14, вып. 7. С. 189-207.
12. Карташов В. К. Об унарах с мальцевской операцией // Унив. алгебра и ее приложения: тез. докл. междунар. семинара. Волгоград: Перемена, 1999. С. 31-32.
13. Усольцев В.Л. Свободные алгебры многообразия унаров с мальцевской операцией р, заданного тождеством p(x,y,x) = у // Чебышевский сб. 2011. Т. 12, вып. 2(38). С. 127-134.
14. Усольцев В.Л. О полиномиально полных и абелевых унарах с мальцевской операцией // Учен. зап. Орловского гос. ун-та. 2012. Т. 6(50), ч. 2. С.229-236.
REFERENCES
1. Szendrei A. Simple surjective algebras having no proper subalgebras. // J. Austral. Math. Soc. Ser A, 1990. №. 48. P. 329-346.
2. Szendrei A. A survey on strictly simple algebras and minimal varieties. //Univ. Algebra and Quasigroup Theory. Research and Exposition in Math., 1992, Vol. 19. P. 209-239.
3. Kearnes K.A., Szendrei A. A characterization of minimal locally finite varieties. // Trans. Amer. Math. Soc., 1997. Vol. 349, № 5. P. 1749-1768.
4. Kearnes K.A., Szendrei A. Projectivity and isomorphism of strictly simple algebras. // Algebra Universalis, 1998. Vol. 39. P.45-56.
5. Bulatov A., Krokhin A., Jeavons P. Classifying the Complexity of Constraints using Finite Algebras. // SIAM J. Comput., 2005, Vol. 34, № 3. P.720-752.
6. McKenzie R., Freese R. Commutator theory for congruence modular varieties. // London Math. Soc. Lecture Notes Ser., 1987. Vol. 125, 227 p.
6. Valeriot M. Finite simple Abelian algebras are strictly simple. //Proc. of the Amer. Math. Soc., 1990. № 108. P.49-57.
7. Artamonov V. A. Polinomial’no polnye algebry [Polynomially complete algebras]. // Uch. zap. Orlovskogo gos. un-ta, 2012. Vol. 6(50), part 2. P. 23-29 (in Russian).
8. Maroti M., McKenzie R. Existence theorems for weakly symmetric operations. // Algebra Universalis, 2008. Vol. 59, |No. 3-4. P. 463-489.
9. Markovic P., McKenzie R. Few subpowers, congruence distributivity and nearunanimity terms. Algebra Universalis, 2008. Vol. 58. P. 119-128.
10. Usol’tsev V.L. Simple and pseudosimple algebras with operators. //J. of Mathematical Sciences [Fund. i Prikl. Matem.], 2010. Vol. 164, |No. 2. P. 281-293. DOI: 10.1007/S1095800997306.
11. Kartashov V. K. Ob unarakh s mal’tsevskoi operatsiei [About unars with Mal’tsev operation]. // Univ. algebra i ee prilozheniia: Tez. dokl. mezhdunar. sem. Volgograd, 1999. P. 31-32 (in Russian).
12. Usol’tsev V. L. Svobodnye algebry mnogoobraziia unarov s mal’tsevskoi opera-tsiei p, zadannogo tozhdestvom p(x,y,x) = y [Free algebras of variety of unars with Mal’tsev operation, set by identity p(x,y,x) = y]. // Chebyshevsky sb., 2011. Vol. 12, № 2(38). P. 127-134 (in Russian).
13. Usol’tsev V. L. O polinomial’no polnykh i abelevykh unarakh s mal’tsevskoi operatsiei [About polynomially complete and Abelian unars with Mal’tsev operation]. // Uch. zap. Orlovskogo gos. un-ta, 2012. Vol. 6(50), part 2. P. 229236 (in Russian).
Волгоградский государственный социально-педагогический университет. Поступило 14.09.2013
