О гамильтоновом замыкании на классе алгебр с одним оператором

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

Том 16. Выпуск 4.

УДК 512.579

О ГАМИЛЬТОНОВОМ ЗАМЫКАНИИ НА КЛАССЕ АЛГЕБР С ОДНИМ ОПЕРАТОРОМ

В. Л. Усольцев

Аннотация

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

Универсальная алгебра A называется гамильтоновой, если носитель любой ее подалгебры является классом некоторой конгруэнции алгебры A. А. Г. Пинус определил понятие гамильтонова замыкания на произвольной универсальной алгебре. А именно, гамильтоновым замыканием B подалгебры B универсальной алгебры A называется наименьшая подалгебра алгебры A, включающая в себя B и являющаяся классом некоторой конгруэнции алгебры A. Подалгебра B универсальной алгебры A называется гамильтоново замкнутой, если B = B. Оовокупность всех гамильтоново замкнутых подалгебр алгебры A, пополненная пустым множеством, образует решетку относительно включения. Универсальная алгебра A называется гамильтоново простой, если гамильтоново замыкание любой ее неодноэлементной непустой подалгебры совпадает с A.

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

Найдены необходимые и достаточные условия гамильтоновой простоты для унаров с мальцевской операцией, определенной В. К. Карташовым.

О ГАМИЛЬТОНОВОМ ЗАМЫКАНИИ НА КЛАССЕ ...

285

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

Ключевые слова: гамильтоново замыкание подалгебры, гамильтоново простая алгебра, решетка гамильтоново замкнутых подалгебр, алгебра с операторами, мальцевская операция

Библиография: 22 названия.

ON HAMILTONIAN CLOSURE ON CLASS OF ALGEBRAS WITH ONE OPERATOR

V. L. Usol’tsev

Abstract

In this article we study Hamiltonian simple algebras and lattices of Hamiltonian closed subalgebras in class of algebras with one operator. Obtained for algebras with arbitrary basic signature results are used for the description of Hamiltonian simple algebras and lattices of Hamiltonian closed subalgebras from class of unars with Mal'tsev operation that by V. K. Kartashov were defined. Unar with Mal’tsev operation is an algebra with one Mal’tsev operation p(x, y, z) and one unary operation acting as endomorphism with respect to operation p(x, y, z).

Universal algebra A is called Hamiltonian if every subuniverse of A is a block of some congruence of the algebra A. A. G. Pinus defined a Hamiltonian closure on an arbitrary universal algebra. Precisely, the Hamiltonian closure B of a subalgebra B of a universal algebra A is the smallest subalgebra of algebra A containing B that coincides with some block of some congruence on algebra A. Subalgebra B of universal algebra A is called Hamiltonian closed if B = B. Set of all Hamiltonian closed subalgebras of algebra A with added empty set is lattice with respect to inclusion. A universal algebra A is called a Hamiltonian simple algebra if B = A for each non-empty and non-one-element subalgebra B of A.

We found necessary conditions of Hamiltonian simplicity for arbitrary algebras with one operator and idempotent basic operations of positive arity. For these algebras families of their subalgebras forming chains with respect to inclusion in their lattices of Hamiltonian closed subalgebras are constructed. We also found necessary conditions of Hamiltonian simplicity for arbitrary algebras with one operator and with connected unary reduct. It is showed these conditions are not sufficient. For arbitrary algebras with one operator and idempotent basic operations necessary conditions of their lattice of Hamiltonian closed subalgebras is chain are obtained.

286

В. Л. УСОЛЬЦЕВ

We found necessary and sufficient conditions of Hamiltonian simplicity for unars with Mal’tsev operation that by V. K. Kartashov were defined. The structure of lattices of Hamiltonian closed subalgebras for algebras from this class is described. For these lattices necessary and sufficient conditions of their distributivity and modularity are obtained. We also found necessary and sufficient conditions when a lattice of Hamiltonian closed subalgebras of algebras from given class is a chain. The structure of atoms and coatoms of such lattices is described.

Keywords: Hamiltonian closure of a subalgebra, Hamiltonian simple algebra, lattices of Hamiltonian closed subalgebras, algebra with operators, Mal’tsev operation

Bibliography: 22 titles.

1. Введение

В работе [1] А. Г. Пинус вводит понятие гамильтонова замыкания на универсальных алгебрах — некоторой операции замыкания на решетке SubA подалгебр алгебры A, связанной со свойством гамильтоновости.

Свойство гамильтоновости для универсальных алгебр было введено в рассмотрение Б. Чакань [2] и К. Шода [3], как естественное обобщение понятия гамильтоновой группы.

Универсальная алгебра A называется гамильтоновой, если носитель любой ее подалгебры является классом некоторой конгруэнции алгебры A. Многообразие алгебр называется гамильтоновым, если любая его алгебра гамильтонова. Гамильтоновыми являются, в частности, абелевы группы, модули, унарные алгебры.

Гамильтоновы алгебры и многообразия изучались в ряде работ (см., например, [4] - [7]). В [4] показано, что если декартов квадрат алгебры гамильтонов, то сама алгебра абелева. В той же работе доказано, что из гамильтоновости многообразия следует его абелевость, а для локально конечных многообразий свойства абелевости и гамильтоновости эквивалентны. В [5] гамильтоновы многообразия характеризуются с помощью строгих мальцевских условий. Е. В. Киш [6] охарактеризовал гамильтоновы алгебры в терминах полиномиальных функций. В [7] описаны гамильтоновы алгебры в классах абелевых полугрупп, конечных и абелевых группоидов с единицей, а также доказано, что любая конечная абелева квазигруппа является гамильтоновой.

Заметим, что, помимо гамильтоновости, изучается и ряд других свойств, связывающих конгруэнц-классы и подалгебры универсальных алгебр. Обзор таких свойств можно найти в [8].

Гамильтоновым замыканием [1] B подалгебры B универсальной алгебры A называется наименьшая подалгебра алгебры A, включающая в себя B и являющаяся классом некоторой конгруэнции алгебры A.

О ГАМИЛЬТОНОВОМ ЗАМЫКАНИИ НА КЛАССЕ ...

287

Подалгебра B универсальной алгебры A называется гамильтоново замкнутой [1], если B = B. Таким образом, все подалгебры гамильтоновой алгебры гамильтоново замкнуты. Заметим, что подалгебры с таким свойством рассматривались в работе [9] и были названы нормальными.

Совокупность всех гамильтоново замкнутых подалгебр алгебры A обозначается через SubuA. Чтобы обеспечить возможность рассматривать ее как решетку относительно теоретико-множественного включения, в [1] решетка ConA конгруэнций алгебры A формально пополняется пустым отношением. Оно рассматривается как конгруэнция с единственным конгруэнц-классом: пустым множеством. Тогда пустая подалгебра алгебры A (в случае ее вхождения в SubA) гамильтоново замкнута, и является нулем решетки SubuA. Далее везде будем считать пустое множество подалгеброй.

В [1] также вводится в рассмотрение свойство, в некотором смысле противоположное гамильтоновости — гамильтонова простота.

Универсальная алгебра A называется гамильтоново простой, если гамильтоново замыкание любой ее неодноэлементной (непустой) подалгебры совпадает с A. Гамильтоново простыми (но не простыми) являются, например, любые недвухэлементные булевы алгебры.

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

В. К. Карташовым в [18].

Алгеброй с операторами (см. [10], §13) называется универсальная алгебра с дополнительной системой операторов — унарных операций, действующих как эндоморфизмы относительно основных операций. Другими словами, операторы перестановочны с любой основной операцией.

Алгебры с операторами естественным образом связаны с другим классом универсальных алгебр — унарами, то есть, алгебрами с одной унарной операцией (см., напр., [11] - [13]). Если f — унарная операция из сигнатуры П, то унар (A, f) называется унарным редуктом алгебры (A, П). Мы используем аппарат теории унаров для изучения алгебр с операторами в терминах их унарных редуктов.

Мальцевской операцией называется тернарная операция d(x,y,z), удовлетворяющая тождествам Мальцева

d

Алгебрам с мальцевской операцией (как сигнатурной, так и термальной) уделяется значительное внимание в современной универсальной алгебре и ее приложениях (см., например, [15], [16]).

Мальцевская операция d(x,y, z) называется функцией Пиксли, если она удовлетворяет тождествам Пиксли d(y,y,x) = d(x,y,y) = d(x,y,x) = x [17].

288

В. Л. УСОЛЬЦЕВ

Унаром с мальцевской операцией [18] называется алгебра (A,d,f) с унарной операцией f и тернарной операцией d, на которой выполняются тождества Мальцева (1) и тождество перестановочности f (d(x,y,z)) = d(f (x),f (y),f (z)).

В [18] показано, что на любом унаре (A, f) можно так задать тернарную операцию p, что алгебра (A,p, f) становится унаром с мальцевской операцией. Эта операция определяется следующим образом. Пусть (A, f) — произвольный унар и x,y Е A. Для любого элемента z Е A через fn(z) обозначается результат n-кратного применения операции f к элементу z; f 0(z) = z.

Положим

Mxy = {n Е N U{0}| fn(x) = fn(y)},

а также k(x,y) = min Mxy, если Mxy = 0, и k(x,y) = то, если Mxy = 0.

Положим далее

p(x, y, z

z,

x,

если k(x,y) ^ k(y,z) если k(x,y) > k(y,z).

Простые и псевдопростые алгебры (A, p, f) из класса, введеного в рассмотрение в [18], были полностью описаны в [21]. В [14] было получено полное описание строго простых алгебр, в [22] — полиномиально полных, а в [19] — гамильтоновых алгебр данного класса.

2. Основные определения и конструкции

Через SubA обозначается решетка подалгебр алгебры A, через ConA — решетка ее конгруэнций. Класс конгруэнции в, порожденный элементом x, обозначается через [x]в. Алгебра называется простой, если она имеет в точности две конгруэнции (единичную V и нулевую Д). Через N обозначается множество натуральных чисел.

Через N5 и M3 обозначаются решетки, называемые Пентагоном и диамантом соответственно (см. [20, с. 87]).

Пусть (A, f) — произвольный унар. Для любых чисел n > 0, m ^ 0 положим

Cm = (alfn(a) = fn+m(a)).

Унар СП называется циклом длины п. Элемент а унара называется циклическим, если подунар, порожденный этим элементом, является циклом.

Элемент a унара называется периодическим, если ft(a) = ff+n(a) для некоторых t ^ 0 и n ^ 1, и непериодическим, в противном случае. Через T(A) и D(A) обозначаются, соответственно, множества периодических и непериодических элементов унара A. Унар (A, f) называется периодическим, если A = T(A), и унаром без кручения, если A = D(A). Если a — периодический элемент, то наименьшее из чисел t, для которых f t(a) = f t+n(a) при некоторых n ^ 1, называется глубиной элемента a и обозначается через t(a). Глубиной t(A) унара A

О ГАМИЛЬТОНОВОМ ЗАМЫКАНИИ НА КЛАССЕ ...

289

называется наибольшая из глубин его периодических элементов, если T(A) = 0. Если множество {t(a) | a £ T(A)} не ограничено, то говорят, что унар имеет бесконечную глубину.

Объединение двух непересекающихся унаров B и C называется их суммой и обозначается через B + C. Унар (A, f) называется связным, если для любых x,y £ A выполняется условие fn(x) = fm(y) при некоторых n,m ^ 0. Максимальный по включению связный подунар унара A называется компонентой связности унара A. Через F\ обозначается свободный однопорожденный унар.

Элемент а унара (A, f) называется неподвижным, если f (a) = а. Связный унар с неподвижным элементом называется корнем.

Пусть (A, f) является корнем. Тогда через Dm обозначается его подунар, состоящий из всех элементов с глубиной, не превосходящей m. Если t(A) конечна, то 0 ^ m ^ t(A); в противном случае, 0 ^ m < t(A).

Пусть n £ N. Через an обозначается конгруэнция алгебры (A, П) с оператором f £ П, определенная как Kerfn. Определение корректно, так как операция f является эндоморфизмом алгебры (A, П). Положим также а0 = А.

В [21] на унаре (A, f) определено бинарное отношение а:

xay ^3n> 0 (fn(x) = fn(y)),

и показано, что оно является конгруэнцией любой алгебры (A, П) с оператором

f £ П.

Пусть B — подунар произвольного унара (A, f). Через 9B обозначается конгруэнция унара (A, f), определенная по правилу [13]: условие x9BУ для x,y £ A выполняется тогда и только тогда, когда либо x = y, либо x, y £ B.

3. Алгебры с одним оператором

Лемма 1. Пусть (A, П) — произвольная алгебра с оператором f £ П; унарный редукт (A, f) которой является связным унаром с неподвижным элементом. Тогда алгебра (A, П) может иметь не более одной нульарной операции.

Доказательство. Пусть a,b £ П — различные нульарные операции алгебры (A, П). Так как оператор f является эндоморфизмом относительно основных операций, то f (a) = a и f (b) = b, что противоречит связности унара (A, f).

Предложение 1. Пусть (A, П) — произвольная алгебра с оператором f £ П; унарный редукт (A, f) которой является связным унар)ом с неподвижным элементом. Тогда для всех m < t(A) подунар Dm унара (A, f) является гамильтоново замкнутой подалгеброй алгебры (A, П).

Доказательство. Пусть 0 ^ m < t(A), n > 0, x\,... ,xn £ Dm, ф £ П — основная n-арная операция алгебры A, a — неподвижный элемент унара (A, f). Обозначим элемент p(x\,... ,xn) через v. Тогда fm(v) = fm(p(x\,... ,xn)) =

290

В. Л. УСОЛЬЦЕВ

<p(fm (xi), , fm(xn)). Поскольку xi,... ,Xn Е Dm, то t(xi) ^ m, , t(xn) ^ m. Отсюда, f m(x1) = ... = fm(xn) = a. Тогда f m(v) = ф(а,а,... ,a). В то же время, элемент ф(а, а,... ,а) совпадает с неподвижным элементом а, поскольку f (ф(а, а,...,а)) = p(f (a),f (а),..., f (а)) = ф(а, а,...,а). Отсюда f m(v) = а и, значит, t(v) ^ m, то есть, v Е Dm.

Пусть e Е П — нульарная операция алгебры (A, П). Тогда f (e) = e, то есть, e = а Е Dm. При этом, по лемме 1, алгебра (A, П) не имеет нульарных операций, отличных от e.

Таким образом, Dm — подалгебра алгебры (A, П).

Докажем, что Dm = [a]om. Пусть x Е Dm. Тогда t(x) ^ m. Отсюда, f m(x) =

а = f m(a), что влечет xoma и x Е [a]om. Пусть теперь x Е [a]om. Тогда fm(x) = f m(a) = а, откуда t(x) ^ m и x Е Dm. Таким образом, Dm = Dm.

Следствие 1. Пусть (A, П) — произвольная алгебра с оператором f Е П; унарный редукт (A, f) которой является связным унаром с неподвижным элементом. Если алгебра (A, П) является гамильтоново простой, то t(A) ^ 1.

Доказательство. Пусть t(A) > 1. По предложению 1, D1 — гамильтоново замкнутая подалгебра алгебры (A, П). Так как t(A) > 1, то D1 — неодноэлементная собственная подалгебра в (A, П).

Замечание 1. Необходимое условие гамильтоновой простоты алгебры (A, П), приведенное в следствии 1, не является достаточным.

Доказательство. Рассмотрим алгебру (A, d, f) с тернарной операцией d и оператором f, заданными следующим образом: A = {а, b, c}, f (а) = а, f (b) = а, f (c) = а, d(а, b, c) = d(c, b, а) = а, d(а, c, b) = d(b, а, c) = d(b, c, а) = d(c, а,Ь) = b и

d(x, y, y) = d(y, y, x) = d(x, y,x) = x для любых x, y, Е A.

Из определений операций d и f следует, что для унара (A, f) выполняется условие t(A) ^ 1, а подмножество {а,c} множества A является подалгеброй алгебры (A,d,f). Непосредственная проверка показывает, что отношение 0{a,cj на унаре (A, f) является конгруэнцией на (A, d, f), имеющей класс {а, c}. Таким образом, (A, П) не является гамильтоново простой.

Предложение 2. Пусть произвольная алгебра (A, П) с оператором f Е П имеет иде.мпот,ент,ные основные операции только положительной арности и несвязный унарный редукт (A, f), содержащий компоненту связности B, имеющую неподвижный элемент. Тогда компонента B и любой ее подунар вида Dm, где 0 ^ m < t(B), являются гамильтоново замкнутыми подалгебрами алгебры (A, П).

Доказательство. В случае, когда B одноэлементна, утверждение очевидно, поэтому далее считаем, что \B\ > 1. Докажем, что B — подалгебра алгебры (A, П).

Так как B — компонента связности, то множество B замкнуто относительно операции f. Пусть n > 0, x1,...,xn Е B и ф Е П — основная n-арная

О ГАМИЛЬТОНОВОМ ЗАМЫКАНИИ НА КЛАССЕ ...

291

операция алгебры A. Так как (B,f) — корень, то он содержит неподвижный элемент а. Обозначим через m наибольшую из глубин элементов x1,...,xn. Тогда fm(x1) = ... = fm(xn) = а. С учетом идемпотентности операции ф, имеем f m^(xi,... ,xn)) = <p(f m(xi),..., fm(x,n)) = ф(а,а,...,а) = а. Тогда %(xb .. .,x,n)) ^ m, откуда ф^1, ...,xn) G B.

Покажем теперь, что множество B является классом конгруэнции a G G Con(A, П). Пусть x G B. Обозначим t(x) через n. Отсюда, fn(x) = а = fn(а), что влечет xaa, откуда B С [а]а. Пусть теперь x G [а]а. Тогда fn(x) = fn(a) для некоторого п ^ 0. Учитывая, что fn(a) = а, получаем fn(x) = а, откуда x G B. Окончательно, B = [а]а. Тогда B = B.

Для подунаров унара (B,f), имеющих вид Dm, где 0 ^ m < t(B), рассуждения аналогичны доказательству предложения 1, за исключением того, что ф(а, а,..., а) = а следует из идемпотентности операции ф.

Следствие 2. Если произвольная алгебра (A, П) с оператором f G П, имеющая идемпотентные основные операции только положительной арности и несвязный унарный редукт (A, f), является гамильтоново простой, то унар (A, f) не содержит неодноэлементных компонент связности, имеющих неподвижный элемент.

Замечание 2. Необходимое условие гамильтоновой простоты алгебры (A, П), приведенное в следствии 2, не является достаточным.

Доказательство. Рассмотрим алгебру (A, d, f) с тернарной операцией d и оператором f, заданными следующим образом: A = {а, b, c}, f (а) = а, f (b) = b, f (c) = c, d(а, b, c) = d(c, b, а) = а, d(а, c, b) = d(b, а, c) = d(b, c, а) = d(c, а,Ь) = b и d(x, y, y) = d(y, y, x) = d(x, y,x) = x для любых x, y, G A.

Из определений операций d и f следует, что унар (A, f) несвязен, операция d идемпотентна, а подмножество {a,c} множества A является подалгеброй алгебры (A, d, f). Непосредственная проверка показывает, что отношение 0{a,cj на унаре (A, f) является конгруэнцией на (A,d,f), имеющей класс {ащ}. Таким образом, (A, П) не является гамильтоново простой.

Предложение 3. Пусть (A, П) — произвольная алгебра с оператором f G П и идемпотентными основными операциями. Если решетка SubH (A, П) является цепью, то унарный редукт (A, f) алгебры (A, П) содержит не более одного одноэлементного подунара.

Доказательство. Пусть унар (A, f) содержит одноэлементные подунары B и C. Так как основные операции алгебры (A, П) идемпотентны, то B и C являются ее подалгебрами, причем, очевидно, гамильтоново замкнутыми. При этом, B и C не сравнимы в Subu(A, П).

292

В. Л. УСОЛЬЦЕВ

4. Унары с мальцевской операцией

Далее везде через (A,p, f) будем обозначать алгебру с оператором f и мальцевской операцией p(x,y,z), определенной по правилу (2). Заметим, что в силу (2), любой подунар унарного редукта (A, f) этой алгебры является ее подалгеброй. Пустое множество также будем считать подалгеброй в (A,p, f). Через Subu A обозначается решетка гамильтоново замкнутых подалгебр алгебры (A,P, f).

Лемма 2. Пусть 9 Е Con(A,p, f), 9 = ▽, a,b Е A. Тогда из условия a9b следует,, что k(a,b) < ж.

ДОКАЗАТЕЛЬСТВО. Пусть k(a, b) = то. Предположим, что a9b. Так как 9 = ▽ , то найдется элемент c Е [b]9. Поскольку k(c,a) ^ то = k(a,b), то из (2) имеем p(c, a, b) = b. С другой стороны, p(c, a, a) = c и, следовательно, b9c, что противоречит выбору элемента c.

Лемма 3. Пусть унарный редукт (A, f) алгебры (A,p,f) несвязен, 9 Е Con(A,p, f) и 9 = ▽. Тогда любой класс конгруэнции 9 содержится в некоторой компоненте связности унара (A, f).

ДОКАЗАТЕЛЬСТВО. Пусть K — произвольный класс конгруэнции 9. Обозначим его порождающий элемент через b. Поскольку b Е A, то b Е B для некоторой компоненты связности B унара (A, f). Если класс K одноэлементен, то утверждение леммы очевидно.

Пусть K неодноэлементен. Тогда он содержит такой элемент a Е A, что a = b. Предположим, что a / B. Тогда a содержится в компоненте связности, отличной от B. Последнее влечет k(a,b) = то. По лемме 2, имеем (a,b) Е 9, что противоречит условию a,b Е K.

СЛЕДСТВИЕ 3. Пусть унарный редукт (A, f) алгебры (A,p,f) несвязен. Тогда гамильтоново замыкание любой подалгебры B алгебры (A,p,f), унарный редукт (B, f) которой также несвязен, совпадает с A.

Лемма 4. Пусть (A, f) — связный унар, имеющий неодноэлементтый подунар C, на котором операция f инъективна, причем C содержится в любом подунаре унара (A, f). Тогда алгебра (A,p,f) является гамильтоново простой.

ДОКАЗАТЕЛЬСТВО. Если подунар C — несобственный, то операция f инъективна на A. По теореме 2 [21], алгебра (A,p, f) является простой, а, следовательно, и гамильтоново простой.

Пусть теперь подунар C — собственный. Предположим, что алгебра (A,p, f) не является гамильтоново простой. Тогда для некоторой неодноэлементной подалгебры B алгебры (A,p,f) имеем B = A. Очевидно, унарный редукт (B,f) подалгебры B является подунаром унара (A, f). По условию, C Е B и, следовательно, C Е B. Так как подунар C неодноэлементен, то найдутся несовпадающие элементы a,b Е C Е B. Обозначим через 9 конгруэнцию алгебры

О ГАМИЛЬТОНОВОМ ЗАМЫКАНИИ НА КЛАССЕ ...

293

(A,p, f), для которой B является конгруэнц-классом. Тогда авЬ. В то же время, поскольку B = A, то в = у. Отсюда, (c, Ь) Е в для некоторого элемента c Е A. Поскольку элементы а и Ь различны и операция f инъективна, то k(a, Ь) = то, откуда p(c, а, Ь) = Ь. С другой стороны, p(c, а, а) = c и, следовательно, Ьвс, что противоречит выбору элемента c.

Лемма 5. Пусть (A, f) — несвязный унар, не содержащий неодноэлементных компонент связности, имеющих неподвижные э.ле.мент,ы. Тогда алгебра (A,p,f) является гамильтоново простой.

Доказательство. Пусть унар (A, f) удовлетворяет условиям леммы. Предположим, что алгебра (A, p, f) не является гамильтоново простой. Тогда для некоторой неодноэлементной подалгебры B алгебры (A,p, f) имеем B = A. Так как B является классом некоторой конгруэнции в Е Con(A,p,f), то из B = A следует, что в = у.

По лемме 3, B содержится в некоторой компоненте связности D унара (A, f). Так как B неодноэлементна, то и D является неодноэлементной. Поскольку D связна, то она является либо унаром без кручения, либо периодическим унаром.

В первом случае D имеет такой подунар C = F\, что любой подунар унара (D,f) содержит C, а значит, C С B С B. При этом, C неодноэлементен и операция f на нем инъективна.

Во втором случае D содержит такой подунар C, изоморфный C°n для некоторого n Е N, что любой подунар унара (D, f) содержит C, а значит, снова имеем C С B С B. По условию леммы, n > 1, то есть C неодноэлементен. Кроме того, операция f на C инъективна.

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

Теорема 1. Алгебра (A,p,f) с оператором f, где p — операция, определенная по правилу (2), является гамильтоново простой тогда и только тогда, когда выполнено одно из условий:

(1) (A, f) — связный унар без кручения;

(2) (A, f) изоморфен C0;

(3) (A, f) — связный унар, содержащий подунар, изоморфный C0 для некоторого n > 1;

(4) (A, f) содержит такой элемент а, что f (x) = а для любого x Е A;

(5) (A, f) — несвязный унар, не имеющий неодноэлементных компонент связности, содержащих неподвижный элемент.

Доказательство. Необходимость. Пусть (A, f) — связный унар, не удовлетворяющий условиям (1)-(4) теоремы. Тогда (A, f) периодичен, неодноэлементен, содержит подунар, изоморфный C0, и такой элемент Ь Е A, что t(b) > 1. Последнее означает, что t(A) > 1. По следствию 1 из предложения 1, алгебра (A, p, f) не является гамильтоново простой.

294

В. Л. УСОЛЬЦЕВ

Пусть теперь унар (A, f) несвязен и содержит неодноэлементную компоненту связности, имеющую неподвижный элемент. Из определения (2) следует, что операция p идемпотентна. Тогда алгебра (A,p, f) удовлетворяет условиям следствия 2 из предложения 2 и, следовательно, снова не является гамильтоново простой.

Достаточность. Пусть унар (A, f) — связный. Если (A, f) = С0, то алгебра (A,p,f) одноэлементна, и утверждение теоремы очевидно.

Если (A, f) содержит такой элемент а, что f (x) = а для любого x Е A, то по теореме 2 [21], алгебра (A,p,f) является простой, а, следовательно, и гамильтоново простой.

В случаях, когда (A, f) либо является унаром без кручения, либо содержит подунар, изоморфный СП для некоторого n > 1, алгебра (A,p, f) удовлетворяет условиям леммы 4. Действительно, если (A, f) — унар без кручения, то любой его подунар содержит подунар, изоморфный Fi, то есть, неодноэлементный подунар с инъективной операцией. Если же (A, f) имеет подунар, изоморфный С0 для некоторого n > 1, то этот подунар также неодноэлементен, операция f на нем инъективна, и он содержится в любом подунаре унара (A, f). По лемме 4, алгебра (A, p, f) гамильтоново проста.

Если унар (A, f) несвязен, то утверждение теоремы следует из леммы 5.

Лемма 6. Пусть унарный редукт (A, f) алгебры (A,p,f) не содержит одноэлементных подунаров. Тогда решетка БпЬнA является двухэлементной цепью {$, A}.

Доказательство. Если унар (A, f) связен, то, учитывая условия леммы, он либо является унаром без кручения, либо содержит подунар С0 для некоторого n > 1 . По лемме 4, в этих случаях гамильтоново замыкание любой непустой подалгебры алгебры (A,p,f) совпадает с A. Отсюда, поскольку пустая подалгебра гамильтоново замкнута, то БиЬнA — двухэлементная цепь.

Если унар (A, f) несвязен, то, с учетом отсутствия в (A, f) одноэлементных подунаров, утверждение следует из леммы 5.

Лемма 7. Пусть унарный редукт (A, f) алгебры (A,p,f) является связным унаром с одноэлементным подунаром. Нетривиальными гамильтоново замкнутыми подалгебрами в (A,p,f) являются подалгебры вида Dm, где 0 ^ m < t(A), и только они.

Доказательство. Пусть B — произвольная непустая подалгебра алгебры (A,p, f). Тогда (B, f) — подунар унара (A, f).

В случае, когда t(A) = 0, утверждение леммы очевидно. Рассмотрим случай, когда t(A) конечна и не равна нулю. В силу конечности t(A), множество глубин элементов в любой системе порождающих подунара (B, f) ограничено сверху, а значит, имеет наибольший элемент. Докажем, что наибольшая глубина элементов во всех системах порождающих (B, f) одинакова.

О ГАМИЛЬТОНОВОМ ЗАМЫКАНИИ НА КЛАССЕ ...

295

Пусть S\, S2 — системы порождающих {B, f). Обозначим через n и m наибольшие из глубин элементов, входящих в Si и S2 соответственно. Предположим, что n = m, и без ограничения общности положим m > n. Пусть b £ S2 — элемент глубины m. Так как S1 — система порождающих, то b = fd(c) для некоторых c £ S1 и d ^ 0. Отсюда, поскольку t(c) ^ n, то и t(b) ^ n, что противоречит условию m > n.

Таким образом, во всех системах порождающих подунара {B, f) наибольшая глубина элементов совпадает. Обозначим ее через m и докажем, что гамильтоново замыкание подалгебры B алгебры {A,p, f) совпадает с Dm. При m = 0 это очевидно, поэтому далее считаем, что m > 0.

По предложению 1, если m < t(A), то Dm — подалгебра алгебры {A,p,f), являющаяся классом некоторой ее конгруэнции. Это же утверждение верно и при m = t(A) , так как тогда Dm = A. Кроме того, из определения Dm следует, что B С Dm. По определению гамильтонова замыкания, B С Dm.

Пусть x £ Dm, то есть, t(x) ^ m. По условию, найдется элемент b £ B, для которого t(b) = m. Из определения гамильтонова замыкания следует, что b £ B, f (b) £ B и b9f (b) для некоторой 9 £ Con{A,p, f). Поскольку m > 0, то b = f (b), откуда t(f (b)) < t(b). По лемме 10 [21], k(b, f (b)) = t(b) = m.

Если t(x) < m = t(b), то k(x,b) = t(b). По определению (2), p(x,b,f (b)) =

f (b). Если же t(x) = m = t(b), то, по лемме 10 [21], k(x, b) ^ t(b). Отсюда, снова имеем p(x, b, f (b)) = f (b). Тогда f (b) = p(x, b, f (b))9p(x, b, b) = x, а, следовательно, x9b, откуда x £ B. Отсюда, Dm С B и, окончательно, B = Dm.

Пусть теперь t(A) бесконечна. Рассуждая, как в случае ее конечности, получаем, что либо во всех системах порождающих подунара {B, f) множество глубин их элементов не ограничено, либо все его системы порождающих имеют одну и ту же наибольшую глубину элементов m. Во втором случае, аналогично доказанному выше, B = Dm.

Пусть множество глубин элементов в некоторой системе порождающих по-дунара {B,f) не ограничено. Предположим, что B = A. Тогда существуют такой элемент c £ A, что c £ B, и такая конгруэнция 9 £ ConA, что 9 = ▽ и B — конгруэнц-класс 9. По условию, найдется также такой элемент b £ B, что t(b) > t(c). Из последнего, по лемме 10 [21], получаем k(c,b) = t(b). Кроме того, f (b) £ B, так как B — подунар в {A, f). Поскольку t(b) > t(c), то t(b) > 0, откуда b = f (b) и t(f (b)) < t(b). Тогда, снова по лемме 10 [21], k(b, f (b)) = t(b). Отсюда, p(c,b,f (b)) = f (b). Учитывая, что p(c,b,b) = c, получаем f (b)9c, что противоречит условию c £ B. Отсюда, B = A.

Таким образом, с учетом предложения 1, нетривиальными гамильтоново замкнутыми подалгебрами в {A,p, f) являются подалгебры вида Dm, где 0 ^ m < t(A), и только они.

Следствие 4. Пусть унарный редукт {A, f) алгебры {A,p,f) является связным унаром с одноэлементным подунаром. Если t(A) конечна, то решетка SubnA является цепью длины t(A) + 1. Если же t(A) бесконечна, то ре-

296

В. Л. УСОЛЬЦЕВ

шетка БпЬнA изоморфна частично упорядоченному множеству (N U {0}, ^) с присоединенной внешней единицей.

Лемма 8. Пусть унарный редукт (A, f) алгебры (A,p, f) несвязен и содержит хотя бы один одноэлементный подунар. Тогда решетка БпЬнA изоморфна кардинальной сумме цепей, пополненной внешними нулем и единицей, где слагаемым суммы взаимно однозначно соответствуют компоненты связности унара (A, f), содержащие одноэлементный подунар. Для каждой компоненты связности B c одноэлементным подунаром, соответствующее ей слагаемое кардинальной суммы либо является цепью длины t(B) (в случае, если t(B) конечна), либо изоморфно цепи (N U {0}, ^) с присоединенной внешней единицей (если t(B) бесконечна).

Доказательство. По следствию 3 из леммы 3, гамильтоновы замыкания всех подалгебр алгебры (A,p,f), имеющих несвязный унарный редукт, совпадают с A. Таким образом, далее достаточно рассмотреть подалгебры, унарные редукты которых содержатся в компонентах связности унара (A, f).

Пусть B — подалгебра алгебры (A,p,f), унарный редукт (B,f) которой лежит в некоторой компоненте связности E унара (A, f).

В случае, если E не содержит одноэлементный подунар, она имеет подунар О, изоморфный либо F\, либо ОЩ для некоторого n > 1, то есть, неодноэлементный подунар с инъективной операцией. При этом, C С B. Рассуждая по аналогии с доказательством леммы 4, получаем, что B = A.

Пусть теперь E имеет одноэлементный подунар. Если t(E) = n < то, то, как и в лемме 7, получаем, что B = Di для некоторого 0 ^ i ^ n. Отсюда, гамильтоновы замыкания всех непустых подалгебр, содержащихся в E, образуют в решетке БпЬнA цепь длины n.

Если же t(E) = то, то также по аналогии с леммой 7, получаем, что гамильтоновы замыкания всех непустых подалгебр, содержащихся в E, образуют в решетке БпЬнA цепь, изоморфную (N U {0}, ^), пополненную наибольшим элементом E (так как, по предложению 2, E является гамильтоново замкнутой подалгеброй в (A, p, f)).

Поскольку компоненты связности унара не пересекаются, то совокупность всех нетривиальных гамильтоново замкнутых подалгебр алгебры (A, p, f) изоморфна кардинальной сумме цепей, откуда следует утверждение леммы.

Из лемм 6, 8 и следствия 4 вытекает

Теорема 2. Справедливы следующие утверждения:

(1) Если унарный редукт (A, f) алгебры (A,p, f) не содержит одноэлементных подунаров, то решетка БпЬнA является двухэлементной цепью {%,A}.

(2) Пусть унарный редукт (A, f) алгебры (A,p, f) является связным унаром с одноэлементным подунаром. Если t(A) конечна, то решетка БпЬнA является цепью длины t(A) + 1. Если же t(A) бесконечна, то решетка БпЬнA изоморфна частично упорядоченному множеству (N U {0}, ^) с присоединенной внешней единицей.

О ГАМИЛЬТОНОВОМ ЗАМЫКАНИИ НА КЛАССЕ ...

297

(3) Если унарный редукт (A, f) алгебры (A,p, f) несвязен и содержит хотя бы один одноэлементный подунар, то решетка БпЬнA изоморфна кардинальной сумме цепей, пополненной внешними нулем и единицей, где слагаемым суммы взаимно однозначно соответствуют компоненты связности унара (A, f), содержащие одноэлементный подунар. Для каждой компоненты связности B c одноэлементным подунаром, соответствующее ей слагаемое кардинальной суммы либо является цепью длины t(B) (в случае, если t(B) конечна), либо изоморфно цепи (N U {0}, ^) с присоединенной внешней единицей (если t(B) бесконечна).

Следствие 5. Атомами решетки SnbHA являются либо одноэлементные подалгебры алгебры (A,p,f), либо, в случае их отсутствия, сама алгебра A. Других атомов в SnbHA нет.

Следствие 6. Если унарный редукт (A, f) алгебры (A,p,f) не содержит одноэлементных подунаров, то единственным коатомом решетки SnbHA является пустая подалгебра. В противном случае, если (A, f) связный, то решетка SnbHA имеет единственный коатом Dt(A)-l только при условии t(A) < ж; при t(A) = ж коатомов в SnbnA нет. Если же (A, f) несвязен, то коатомами SnbHA являются его компоненты связности, содержащие одноэлементные подунары, и только они.

Следствия 5 и 6 вытекают непосредственно из теоремы 2.

Следствие 7. Решетка SnbHA является цепью тогда и только тогда, когда унарный редукт (A, f) алгебры (A,p,f) содержит не более одного одноэлементного подунара.

ДОКАЗАТЕЛБСТВО. Необходимость утверждения вытекает из Предложения 3. Докажем его достаточность.

Если (A, f) содержит не более одного одноэлементного подунара, то он либо не имеет одноэлементных подунаров, либо является корнем, либо изоморфен сумме корня и подунара, не содержащего неподвижных элементов. Во всех этих случаях, по теореме 2, SnbuA является цепью.

Лемма 9. Если унарный редукт (A, f) алгебры (A,p,f) имеет подунар, изоморфный Cl + C0, то решетка SnbHA содержит подрешетку N5.

Доказательство. Пусть B — подунар унара (A, f), изоморфный Cl + C0. Положим B = {a,b,c} и f (a) = a, f (b) = a, f (c) = c. Так как множество {a,b}

— подунар в (A, f), то оно будет и подалгеброй в (A,p, f). Очевидно, {c} = {c} и {a} = {a} C {a,b}. Кроме того, {c} £ {a,b}, так как c и {a,b} лежат в разных компонентах связности. Таким образом, все элементы множества S = {$, {a}, {a, b}, {c},A} различны.

Докажем, что S образует подрешетку вида N5 в SnbHA. Поскольку {a, c}

— подунар в (A, f), то {a} V {c} = {a, c} в SnbA. По следствию 3 из леммы 3,

298

В. Л. УСОЛЬЦЕВ

получаем {а} V {c} = A. Аналогично, {a, b} V {c} = A. Остальные соотношения, показывающие, что S замкнуто относительно V и Л, очевидны.

Лемма 10. Если унарный редукт (A, f) алгебры (A,p,f) имеет подунар, изоморфный C0 + C0 + C0, то решетка SubuA содержит подрешетку M3.

Доказательство. Пусть B — подунар унара (A, f), изоморфный C0 + C0+ +C0. Положим B = {a, b, c} и f (a) = a, f (b) = b, f (c) = c.

Как и выше, одноэлементные подунары {a}, {b}, {c} в B являются гамильтоново замкнутыми подалгебрами алгебры (A,p,f), причем, они не сравнимы между собой по включению. Их попарные пересечения пусты, а решеточные суммы, по следствию 3 из леммы 3, совпадают с A. Отсюда, множество M = {$, {a}, {b}, {c}, A} образует подрешетку вида M3 в SubuA.

Теорема 3. Решетка SubuA является дистрибутивной тогда и только тогда, когда унарный редукт (A, f) алгебры (A,p,f) либо содержит не более одного одноэлементного подунара, либо изоморфен C0 + C0, либо изоморфен C0 + C0 + B, где B — произвольный подунар, не имеющий неподвижных элементов.

Доказательство. Необходимость. Пусть унар (A, f) содержит более одного одноэлементного подунара, и не изоморфен ни Cj + Cj, ни C0 + Cj + B. Если число одноэлементных подунаров в (A, f) составляет 3 и более, то, по лемме 10 и теореме 1 [20, с. 87], SubuA не дистрибутивна.

Пусть теперь (A, f) содержит в точности два одноэлементных подунара. Так как он не изоморфен ни C0+C0, ни C0+C0+B, то хотя бы одна из его компонент связности E, содержащая C0, неодноэлементна. Тогда E имеет подунар вида Cl, а это означает, что в (A, f) содержится подунар, изоморфный Cj + C0. По лемме 9 и теореме 1 [20, с. 87], SubuA не дистрибутивна.

Достаточность. Следует из теоремы 2 и теоремы 1 [20, с. 87].

Теорема 4. Решетка SubuA является модулярной тогда и только тогда, когда унарный редукт (A, f) алгебры (A,p,f) либо содержит не более одного одноэлементного подунара, либо все его одноэлементные подунары являются компонентами связности.

Доказательство. Необходимость. Пусть унар (A, f) содержит более одного одноэлементного подунара и найдется его одноэлементный подунар, не совпадающий с содержащей его компонентой связности. Последнее означает, что для некоторой компоненты связности B унара (A, f) существуют такие ее элементы a,b, что f (a) = a, f (b) = a, то есть, B содержит подунар, изоморфный Cj. Поскольку в (A, f) содержится более одного одноэлементного подунара, то алгебра (A,p,f) удовлетворяет условиям леммы 9, откуда, с учетом теоремы 2 [20, с. 87], SubuA не модулярна.

Достаточность. Следует из теоремы 2 и теоремы 2 [20, с. 87].

О ГАМИЛЬТОНОВОМ ЗАМЫКАНИИ НА КЛАССЕ ...

299

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

1. Пинус А. Г. Гамильтоново замыкание на универсальных алгебрах // Сиб. мат. журн. 2014. Т. 55, N. 3 (325). С. 610-616.

2. Csakany B. Abelian properties of primitive classes of universal algebras // Acta. Sci. Math. 1964. V. 25. P. 202-208.

3. Shoda K. Zur theorie der algebraischen erweiterungen // Osaka Math. Journal. 1952. V. 4. P. 133-143.

4. Kiss E. W., Valeriot M. Abelian algebras and the Hamiltonian property // J. Pure Appl. Algebra. 1993. V. 87. N 1. P. 37-49.

5. Klukovits L. Hamiltonian varieties of universal algebras // Acta. Sci. Math. 1975. V. 37. P. 11-15.

6. Kiss E. W. Each Hamiltonian variety has the congruence extension property // Algebra Universalis. 1981. V. 12. N 2. P. 395-398.

7. Степанова А. А., Трикашная Н. В. Абелевы и гамильтоновы группоиды // Фундам. и приклад. математика. 2009. Т. 15, вып. 7. C. 165-177.

8. Chajda I., Eigenthaler G., Langer H. Congruence classes in universal algebra. Vienna: Heldermann-Verl., 2003. 192 p.

9. Los J. Normal subalgebras in universal algebras // Colloquium Mathematicum. 1964. V. 12. Iss. 2. P. 151-153.

10. Курош А. Г. Общая алгебра. Лекции 1969-1970 учебного года. М.: Наука, 1974. 160 с.

11. Kilp M., Knauer U., Mikhalev A. V. Monoids, Acts and Categories with Applications to Wreath Products and Graphs. Berlin: Walter de Gruyter, 2000. 529 p.

12. Skornyakov L. A. Unars // Colloq. Math. Soc. J. Bolyai. 1982. V.29. Universal Algebra (Esztergom 1977). P. 735-743.

13. Wenzel G. H. Subdirect irreducibility and equational compactness in unary algebras (A; f) // Arch. Math. (Basel) 21. 1970. P. 256-264.

14. Усольцев В. Л. О строго простых тернарных алгебрах с операторами // Чебышевский сб. 2013. Т. 14, вып. 4(48). С. 196-204.

15. Mudrinski N. Uniform Mal’cev algebras with small congruence lattices // Algebra Universalis. 2014. V. 72. P. 57-69.

300

В. Л. УСОЛЬЦЕВ

16. Булатов А. А. Полиномиальность мальцевских задач CSP // Алгебра и логика. 2006. Т.45, № 6. С. 655-686.

17. Pixley A. F. Distributivity and permutability of congruence relations in equa-tional classes of algebras / / Proc. Amer. Math. Soc. 1963. V.14. N 1. P.105-109.

18. Карташов В. К. Об унарах с мальцевской операцией // Универсальная алгебра и ее приложения: тез. докл. межд. семинара, посв. памяти проф. Л. А. Скорнякова. Волгоград, 1999. С. 31-32.

19. Усольцев В. Л. О гамильтоновых тернарных алгебрах с операторами // Че-бышевский сб. 2014. Т. 15, вып. 3(51). С. 100-113.

20. Гретцер Г. Общая теория решеток. М.: Мир, 1982. 456 с.

21. Усольцев В. Л. Простые и псевдопростые алгебры с операторами // Фундам. и приклад. математика. 2008. Т. 14, вып. 7. С. 189-207.

22. Усольцев В. Л. О полиномиально полных и абелевых унарах с мальцевской операцией / / Уч. зап. Орловского гос. ун-та. 2012. Т. 6(50), ч. 2. С. 229-236.

REFERENCES

1. Pinus, A. G. 2014, "Hamiltonian closure on universal algebras" , Sibirskiy Matematicheskiy Zhurnal, vol. 55, no. 3(325), pp. 610-616 (Russian); translated in Siberian Mathematical Journal, vol. 55, no. 3(325), pp. 498-502. DOI: 10.1134/S0037446614030112

2. Csakany, B. 1964, "Abelian properties of primitive classes of universal algebras" , Acta Scientiarum Mathematicarum, vol. 25, pp. 202-208 (Russian).

3. Shoda, K. 1952, "Zur theorie der algebraischen erweiterungen" , Osaka Mathematical Journal, vol. 4, pp. 133-143.

4. Kiss, E. W. & Valeriot, M. 1993, "Abelian algebras and the Hamiltonian property" , Journal of Pure and Applied Algebra, vol. 87, no. 1, pp. 37-49. DOI: 10.1016/0022-4049(93)90067-4

5. Klukovits, L. 1975, "Hamiltonian varieties of universal algebras" , Acta Scientiarum Mathematicarum, vol. 37, pp. 11-15.

6. Kiss, E. W. 1981, "Each Hamiltonian variety has the congruence extension property" , Algebra Universalis, vol. 12, no. 2, pp. 395-398. DOI: 10.1007/ BF02483899

О ГАМИЛЬТОНОВОМ ЗАМЫКАНИИ НА КЛАССЕ ...

301

7. Stepanova, A. A. & Trikashnaya, N. V. 2009, "Abelian and Hamiltonian gro-upoids" , Fundamental’naya i prikladnaya matematika, vol. 15, no. 7, pp. 165177 (Russian); translated in Journal of Mathematical Sciences, 2010, vol. 169, issue 5, pp. 671-679. DOI: 10.1007/s10958-010-0068-x

8. Chajda, I., Eigenthaler, G. & Langer, H. 2003, "Congruence classes in universal algebra" , Heldermann Verlag, Vienna, 192 pp.

9. Los, J. 1964, "Normal subalgebras in universal algebras" , Colloquium Mathe-maticum, vol. 12, issue 2, pp. 151-153.

10. Kurosh, A. G. 1974, "Obshchaya algebra. Lekcii 1969-1970 uchebnogo goda" [General Algebra. Lectures 1969-1970 Academic Year], Nauka, Moscow, 160 pp.

11. Kilp, M., Knauer, U. & Mikhalev, A. V. 2000, "Monoids, Acts and Categories with Applications to Wreath Products and Graphs" , Walter de Gruyter, Berlin, 529 pp.

12. Skornyakov, L. A. 1982, "Unars" , Colloquia Mathematica Societatis Janos Bolyai, Universal Algebra (Esztergom 1977), vol. 29, pp. 735-743.

13. Wenzel, G. H. 1970, "Subdirect irreducibility and equational compactness in unary algebras (A; f)", Archiv der Mathematik, Basel, vol. 21, pp. 256-264. DOI: 10.1007/BF01220912

14. Usol’tsev, V. L. 2013, "On strictly simple ternary algebras with operators" , Chebyshevskiy sbornik, vol. 14, issue 4(48), pp. 196-204 (Russian).

15. Mudrinski, N. 2014, "Uniform Mal’cev algebras with small congruence lattices" , Algebra Universalis, vol. 72, pp. 57-69. DOI: 10.1007/s00012-014-0288-x

16. Bulatov, A. A. 2006, "The property of being polynomial for Mal’tsev constraint satisfaction problems" , Algebra i Logika, vol. 45, no. 6, pp. 655-686 (Russian); translated in Algebra and Logic, vol. 45, no. 6, pp. 371-388. DOI: 10.1007/s10469-006-0035-2

17. Pixley, A. F. 1963, "Distributivity and permutability of congruence relations in equational classes of algebras" , Proceedings of the American Mathematical Society, vol. 14, no. 1, pp. 105-109. DOI: 10.1090/S0002-9939-1963-0146104-X

18. Kartashov, V. K. 1999, "On unars with Mal’tsev operation" , Universal’naya algebra i ee prilozheniya: Tezisy soobshcheniy uchastnikov mezhdunarodnogo seminara, posvyashchennogo pamyati prof. Mosk. gos. un-ta L.A. Skornyakova

302

В. Л. УСОЛЬЦЕВ

19. Usol’tsev, V. L. 2014, "On Hamiltonian ternary algebras with operators" , Chebyshevskiy sbornik, vol. 15, issue 3

20. Gratzer, G. 1978, "General Lattice Theory" , Akademie-Verlag, Berlin.

21. Usol’tsev, V. L. 2008, "Simple and pseudosimple algebras with operators" , Fundamental’naya i prikladnaya matematika, vol. 14, no. 7, pp. 189-207 (Russian); translated in Journal of Mathematical Sciences, 2010, vol. 164, no. 2, pp. 281-293. DOI: 10.1007/S1095800997306

22. Usol’tsev, V. L. 2012, "On polynomially complete and Abelian unars with Mal’tsev operation Uchenye Zapiski Orlovskogo Gos. Univ., vol. 6

Волгоградский государственный социально-педагогический университет.

Получено 12.10.2015.