Научная статья на тему 'О коатомах и дополнениях в решетках конгруэнций унаров с мальцевской операцией'

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

CC BY
167
26
i Надоели баннеры? Вы всегда можете отключить рекламу.
Журнал
Чебышевский сборник
Scopus
ВАК
RSCI
Область наук
Ключевые слова
РЕШЕТКА КОНГРУЭНЦИЙ / РЕШЕТКА С ДОПОЛНЕНИЯМИ / РЕШЕТКА С КОПСЕВДОДОПОЛНЕНИЯМИ / КОАТОМ / АЛГЕБРА С ОПЕРАТОРАМИ / УНАР С МАЛЬЦЕВСКОЙ ОПЕРАЦИЕЙ / CONGRUENCE LATTICE / COMPLEMENTED LATTICE / DUAL PSEUDOCOM-PLEMENTED LATTICE / COATOM (DUAL ATOM) / ALGEBRA WITH OPERATORS / UNAR WITH MAL'TSEV OPERATION

Аннотация научной статьи по математике, автор научной работы — Лата Александр Николаевич

Одной из важных задач универсальной алгебры является изучение решеток, естественным образом связанных с алгебрами. В работе рассматриваются алгебры {A,p,f), сигнатура которых состоит из тернарной маль-цевской операции p и унарной операции f, являющейся эндоморфизмом относительно первой операции. Изучаются свойства решеток конгруэнций алгебр {A,p,f) с мальцевской операцией р, определенной В.К. Карташовым. Эта алгебра определятся следующим образом. Пусть {A, f) произвольный унар и x,y € A. Для любого элемента x унара {A, f) через f n(x) обозначается результат п-кратного применения операции f к элементу х; при этом f 0(х) = х. Положим Ых,у = {п € N U {0} | f n(x) = f n{y)}, и k{x,y) = min M x, y, если M x, y = 0 и k(x,y) = то, если M x, y = 0. Положим далее p( x y z) если k(x' y ) ^ k(y' z) ^ ,y'’ ) у x, если k(x,y) >k(y,z). В работе описано строение коатомов в решетках конгруэнций алгебр {A, p, f) этого класса. Доказано, что решетка конгруэнций алгебры {A, p, f) не имеет коатомов тогда и только тогда, когда унар {A, f) связен, содержит одноэлементный подунар и имеет бесконечную глубину. Установлено, что в других случаях решетка конгруэнций алгебры {A, p, f) имеет единственный коатом. Показано, что для любых неединичных конгруэнций 9 и ф алгебры {A,'p,f) выполняется неравенство 9 V ф < ▽, где ▽ наибольшая конгруэнция алгебры. Получены необходимые и достаточные условия, при которых решетка конгруэнций алгебр данного класса является решеткой с дополнениями, с единственными дополнениями, с относительными дополнениями, булевыми, обобщенными булевыми либо геометрическими. Установлено, что любая нетривиальная конгруэнция алгебры {A,'p, f) из рассматриваемого класса не имеет дополнения. Доказано, что решетка конгруэнций любой алгебры {A, p, f) данного класса является решеткой с копсевдодополнени-ями.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

ON COATOMS AND COMPLEMENTS IN CONGRUENCE LATTICES OF UNARS WITH MAL’TSEV OPERATION

One important problem is studying of lattices that naturally associated with universal algebra. In this article is considered algebras {A, p, f) with one Mal’tsev operation p and one unary operation f acting as endomorphism with respect to operation p. We study properties of congruence lattices of algebras {A,p, f) with Mal’tsev operation p that introduced by V. K. Kartashov. This algebra is defined as follows. Let {A, f) be an arbitrary unar and x,y € A. For any element x of the unar {A, f) by f n(x) we denote the result of f applied n times to an element x. Also f 0(x) = x. Assume that Mx,y = {n € N U {0} I fn(x) = fn(y )} and also k(x,y) = min M x, y, if M x, y = 0 and k(x,y) = to, if M x, y = 0. Assume further p( xЧ de^ Z, y' Z) V x, z, if k(x,y) ^ k(y,z) x, if k(x, y) > k(y, z). It is described a structure of coatoms in congruence lattices of algebras {A, p, f) from this class. It is proved congruence lattices of algebras {A, p, f) has no coatoms if and only if the unar {A, f) is connected, contains one-element subunar and has infinite depth. In other cases congruence lattices of algebras {A,p, f) has uniquely coatom. It is showed for any congruences 9 = A x A and ф = A x A of algebra {A,p, f) fulfills 9 V ф < A x A. Necessary and sufficient conditions when a congruence lattice of algebras from given class is complemented, uniquely complemented, relatively complemented, Boolean, generalized Boolean, geometric are obtained. It is showed any non-trivial congruence of algebra {A,p, f) from this class has no complement. It is proved that congruence lattices of any algebra {A,p, f) from given class is dual pseudocomplemented lattice.

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

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

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

УДК 512.579

О КОАТОМАХ И ДОПОЛНЕНИЯХ В РЕШЕТКАХ КОНГРУЭНЦИЙ УНАРОВ С МАЛЬЦЕВСКОЙ ОПЕРАЦИЕЙ

А. Н. Лата (г. Волгоград)

Аннотация

Одной из важных задач универсальной алгебры является изучение решеток, естественным образом связанных с алгебрами. В работе рассматриваются алгебры (A,p,f), сигнатура которых состоит из тернарной маль-цевской операции p и унарной операции f, являющейся эндоморфизмом относительно первой операции. Изучаются свойства решеток конгруэнций алгебр {A,p,f) с мальцевской операцией р, определенной В.К. Карташовым. Эта алгебра определятся следующим образом. Пусть {A, f) — произвольный унар и x,y € A. Для любого элемента x унара {A, f) через fn(x) обозначается результат n-кратного применения операции f к элементу х; при этом f°(х) = х. Положим Mx,y = {n € N U {0} \ fn(x) = fn(y)}, и k(x,y) = min Mxy, если Mx,y = 0 и k(x,y) = то, если Mxy = 0. Положим

далее

p(x,y,z) = j x

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

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

Показано, что для любых неединичных конгруэнций в и ф алгебры {A,p,f) выполняется неравенство в V ф < ▽, где ▽ — наибольшая конгруэнция алгебры.

Получены необходимые и достаточные условия, при которых решетка конгруэнций алгебр данного класса является решеткой с дополнениями, с единственными дополнениями, с относительными дополнениями, булевыми, обобщенными булевыми либо геометрическими. Установлено, что любая нетривиальная конгруэнция алгебры {A,p, f) из рассматриваемого класса не имеет дополнения. Доказано, что решетка конгруэнций любой алгебры {A, р, f) данного класса является решеткой с копсевдодополнени-

ями.

О КОАТОМАХ И ДОПОЛНЕНИЯХ В РЕШЕТКАХ ...

213

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

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

ON COATOMS AND COMPLEMENTS IN CONGRUENCE LATTICES OF UNARS WITH MAL’TSEV OPERATION

A. N. Lata (Volgograd)

One important problem is studying of lattices that naturally associated with universal algebra. In this article is considered algebras (A, p, f) with one Mal’tsev operation p and one unary operation f acting as endomorphism with respect to operation p. We study properties of congruence lattices of algebras (A,p, f) with Mal’tsev operation p that introduced by V. K. Kartashov. This algebra is defined as follows. Let (A, f) be an arbitrary unar and x,y € A. For any element x of the unar (A, f) by f n(x) we denote the result of f applied n times to an element x. Also f °(x) = x. Assume that

and also k(x,y) = min Mx,y, if Mx,y = 0 and k(x,y) = to, if Mx,y = 0. Assume further

It is described a structure of coatoms in congruence lattices of algebras (A, p, f) from this class. It is proved congruence lattices of algebras (A, p, f) has no coatoms if and only if the unar (A, f) is connected, contains one-element subunar and has infinite depth. In other cases congruence lattices of algebras (A,p, f) has uniquely coatom.

It is showed for any congruences в = A x A and ф = A x A of algebra (A,p, f) fulfills в V ф < A x A.

Necessary and sufficient conditions when a congruence lattice of algebras from given class is complemented, uniquely complemented, relatively complemented, Boolean, generalized Boolean, geometric are obtained. It is showed any non-trivial congruence of algebra (A,p, f) from this class has no complement. It is proved that congruence lattices of any algebra (A,p, f) from given class is dual pseudocomplemented lattice.

Keywords: congruence lattice, complemented lattice, dual pseudocom-plemented lattice, coatom (dual atom), algebra with operators, unar with Mal’tsev operation.

Bibliography: 24 titles.

Abstract

Mx,y = {n € N U {0} I fn(x) = fn(y)}

, y,

z, if k(x,y) < k(y,z)

x, if k(x, y) > k(y, z).

214

А. Н. ЛАТА

1. Введение

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

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

Значительное внимание исследователей уделяется булевым алгебрам с операторами [3], полугруппам, полурешеткам и решеткам с операторами [4], [5]. Решетки конгруэнций полурешеток с операторами тесно связаны с решетками подклассов различных классов алгебр [6], [7].

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

В [8] Дж. Берман описал атомы в решетках конгруэнций унаров, а также унары с полумодулярной сверху, либо геометрической (в смысле Биркгофа) решеткой конгруэнций. В [9] Д. П. Егорова и Л. А. Скорняков охарактеризовали унары, решетка конгруэнций которых является булевой, либо решеткой с дополнениями. В [10] и [11] А. П. Бощенко описал унары, решетка конгруэнций которых является решеткой с псевдодополнениями и с копсевдодополнениями соответственно.

В [1] показано, что на любом унаре (A, f) можно задать тернарную операцию p так, что алгебра (A,p, f) становится унаром с мальцевской операцией, а унарная операция — ее эндоморфизмом. Эта алгебра определятся следующим образом.

Пусть (A, f) — произвольный унар и x,y £ A. Для любого элемента x унара (A, f) через fn(x) обозначается результат n-кратного применения операции f к элементу x; при этом f°(x) = x. Положим Mx,y = {n £ N U {0} | fn(x) = fn(y)}, и k(x,y) = min Mx,y, если Mx,y = 0 и k(x,y) = то, если Mx,y = 0. Положим далее

Многообразие называется арифметическим, если оно конгруэнц-перестано-вочно и конгруэнц-дистрибутивно. Арифметичность многообразия эквивалентна существованию терма Пиксли от основных операций, то есть, тернарного терма d, для которого выполнены тождества Пиксли d(x,x,y) = d(y,x,x) =

= d(y,x,y) = y [12].

d(f (x),f (y),f (z))■

p(x, y, z

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

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

(1)

О КОАТОМАХ И ДОПОЛНЕНИЯХ В РЕШЕТКАХ ...

215

Из (1) следует, что класс K унаров с мальцевской операцией p(x, y, z) содержится в многообразии, заданном тождествами Пиксли. Отсюда, K является конгруэнц-перестановочным и конгруэнц-дистрибутивным.

В ряде работ были изучены многие виды алгебр из этого класса, определяемые конгруэнц-свойствами. В [13] были описаны простые и псевдопростые алгебры из K. В [14] — подпрямо неразложимые, а также такие, решетка конгруэнций которых является цепью. В [15] было получено описание строения атомов в таких решетках, там же были описаны алгебры из данного класса, имеющие точечную решетку конгруэнций. В [16] были описаны строго простые алгебры из K и близких к нему классов. В работах [17] - [19] автором были описаны алгебры, у которых все конгруэнции являются однородными, регулярными, либо слабо регулярными.

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

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

Решетка (L, V, А) с нулем 0 и единицей 1 называется решеткой с дополнениями, если для любого элемента x £ L существует такой элемент X £ L, что выполняются равенства x А X = 0 и x V X = 1. Элемент X называется дополнением элемента x.

Если каждый элемент решетки обладает в точности одним дополнением, то она называется решеткой с единственными дополнениями. Такие решетки систематически рассматривались в [20].

Пусть b,c £ L, b X c и а £ [b,c]. Элемент x называется относительным дополнением элемента а в интервале [b, c], если а А x = b и а V x = c. Решет.-кой с относительными дополнениями называется решетка, в которой каждый элемент имеет относительное дополнение в любом содержащем его интервале.

Булевой решеткой называется дистрибутивная решетка с дополнениями. Дистрибутивная решетка с нулем и относительными дополнениями называется обобщенной булевой решеткой.

Пусть (L, V, А) — решетка с нулем 0. Элемент l* £ L называется псевдодополнением элемента l £ L, если l А l* = 0 и для любого элемента x £ L равенство l А x = 0 влечет x X l*.

Решетка L с нулем называется решеткой с псевдодополнениями, если каждый ее элемент имеет псевдодополнение.

Пусть (L, V, А) — решетка с единицей 1. Элемент l+ £ L называется коп-севдодополнением элемента l £ L, если l V l+ = 1, и для любого элемента x £ L из равенства l V x =1 следует l+ X x.

Решетка L с единицей называется решеткой с копсевдодополнениями, если

216

А. Н. ЛАТА

каждый ее элемент имеет копсевдодополнение.

Элемент p = 0 решетки L с нулем 0 называется атомом, если для любого x £ L неравенство 0 ^ x ^ p влечет x = 0 или x = p. Двойственным образом определяется коатом решетки.

Решетка L называется геометрической (см. [21]), если L — полумодулярная алгебраическая решетка, в которой компактными элементами являются конечные объединения атомов и только они.

Другие определения и утверждения теории решеток можно найти в [21], [22].

Пусть {A, f) — произвольный унар. Далее для любых целых чисел h > 0, t ^ 0 через Ch = {a\ft(a) = f h+t(a)) обозначается унар с образующим а и определяющим соотношением ft(a) = fh+t(a). Унар Cn называется циклом длины п. Элемент a унара называется циклическим, если подунар, порожденный этим элементом, является циклом.

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

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

Далее через ап, где п £ N, обозначается Kerfn; при этом полагаем = △. В [13] на произвольном унаре {A, f) определяется бинарное отношение а: xay ^ Зп > 0 (fn(x) = fn(y)), и показано, что это отношение является конгруэнцией любой алгебры {A, П) с оператором f £ П.

В [13] на связном унаре, имеющем одноэлементный подунар, определено бинарное отношение f3n по правилу: xfiny тогда и только тогда, когда x = у или t(x), t(y) ^ п. По лемме 15 [13], при любом п ^ 0 отношение f3n является конгруэнцией унара с мальцевской операцией p(x,y, z), определенной по правилу (1).

3. Характеризация решеток конгруэнций унаров c мальцевской операцией

Далее везде через {A, p, f) будем обозначать унар c мальцевской операцией p(x,y,z), определенной по правилу (1).

Лемма 1. Пусть {L, V, А) — решетка с нулем 0 и единицей 1, в которой существует такой элемент a £ L, что 0 < a < 1 и для каждого x £ L выполняется либо x ^ a, либо a ^ x, тогда следующие условия равносильны:

О КОАТОМАХ И ДОПОЛНЕНИЯХ В РЕШЕТКАХ ...

217

1. (L, V, А) не является решеткой с дополнениями;

2. (L, V, А) не является решеткой с единственными дополнениями;

3. (L, V, А) не является решеткой с относительными дополнениями.

Доказательство. Пусть a Е L и 0 < a < 1. Очевидно, что (1) ^ (2), (1) ^ (3), (3) ^ (1), (3) ^ (2). Чтобы обосновать, что (2) ^ (1), (2) ^ (3), достаточно показать, что хотя бы один элемент не имеет дополнений в L.

Предположим, что существует а1 - дополнение элемента а в L. Поскольку а' Е L, то по условию, либо а' ^ а, либо а ^ а'.

В случае, если а' ^ а, то а' А а = а' и, следовательно, а' = 0. Но а' V а = 1. Тогда 0 V а = 1, откуда а = 1, что противоречит условию. Аналогично, из а ^ а1 следует а1 =1. Отсюда а = 0, что снова противоречит условию. □

Лемма 2. Пусть алгебра (A,p,f) не является конгруэнц-простой. Тогда любая ее неединичная конгруэнция содержится в конгруэнции ап для некоторого n > 0, а следовательно, и в конгруэнции а.

Доказательство. Пусть в Е Con(A, p, f), в = у и а,Ь Е A. По лемме 5 [14], из авЬ следует, что к(а,Ь) = n < то для некоторого n ^ 0. Тогда аапЬ, откуда ааЬ. Таким образом, в С ап С а. □

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

Доказательство. Если операция f инъективна, то а = Д, а по теореме 2 [13], алгебра (A,p, f) проста, откуда вытекает доказываемое утверждение.

Пусть теперь операция f неинъективна и унар (A, f) не является связным унаром с одноэлементным подунаром. По лемме 2 [13] имеем а = V, то есть,

а < у.

Предположим, что найдется такая конгруэнция в алгебры (A,p, f), что а < < в < у. Тогда существует такая пара (x,y) Е в, что (x,y) Е а, где x,y Е A и x = у. По определению конгруэнции а, имеем fn(x) = fn(y) для любого n > 0. Следовательно, k(x,y) = то. По лемме 5 [14], (x,y) Е в, что противоречит выбору пары (x,y).

Таким образом, конгруэнция а — коатом решетки Con(A,p, f). Его единственность следует из леммы 2. □

Лемма 4. Пусть унарный редукт (A, f) алгебры (A,p,f) — неодноэлементный связный унар, имеющий одноэлементный подунар. Пусть также в Е Con(A,p, f), (Ь,с) Е в, Ь = c и t(h) < t(c) для некоторых Ь,с Е A. Тогда для любых x,y Е A ив t(x) < t(c) и t(y) < t(c) следует, что xвy и x,y Е [с]в.

218

А. Н. ЛАТА

Доказательство. Пусть 9 g Con{A,p, f), (b,c) g 9, b = c и t(b) < t(c) для некоторых b,c G A. Из последнего, в силу леммы 10 [13], вытекает k(b, c) = t(c).

Пусть x,y G A, x = y и t(x) < t(c), и t(y) < t(c). По лемме 10 [13], k(x,c) = = t(c). Тогда, из (1) получаем, что p(x,c,b) = b. В то же время, p(x,c,c) = x, откуда с учетом b9c получаем x9b. Аналогично, y9b и, окончательно, x9y. □

Следствие 1. Пусть {A, f) — произвольный неодноэлементный связный унар с одноэлементным подунаром и c G A. Если элемент c и все э.ле.мент,ы из A, имеющие глубину, меньшую t(c), лежат в некотором классе конгруэнции 9 G Con{A,p, f), то все эле.мент,ы глубины t(c) лежат в этом классе.

Доказательство. Пусть a - неподвижный элемент унара {A, f). По условию, a9c. Предположим, что для некоторого элемента x G A, где t(x)=t(c), утверждение леммы не выполняется, то есть x G [c]9. Поскольку t(x)=t(c), то k(x, a) = k(a, c). Тогда из (1) получаем, что p(x, a, c) = c. В то же время, p(x,a,a) = x, откуда x9c, что противоречит предположению. □

Следствие 2. Если конгруэнция 9 удовлетворяет условию леммы 4, то

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

9 = fit(c).

Лемма 5. Пусть унарный редукт {A, f) алгебры {A,p,f) связен, содержит одноэлементный подунар и имеет конечную глубину m > 1. Тогда конгруэнция am-1 является единственным коатомом решетки Con{A,p, f).

Доказательство. Пусть t(A) = m > 1. По лемме 1 [13] имеем am-1 < am = = у. Предположим, что найдется такая конгруэнция 9 алгебры {A,p,f), что am-1 < 9 < у. Тогда для некоторой пары (x,y) G 9 имеем (x,y) G cm-1, где x,y G A, x = y. Из определения отношения am-1 следует, что fm-1 (x) = fm-1 (y). Тогда либо t(x) = t(y) = m, либо, без ограничения общности, t(x) ^ m — 1 и

t(y) = m.

В случае, если t(x) ^ m — 1 и t(y) = m, по следствию 2 имеем 9 = /Зт. Однако вт = V, что противоречит выбору конгруэнции 9. Таким образом, am-1 — коатом решетки Con{A,p, f).

Пусть теперь t(x) = t(y) = m. Поскольку 9 < V, то найдется такой элемент c G A, что (y, c) G 9.

Так как x9y, то p(c,x,y)9p(c,y,y). Поскольку (x,y) G °m-1 и x = y, то fm-1(x) = fm-1(y), и следовательно, k(x,y) = m. Так как t(c) ^ m, то k(c,x) ^ ^ m = k(x,y). Тогда y = p(c,x,y)9p(c,y,y) = c, что противоречит условию (y,c) G 9. Таким образом, am-1 — коатом решетки Con{A,p, f).

Предположим теперь, что в Con{A,p, f) существует коатом ф, не совпадающий с am-1. Тогда найдется такая пара (b, c) G ф, что (b, c) G &m-1, где b,c G A, b = c. Из определения отношения am-1 следует, что f m-1(b) = fm-1 (c). Отсюда, как и выше, выполняется либо t(b) ^ m — 1 и t(c) = m, либо t(b) = t(c) = m.

В случае, если t(b) ^ m — 1 и t(c) = m, по следствию 2 получаем, что ф = em. Однако em = V, что противоречит выбору ф как коатома решетки Con{A,p, f).

О КОАТОМАХ И ДОПОЛНЕНИЯХ В РЕШЕТКАХ ...

219

Пусть теперь t(b) = t(c) = m. Поскольку ф < V, то найдется такой элемент z Е A, что (z, c) Е ф. Так как Ьфс, то p(z, b, с)фр(z, c, c). Учитывая, что t(z) ^ m, получаем c = p(z, b, c)фр(z, c, c) = z, что противоречит условию (z, c) Е ф.

Окончательно, получаем, что ат-1 — единственный коатом решетки Con(A,p, f). □

Лемма 6. Для любых неединичных конгруэнций 9 и ф алгебры (A,p,f) выполняется неравенство 9 V ф < ▽.

Доказательство. Рассмотрим два возможных случая.

Случай 1. (A, f) не является связным унаром с одноэлементным подунаром.

Тогда, по лемме 3, конгруэнция а является единственным коатомом решетки Con(A,p,f). Следовательно, для любых неединичных конгруэнций 9 и ф алгебры (A,p,f) выполняются условия 9 ^ а, ф ^ а. Отсюда, 9 V ф ^ а. По лемме 2 [13] имеем а = V, то есть, а < V. Таким образом, 9 V ф < V.

Случай 2. (A, f) - неодноэлементный связный унар, имеющий одноэлементный подунар.

Пусть унар (A, f) имеет конечную глубину m. Если m = 1, то по теореме 2 [13], алгебра (A,p, f) проста, и утверждение леммы очевидно.

Если же m > 1, то для любых неединичных конгруэнций 9 и ф алгебры (A,p,f) в силу леммы 5 выполняются условия 9 ^ ат-1, ф ^ ат-1. Следовательно, 9 V ф С ат-1. По лемме 1 [13], ат-1 = V, откуда 9 V ф < V.

Пусть теперь глубина унара (A, f) бесконечна. По лемме 2, имеем 9 С ак и ф С ап для некоторых k,n Е N. Следовательно, 9 V ф С ак V ап. Без ограничения общности положим k ^ n. Тогда ак V ап = ап. Из леммы 1 [13] следует, что ап < V. Таким образом, 9 V ф < V. □

Теорема 1. Пусть (A,p,f) — унар c мальцевской операцией p(x,y,z), определенной по правилу (1). Решетка Con(A,p, f) не имеет коатомов тогда и только тогда, когда унар (A, f) связен, содержит одноэлементный подунар и имеет бесконечную глубину. В других случаях Con(A,p, f) имеет единственный коатом.

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

Предположим, что решетка Con(A,p,f) имеет коатом ф. Тогда, по лемме 2, конгруэнция ф содержится в ап для некоторого n. По лемме 1 [13], имеем ап < V. Однако, по предположению, ф — коатом Con(A,p, f), а значит, ф = ап.

Так как унар (A, f) имеет бесконечную глубину, то и ап+1 < V. В то же время, ап ^ ап+1. Докажем, что ап = ап+1. Поскольку t(A) = ж, то найдутся такие элементы b,c Е A, что b = c, t(b) = n и t(c) = n +1. Из условия t(b) = n следует, что fп+1(б) = f (a) = a. Аналогично, из t(c) = n +1 вытекает fп+1(е) = a. Отсюда, (b,c) Е ап+1. Однако, предполагая, что (b,c) Е ап, получаем fa(c) = fп(Ь) = a, что противоречит условию t(c) = n + 1, а значит,

220

А. Н. ЛАТА

ап = ап+1. Таким образом, ф = ап < ап+\ < ▽, что противоречит выбору ф. Следовательно, решетка Con{A,p, f) в данном случае не имеет коатомов.

Пусть теперь унар {A, f) связен, содержит одноэлементный подунар и имеет глубину 1. Тогда, по теореме 2 [13], алгебра {A,p, f) конгруэнц-проста. Отсюда, Д является единственным коатомом решетки Con{A,p, f). В других случаях единственность коатома решетки Con{A,p, f) следует из лемм 3 и 5. □

Следствие 3. Пусть решетка Con{A,p, f) имеет единственный коатом. Тогда справедливы следующие утверждения:

1. Если {A, f) — связный унар глубины 1, имеющий одноэлементный подунар, те коатомом решетки Con{A,p, f) является конгруэнция Д;

2. Если {A, f) — связный унар конечной глубины m> 1, имеющий одноэлементный подунар, то коатомом решетки является конгруэнция ат-1;

3. В оставшихся случаях коатомом решетки является конгруэнция а.

Теорема 2. Пусть {A,p,f) — унар c мальцевской операцией p(x,y,z), определенной по правилу (1). Следующие утверждения равносильны:

1. Con{A,p, f) — решетка с дополнениями (решетка с единственными дополнениями, булева решетка);

2. Con{A,p, f) — решетка с относительными дополнениями (обобщенная булева решетка);

3. алгебра {A,p,f) конгруэнц-проста;

4. либо операция f инъективна, либо унар {A, f) содержит такой элемент, а, что f (x) = а для любого x Е A.

Доказательство. Классы решеток, перечисленные в пункте 1, совпадают, так как рассматриваемый класс алгебр {A, p, f) является конгруэнц-дистрибу-тивным. То же замечание верно для пункта 2.

По теореме 2 [13], (3) ^ (4). Очевидно, что (3) ^ (2), (2) ^ (1). Чтобы обосновать, что (1) ^ (2), (2) ^ (4), достаточно показать, в силу теоремы 1 и леммы 1, что в случае когда унар {A, f) связен, содержит одноэлементный подунар и имеет бесконечную глубину, то Con{A,p, f) не является решеткой с дополнениями.

Допустим, что унар {A, f) удовлетворяет перечисленным выше условиям. Тогда, по теореме 2 [13], алгебра {A,p, f) не является простой, то есть

\Con{A,p,f)\ > 2.

Следовательно, решетка Con{A,p, f) содержит хотя бы одну нетривиальную конгруэнцию р. Предположим, что р имеет дополнение р в Con{A,p, f). Тогда

О КОАТОМАХ И ДОПОЛНЕНИЯХ В РЕШЕТКАХ ...

221

р V р = V) и 03 леммы 6 следует, что р = у. Отсюда, р Л р = р, что, с учетом условия рЛр = Д, противоречит выбору конгруэнции р. Следовательно, решетка Con(A,p, f) не является решеткой с дополнениями. □

Следствие 4. Любая нетривиальная конгруэнция алгебры (A,p, f) не имеет дополнения.

Известно (см., напр., следствия 2 [21, стр. 151] и 7.2 [23, стр. 16]), что если решетка конгруэнций универсальной алгебры дистрибутивна, то она является решеткой с псевдодополнениями.

Отсюда, в силу того, что класс алгебр (A,p, f) является конгруэнц-дистрибу-тивным, вытекает, что любая решетка конгруэнций алгебры из рассматриваемого класса является решеткой с псевдодополнениями. Следующее предложение показывает, что верно и двойственное утверждение.

Предложение 1. Пусть ( A,p,f) — унар c мальцевской операцией p(x,y,z), определенной по правилу (1). Решетка Con(A,p, f) является решеткой с копсевдодополнениями.

ДОКАЗАТЕЛБСТВО. Пусть в £ Con(A,p, f), в = у. Очевидно, в V у = V. Пусть а £ Con(A,p, f) и вVа = у. Из последнего равенства, с учетом леммы 6, следует а = у. Тогда у — копсевдодополнение элемента в.

Пусть теперь в = у. Тогда в V у = у V Д = у. Поскольку для любой конгруэнции а £ Con(A,p, f) из условия в V а = у V а = у следует △ < а, то Д — копсевдодополнение элемента в. □

Очевидно, решетка является геометрической тогда и только тогда, когда она полная, точечная, полумодулярная и все атомы в ней компактны (см. [21, стр. 233]).

Пусть L - полная решетка и a £ L. Элемент а называется компактным, если для любого подмножества X С L из a X следует, что а ^ V X для некоторого конечного подмножества Xi С X.

Предложение 2. Решетка Con(A,p, f) является геометрической тогда и только тогда, когда она точечная.

Доказательство. Необходимость утверждения очевидна.

Докажем его достаточность. Пусть Con(A,p, f) — точечная решетка. Тогда, по теореме 2 [15], либо операция f инъективна на A, либо унар (A, f) содержит такой элемент а, что f (x) = а для любого x £ A. Отсюда, по теореме 2 [13], алгебра (A, p, f) является простой, то есть имеет единственный атом у. Следовательно, по определению компактного элемента имеем, что у — компактный элемент решетки Con(A,p, f). Поскольку класс алгебр (A,p,f) модулярен, то решетка Con(A,p, f) полумодулярна. Кроме того, как решетка конгруэнций она является полной. Отсюда, Con(A,p, f) является геометрической решеткой. □

Из предложения 2 и теоремы 2 [15] вытекает

А. Н. ЛАТА

222

Следствие 5. Решетка Con{A,p, f) является геометрической тогда и только тогда, когда либо операция f инъективна, либо унар {A, f) содержит такой элемент а, что f (x) = а для любого x Е A.

4. Заключение

Полученные результаты продолжают исследования свойств алгебр {A,p,f) c мальцевской операцией p(x,y,z), определенной по правилу (1).

Автор выражает искреннюю благодарность В. Л. Усольцеву за постановку задач и постоянное внимание к работе, а также А. П. Бощенко и В. К. Карташову за ценные замечания.

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

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

С.31-32.

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

3. Johnsson B. A survey of Boolean algebras with operators // Algebras and Orders, NATO ASI Series. 1993. Vol. 389. P. 239-286

4. Hyndman J., Nation J. B., Nishida J. Congruence lattices of semilattices with operators, 2015, preprint. Источник: www.math.hawaii.edu/~jb/conslo_ submit.pdf (дата обращения июнь 2015).

5. Bonsangue M. M., Kurz A., Rewitzky I. M. Coalgebraic representations of distributive lattices with operators //Topology and its Applications. 2007. Vol. 154. No. 4. Pp. 778-791.

6. Adaricheva K. V., Nation J. B. Lattices of quasi-equational theories as congruence lattices of semilattices with operators: part I, part II // International Journal of Algebra and Computation. 2012. Vol. 22. Issue 07, part I: 27 p., part II: 16 p.

7. Nurakunov A. M. Equational theories as congruences of enriched monoids // Algebra Universalis. 2008. Vol. 58. No. 3. Pp. 357-372.

8. Berman J. On the congruence lattices of unary algebras // Proc. Amer. Math. Soc. 1972. Vol. 36. No. 1. Pp. 34-38.

О КОАТОМАХ И ДОПОЛНЕНИЯХ В РЕШЕТКАХ ...

223

9. Егорова Д. П., Скорняков Л. А. О структуре конгруэнций унарной алгебры / / Упорядоченные множества и решетки: межвуз. науч. сб.

Саратов: Изд-во Саратов. ун-та, 1977. Вып. 4. С. 28-40.

10. Бощенко А. П. Псевдодополнения в решетке конгруэнций унаров // Алгебраические системы: межвуз. сб. научн. работ. Волгоград: ВГПИ, 1989. С. 23-

26.

11. Бощенко А. П. О копсевдодополнениях в решетках конгруэнций унаров // Универсальная алгебра и ее приложения: тр. участ. междунар. семинара, посвящ. памяти проф. Моск. гос. ун-та Л. А. Скорнякова. Волгоград, 6-11 сент. 1999 г. Волгоград: Перемена, 1999. С. 39-44.

12. Pixley A. F. Distributivity and permutability of congruence relations in equa-tional classes of algebras // Proc. Amer. Math. Soc. 1963. Vol. 14. No. 1. Pp. 105-109.

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

14. Усольцев В. Л. О подпрямо неразложимых унарах с мальцевской операцией / / Известия Волг. гос. пед. ун-та, сер. "Естественные и физикоматематические науки". 2005. N 4(13). С. 17-24.

15. Усольцев В. Л. Строение атомов в решетках конгруэнций алгебр одного класса унаров с мальцевской операцией // Современные проблемы гуманит. и ест. наук: материалы XVIII Межд. науч.-практ. конф. М.: Спецкнига, 2014. С. 39-44.

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

17. Лата А. Н. Конгруэнц-однородные унары со стандартной мальцевской операцией / / Вестник СНО. Вып. 28. Волгоград: Перемена, 2012. С. 227-231.

18. Лата А. Н. Конгруэнц-регулярные унары со стандартной мальцевской операцией / / Вестник СНО. Вып. 29. Волгоград: Перемена, 2013. С. 317-321.

19. Лата А. Н. Слабо регулярные унары со стандартной мальцевской операцией / / Чебышевский сб. 2013. Т. 14, вып. 4(48). С. 146-153.

20. Салий В. Н. Решетки с единственными дополнениями. М: Наука, 1984. 128 с.

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

22. Артамонов В. А. [и др.] Общая алгебра. Т.2. / под общей ред. Л. А. Скорнякова. М.: Наука, 1991. 480 с.

А. Н. ЛАТА

224

23. Смирнов Д. М. Многообразия алгебр. Новосибирск: ВО "Наука". Сибирская изд. фирма, 1992. 205 с.

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

REFERENCES

1. Kartashov, V. K. 1999, "On unars with Mal’tsev operation" , Universal’naya algebra i ee prilozheniya: Tezisy soobshheniy uchastnikov mezhdunarodnogo seminara, posvyashhennogo pamyati prof. Moskovskogo Gos. Univ. L. A. Skor-nyakova, Peremena, Volgograd, pp. 31-32. (Russian)

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

3. Johnsson, B. 1993, "A survey of Boolean algebras with operators" , Algebras and Orders, NATO ASI Senes, vol. 389, pp. 239-286. doi: 10.1007/978-94-017-0697-1_6

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

4. Hyndman, J., Nation, J. B. & Nishida, J. 2015, "Congruence lattices of semilattices with operators" , preprint. Available at: www.math.hawaii.edu/ ~jb/conslo_submit.pdf (accessed June 2015)

5. Bonsangue, M. M., Kurz, A. & Rewitzky, I. M. 2007, "Coalgebraic Representations of Distributive Lattices with Operators" , Topology and its Applications, vol. 154, issue 4, pp. 778-791. doi: 10.1016/j.topol.2005.10.010

6. Adaricheva, K. V. & Nation, J. B. 2012, "Lattices of quasi-equational theories as congruence lattices of semilattices with operators" , International Journal of Algebra and Computation, vol. 22, issue 07, part I: 27 pp. doi: 10.1142/S0218196712500658; part II: 16 pp. doi: 10.1142/S021819671250066X

7. Nurakunov, A. M. 2008, "Equational theories as congruences of enriched monoids" , Algebra Universalis, vol. 58, no. 3, pp. 357-372. doi: 10.1007/s00012-008-2080-2

8. Berman, J. 1972, "On the congruence lattices of unary algebras" , Proceedings of the American Mathematical Society, vol. 36, no. 1, pp. 34-38. doi: 10.2307/ 2039033

9. Egorova, D. P. & Skornyakov, L. A. 1977, "On the congruence lattice of unary algebra" , Uporyadochennye Mnozhestva i Reshetki: Mezhvuzovskiy Na,uchnyy Sbornik, Izdatel’stvo Saratovskogo universiteta, Saratov, issue 4, pp. 28-40. (Russian)

О КОАТОМАХ И ДОПОЛНЕНИЯХ В РЕШЕТКАХ ...

225

10. Boshhenko, A. P. 1989, "Pseudocomplements in congruence lattices of unars" , Algebraicheskie Sistemy: Mezhvuzovskiy Sbornik Nauchnyh Rabat, Izdatel’stvo VGPI imeni A.S. Serafimovicha, Volgograd, pp. 23-26. (Russian)

11. Boshhenko, A. P. 2000, "On dual pseudocomplements in congruence lattices of unars" , Universal’naya algebra i ee prilozheniya: Trudy Uchastnikov Mezhdu-narodnogo Seminara, posvyashhennogo pamyati prof. Moskovskogo Gos. Univ. L. A. Skornyakova, Peremena, Volgograd, pp. 39-44. (Russian)

12. 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

13. Usol’tsev, V. L. 2008, "Simple and pseudosimple algebras with operators" , Fun-damental’naya i prikladnaya matematika vol. 14, no. 7, pp. 189-207 (Russian); translation in Journal of Mathematical Sciences, 2010, vol. 164, no. 2, pp. 281293. doi: 10.1007/S1095800997306

14. Usol’tsev, V. L. 2005, "On subdirect irreducible unars with Mal’tsev operation" , Izvestiya VGPU. Seriya estestvennye i fiziko-matematicheskie nauki, Volgograd, no. 4(13), pp. 17-24. (Russian)

15. Usol’tsev, V. L. 2014, "Structure of atoms in congruence lattices of algebras from one class of unars with Mal’tsev operation" , Sovremennye problemy gumanitarnyh i estestvennyh nauk: Materialy XVIII Mezhdunarodnoy nauchno-prakticheskoy konferencii 26-27 marta 2014 g., Spetskniga, Moscow, pp. 39-44. (Russian)

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

17. Lata, A. N. 2012, "Uniform unars with standard Mal’tsev operation" , Vestnik Studencheskogo Nauchnogo Obshhestva, Peremena, Volgograd, issue 28, pp. 227231. (Russian)

18. Lata, A. N. 2013, "Regular unars with standard Mal’tsev operation" , Vestnik Studencheskogo Nauchnogo Obshhestva, Peremena, Volgograd, issue 29, pp. 317321. (Russian)

19. Lata, A. N. 2013, "Weakly regular unars with standard Mal’tsev operation" , Chebyshevskiy sbornik, vol. 14, no. 4, pp. 146-153. (Russian)

20. Salii, V. N. 1988, “Lattices with unique complements”, Translations of the American Mathematical Society, American Mathematical Society, Providence, R.I.

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

226

А. Н. ЛАТА

22. Artamonov, V. A., Salii, V. N., Skornyakov, L. A., Shevrin, L. N. & Shul’geifer, E. G. 1991, "Obshchaya algebra. Tom 2"[General algebra. Vol. 2], in Skornyakov, L. A. (ed.), Nauka, Moscow, 480 pp. (Russian)

23. Smirnov, D. M. 1992, "Mnogoobraziya algebr"[Varieties of algebras], VO "Nauka", Sibirskaya izdateVskaya firma, Novosibirsk, 205 pp. (Russian)

24. 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

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

i Надоели баннеры? Вы всегда можете отключить рекламу.