CC BY
24
решетки. Саратов : Изд-во Сарат. ун-та, 1977. Т. 4. С. 28-40.
7. Егорова Д. П. Структура конгруэнций унарной алгебры // Упорядоченные множества и решетки. Саратов : Изд-во Сарат. ун-та, 1978. Т. 5. С. 11-44.
8. Johnson J., Seifert R. L. A survey of multi-
unary algebras. Mimeographed seminar notes. N. Y. : U. C. Berkeley, 1967. 16 p.
9. Карташов В. К. Независимые системы порождающих и свойство Хопфа для унарных алгебр //Дискретная математика. 2008. Т. 20, вып. 4. С. 79-84. DOI: 10.4213/dm1027.
On Conditions for Distributivity or Modularity of Congruence Lattices of Commutative Unary Algebras
V. K. Kartashov, A. V. Kartashova, V. N. Ponomarjov
Volgograd State Socio-pedagogical University, Russia, 400066, Volgograd, Lenina pr., 27, kartashovvk@yandex.ru, kartashovaan@yandex.ru
The paper is devoted to the problem of describing unary algebras whose congruence lattices have a given property. By now this problem has been solved for algebras with one unary operation. In the paper it is shown that this problem is much more difficult for arbitrary commutative unary algebras. We give some necessary conditions for such lattices to be distributive or modular. Besides, it is proved here that a lattice of all subsets of a set is isomorphic to the congruence lattice of a suitable connected commutative unary algebra.
Key words: commutative unary algebra, distributive lattice, modular lattice, congruence lattice of an algebra.
References
1. Gratzer G., Shmidt E. T. Characterizations of congruence lattices of abstract algebras. Acta Sci. Math., 1963, vol. 24, pp. 34-59.
2. Mal'tsev A. I. Algebraic Systems. Berlin, SpringerVerlag, 1976, 392 p. (Rus. ed. : Mal'tsev A. I. Algebraicheskie sistemy. Moscow, Nauka, 1970, 392 p.)
3. Skornjakov L. A. Unars. Coll. Math. Soc. J. Bolyai., 1982. vol. 29. Universal Algebra (Esztergom 1977). pp. 735-743.
4. Skornjakov L. A. Complements in the lattice of congruences. Mathematics of the USSR-Sbornik, 1972. vol. 17, no 1. pp. 148-181. DOI: 10.1070/SM1972v017n 01ABEH001495.
5. Berman J. On the congruence lattices of unary algebras. Proc. Amer. Math. Soc., 1972. vol. 36. no 1. pp. 34-38.
6. Egorova D. P., Skornjakov L. A. O strukture kon-grujencij unarnoj algebry [On congruence lattice of a unary algebra]. Uporjadochennye mnozhestva i reshetki [Ordered sets and lattices]. Saratov, Saratov Univ. Press, 1977, vol. 4. pp. 28-40 (in Russian).
7. Egorova D. P. Struktura kongrujencij unarnoj algebry [The congruence lattice of a unary algebra]. Uporjadochennye mnozhestva i reshetki [Ordered sets and lattices]. Saratov, Saratov Univ. Press, 1978, vol. 5. pp. 11-44 (in Russian).
8. Johnson J., Seifert R. L. A survey of multi-unary algebras. Mimeographed seminar notes. New York, U. C. Berkeley, 1967, 16 p.
9. Kartashov V. K. Independent systems of generators and the Hopf property for unary algebras. Discrete Mathematics and Applications, 2008, vol. 18, iss. 6, pp. 625-630. DOI: 10.1515/DMA.2008.047.
УДК 512.567.5
О РЕШЕТКАХ КОНГРУЭНЦИЙ ПРЯМЫХ СУММ СИЛЬНО СВЯЗНЫХ КОММУТАТИВНЫХ УНАРНЫХ АЛГЕБР
А. В. Карташова
Кандидат физико-математических наук, доцент кафедры алгебры, геометрии и математического анализа, Волгоградский государственный социально-педагогический университет, kartashovaan@yandex.ru
Объединение любого семейства попарно непересекающихся унарных алгебр называют их прямой суммой. Говорят, что унарная алгебра сильно связна, если она порождается любым своим элементом. В данной работе исследуется решетки конгруэнций коммутативных унарных алгебр с конечным числом операций, у которых каждая связная компонента является
сильно связной. Найдено необходимое и достаточное условие, при котором решетка конгруэнций произвольной алгебры из этого класса является дистрибутивной. Описан также класс всех дистрибутивных решеток конгруэнций алгебр из обозначенного класса.
Ключевые слова: коммутативная унарная алгебра, сильно связная алгебра, решетка конгруэнций алгебры.
ВВЕДЕНИЕ
Унарной алгеброй называется алгебра, сигнатура которой состоит из унарных символов. Любую унарную алгебру, очевидно, можно рассматривать как автомат без выхода. Поэтому унарные алгебры привлекали внимание многих исследователей. Значительное место в этих исследованиях занимают решетки конгруэнций унарных алгебр, которые несут важную информацию о свойствах самих алгебр.
Исследования в этом направлении достаточно глубоко продвинуты для случая решеток конгруэнций унаров, т.е. алгебр с одной унарной операцией. В [1] описаны унары, решетка конгруэнций которых либо полумодулярна сверху, либо атомарна. В [2] и [3] найдены условия, при которых решетка конгруэнций унара является решеткой с дополнениями, дистрибутивной, модулярной, цепью, либо стоуновой решеткой.
Решетки конгруэнций унарных алгебр, сигнатура которых содержит более одной операции, изучены мало. Такие решетки рассматривались рядом авторов (см., например, [4-7]). Однако, к настоящему времени для них получено значительно меньше результатов.
Унарная алгебра (Л, О) называется коммутативной, если /(д(а)) = д(/(а)) для любых /, д е О и а е Л.
Объединение любого семейства попарно непересекающихся унарных алгебр называют их прямой суммой. В частности, запись А = Ах + А2 означает, что алгебра А является прямой суммой алгебр Ах и А2.
Унарная алгебра называется сильно связной, если она порождается любым своим элементом. Например, сильно связными унарами являются циклы и только они (циклом называют однопорожденный унар (Л, /) такой, что /п(а) = а, где а - порождающий элемент этого унара, п е М).
Многообразие унарных алгебр конечной сигнатуры О называется сильно регулярным, если оно определяется тождествами вида и>(х) = х, где слово т содержит все символы из О (см, например, [8]).
Нетрудно показать, что каждая коммутативная связная алгебра любого сильно регулярного многообразия является сильно связной. К таким многообразиям относится, например, многообразие АХд алгебр с двумя унарными операциями / и д, определяемое тождествами /(д(х)) = д(/(х)) = х (см. [9-11]).
В дальнейшем будем обозначать через К класс всех коммутативных унарных алгебр с конечным числом операций, каждая из которых либо сильно связна, либо является прямой суммой сильно связных алгебр.
В данной работе найдено необходимое и достаточное условие, при котором решетка конгруэн-ций алгебры из класса К дистрибутивна, и охарактеризован класс всех дистрибутивных решеток конгруэнций алгебр этого класса.
1. ОСНОВНЫЕ ОПРЕДЕЛЕНИЯ И ВСПОМОГАТЕЛЬНЫЕ РЕЗУЛЬТАТЫ
Пусть А = (Л, О) — произвольная унарная алгебра. Через О* обозначается свободный моноид слов с порождающим множеством О относительно композиции. Единицей в О* служит пустое слово 0. В дальнейшем N всюду означает множество положительных целых чисел и М0 = N и {0}.
Результат и>(а) применения слова т е О* к элементу а е Л определяется индукцией по длине слова т (см. [12, с. 142]). Отсюда, если т = т1т2, то т(а) = (т2(а)), где ,т2 е О* и а е Л. По определению также полагаем /0(а) = 0а = а, /п(а) = /(/п-1 (а)) для произвольных / е О, а е Л и п е N.
Для любого слова и е О* определим отображение 5и : Л ^ Л равенством 5и(а) = и(а) для любого а е Л. Множество {¿и| и е О*} образует полугруппу Б (А) относительно композиции. Эта полугруппа называется характеристической полугруппой унарной алгебры А. В [13] показано, что характеристическая полугруппа всякой сильно связной коммутативной унарной алгебры является абелевой группой.
Для любого элемента а произвольной унарной алгебры А через (а) обозначается подалгебра, порожденная элементом а.
Очевидно, что для любой коммутативной унарной алгебры А = (Л, О) бинарное отношение П = {(а,Ь) е Л х Л| (а) П (Ь) = 0} является конгруэнцией этой алгебры. Классы конгруэнции п называются компонентами связности алгебры А. Легко проверить, что каждая компонента связности будет подалгеброй этой алгебры.
Коммутативная унарная алгебра называется связной, если она имеет ровно одну компоненту связности.
Лемма 1. Если унарная алгебра А содержит более двух компонент связности, то решетка СопА конгруэнций этой алгебры не является дистрибутивной.
Доказательство аналогично доказательству леммы 1 из [3] для унаров. □
Лемма 2. Пусть А = Ах +А2, где Ах = (Лх, О) и А2 = (Л2, О) — сильно связные коммутативные унарные алгебры, причем для некоторой конгруэнции а е СопА \{1СопА} существуют элементы а е Ах, Ь е А2, такие, что (а, Ь) е а. Тогда решетка СопА конгруэнций этой алгебры не является модулярной.
Доказательство. Положим т = {(х,у)1 (хау&х,у е Лх) V х,у е Л2}, 7 = {(х,у)1 3 г е {1, 2} (х,у е Лг)}. Непосредственная проверка показывает, что е СопА и т < 7. Предположим теперь, что т = 7. Тогда для произвольного элемента х е Лх получаем хта, поскольку х^а в силу определения конгруэнции 7, откуда хаа. Это означает, что Лх С [а]а. Кроме того, так как алгебра А2 сильно связная, то для любого у е Л2 найдется слово и е О* такое, что у = и(Ь). Отсюда уаи(а), поскольку ааЬ и, значит, у е [и(а)]а = [а]а. Следовательно, [а]а = Л, что противоречит условию. Таким образом, т = 1.
Легко убедиться, что а Л т = а Л 7 и а V т = 1СопА. Поэтому конгруэнции 1СопА,а Л т
образуют пятиэлементную немодулярную решетку. □
Для произвольной решетки Ь через Ь' будем обозначать решетку, полученную из Ь добавлением внешним образом наибольшего элемента.
Лемма 3. Пусть А = Ах + А2, где Ах = (Лх, О) и А2 = (Л2, О) - сильно связные коммутативные унарные алгебры, причем для любой конгруэнции в е СопА и элементов х е Лх, у е Л2, справедлива импликация
хву ^ в = 1сопА.
Тогда СопА = (СопАх х СопА2)'.
Доказательство. Пусть е - добавленный внешним образом наибольший элемент решетки (СопАх х СопА2)'. Для любой крнгруэнции в е СопА положим
I е, если в = 1сопА,
ф(в) = <
у(вх,в2), если в = 1сопА,
где вх = {(х,у)1 хву & х, у е Лх}, в2 = {(х,у)1 хву & х,у е Л2}.
Очевидно, что вх е СопАх, в2 е СопА2, причем в < р ^ <р(в) < <р(р) для любых конгруэнций в,р е СопА.
Пусть теперь в,р е СопА \ {1СопА}, <р(в) < <р(р) и хву, где х,у е А. Тогда {х, у} С Лг для некоторого г е {1,2}, откуда (х,у) е вх и в2 и, значит, (х,у) е рх и р2. Поэтому (х,у) е р и, следовательно, в < р.
Убедимся, что отображение р : ConA ^ (ConA1 х ConA2)' сюрьективно. Действительно, пусть (01,в2) G ConA1 х ConA2. Зададим отношение в на множестве A1 U A2 по правилу в = 0i U 02 U {(а, а)| a G Ai U A2}. Непосредственная проверка показывает, что 0 G ConA и ^(0) = (0i ,02). □
Для любого числа n G N через Ln будем обозначать решетку целых положительных делителей числа n. Через N обозначается решетка, двойственная к решетке целых положительных чисел по делимости.
Лемма 4. Пусть A = (A, О) - сильно связная коммутативная унарная алгебра с конечным числом операций, решетка конгруэнций которой дистрибутивна. Тогда справедливы следующие утверждения:
1) если алгебра A конечна, то ConA = Ln, где n = |A|;
2) если алгебра A бесконечна, то ConA = N.
Доказательство. Заметим сначала, что решетка SubS(A) подгрупп группы S(A) дистрибутивна, так как SubS (A) = ConA, ввиду [8, теорема 1]. Эта группа является конечно порожденной, поскольку A - алгебра с конечным числом операций. Следовательно, S(A) - циклическая группа по теореме Оре (см. [14, теорема 78.2]).
Кроме того, |S (A)| = |A|. Поэтому, если алгебра A конечна, то SubS (A) = Ln, где n = |S (A)| = | A|. Если же алгебра A бесконечна, то ConA = N. □
Лемма 5. Пусть A1 = (A1,О) и A2 = (A2,О) — сильно связные коммутативные унарные алгебры, A = A1 + A2, в G ConA, a G A2 и A1 с [ajé». Тогда в = 1ConA.
Доказательство. Пусть b G A2. Убедимся, что b G [ajé. Для этого зафиксируем произвольный элемент с G A1. Тогда авс, так как A1 с [a]é.
Кроме того, b = u(a) для некоторого слова u G О*, поскольку A2 - сильно связная алгебра. Следовательно, b0u(c), откуда a0b, так как u(c) G A1. □
2. ОСНОВНЫЕ РЕЗУЛЬТАТЫ
Из лемм 2-4 непосредственно вытекает
Теорема 1. Решетка конгруэнций алгебры A класса K дистрибутивна тогда и только тогда, когда справедливо одно из следующих условий
1) A сильно связная алгебра и S(A) — циклическая группа;
2) A = A1 + A2, где A1, A2 — сильно связные алгебры, S(A1 ),S(A2) - циклические группы, причем справедлива импликация
(a,b) G в ^ в = IconA
для любой конгруэнции в G ConA и элементов a G A1, b G A2. □
Для любых целых чисел s, k1, k2,... ,ks обозначим через Z(k1, к2,..., ks) алгебру (Z, f1, f2,..., fs), где Z — множество целых чисел и f (x) = x + k¿ при всех x G Z, i G {1, 2,..., s}.
Через Zn(k1 ,k2,..., ks), n G N, обозначим алгебру (Zn, f1, f2,..., fs), где Zn — множество классов вычетов по модулю n, fj(x) = X + при всех X G Zn, i G {1, 2,..., s}.
Теорема 2. Пусть L - произвольная дистрибутивная решетка. Тогда L = ConA для некоторой алгебры A G K тогда и только тогда, когда L изоморфна одной из решеток следующих видов:
1) Ln, n G N;
2) N;
3) Ln, n G N;
4) (Ln х N)', n G N;
5) (N х N)'.
Доказательство. Необходимость. Поскольку решетка конгруэнций алгебры А дистрибутивна, то по лемме 1 алгебра А содержит не более двух компонент связности. Если при этом алгебра А является связной, то либо СопА = п е М, либо СопА = N по лемме 4.
Пусть теперь алгебра А состоит из двух компонент связности. Тогда А = Ах + А2, где Ах, А2 -некоторые коммутативные сильно связные алгебры. Кроме того, СопА = (СопАх х СопА2)' в силу лемм 2 и 3.
Далее, решетки СопАх и СопА2 также дистрибутивны, так как Ах и А2 — подалгебры алгебры А2. Отсюда, снова применяя лемму 4, получаем, что каждая из решеток СопАх и СопА2 либо изоморфна решетке N, либо - одной из решеток вида п е N. Осталось воспользоваться тем очевидным фактом, что для любых п,т е N декартово произведение х = где 5 е N.
Достаточность. Заметим сначала, что Зп(1), 3(1, —1), п е N — сильно связные алгебры. Кроме того, Соп3п(1) = ввиду [1, лемма 2] и Соп3(1, —1) = N согласно [11, следствие 2 из леммы 3].
Пусть п е N А = 3п(1) + Е, где Е = ({е}, /х} - одноэлементная алгебра. Тогда, очевидно, А е К. Покажем, что СопА = . Действительно, если аве для некоторой конгруэнции в е СопА и элемента а е 3п(1), то в = 1СопА по лемме 5. Следовательно, СопА = (Соп3п(1) х СопЕ)' в силу леммы 3, откуда, очевидно, СопА = .
Пусть теперь А = 3п(1,1,1) + 3(0,1, —1). Тогда А е К, так как 3п(1,1,1) и 3(0,1, —1) — сильно связные коммутативные унарные алгебры.
Если при этом авЬ для некоторых в е СопА, а е 3п(1,1,1), Ь е 3(0,1, —1), то /[(а)в/[(Ь), т. е. /г (а)вЬ, г е N. Это означает, что в = 1СопА ввиду леммы 5. Следовательно, СопА = (^п х N)' в силу лемм 3 и 4.
Пусть, наконец, А = 3(1, —1, 0) + 3(0,1, —1) и в е СопА. Предположив, что авЬ, а е 3(1, —1,0), Ь е 3(0,1, —1), то /[(а)в/Г(Ь), откуда /{(а)вЬ и /{(а)ва для любого г е N.
Если же с е 3(1, — 1,0) и с = /2 (а), где с е N то имеем /2(а)в/2/х(а), т. е. сва, свЬ. Следовательно, 3(1, — 1,0) С [Ь]в. Отсюда, снова применяя лемму 5, получаем в = 1СопА. Поэтому СопА = (3(1, — 1, 0) х 3(0,1, —1))' в силу леммы 3. Таким образом, СопА = (Ж х N)' по лемме 4. □
Библиографический список
1. Berman J. On the congruence lattices of unary algebras // Proc. Amer. Math. Soc. 1972. Vol. 36, № 1. P. 34-38.
2. Егорова Д. П., Скорняков Л. А. О структуре конгруэнций унарной алгебры // Упорядоченные множества и решетки : сб. науч. тр. Саратов : Изд-во Сарат. ун-та, 1977. Вып. 4. С. 28-40.
3. Егорова Д. П. Структура конгруэнций унарной алгебры // Упорядоченные множества и решетки : сб. науч. тр. Саратов : Изд-во Сарат. ун-та, 1978. Вып. 5. С. 11-44.
4. Gratzer G., Shmidt E. T. Characterizations of congruence lattices of abstract algebras // Acta Sci. Math. 1963. Vol. 24. P. 34-59.
5. Johnson J., Seifert R. L. A survey of multi-unary algebras. Mimeographed seminar notes. N.Y. : U. C. Berkeley, 1967. 16 p.
6. Esik Z, Imreh B. Subdirectly irreducible commutative automata // Acta Cybernetica. 1981. Vol. 5, № 3. P. 251260.
7. Карташова А. В. О конечных решетках топо-
логий коммутативных унарных алгебр // Дискретная математика. 2009. Т. 21, № 3. С. 119-132. 001: 10.4213/бш1065.
8. Карташов В. К. Независимые системы элементов в коммутативных унарных алгебрах // Алгебра и теория чисел : современные проблемы и приложения : тез. докл. междунар. науч. конф. Саратов : Изд-во Сарат. ун-та, 2011. С. 29.
9. Акатаев А. А., Смирнов Д. М. Решетки подмногообразий многообразий алгебр // Алгебра и логика. 1968. Т. 7, № 1. С. 5-25. 001: 10.1007/БЕ02218747.
10. Карташов В. К. О решетках квазимногообразий унаров // Сиб. мат. журн. 1985. Т. 26, № 3. С. 49-62. 001: 10.1007/БЕ00968621.
11. Бощенко А. П. Решетки конгруэнций унарных алгебр с двумя операциями / и д, удовлетворяющими тождествам /(д(х)) = д(/(х)) = х или /(д(х)) = х / Волгоградский государственный педагогический университет. Волгоград, 1998. Деп. в ВИНИТИ 20.04.1998, № 1220-В98.
12. Мальцев А. И. Алгебраические системы. М. : Наука, 1970. 392 с.
13. Esik Z, Imreh B. Remarks on finite commutative 14. Fuchs L. Abelian groups. Budapest : Publ. House of
automata // Acta Cybernetica. 1981. Vol. 5, № 3. P. 143- the Hungar. Acad. Sci., 1958. 367 p.
146.
On Congruence Lattices of Direct Sums of Strongly Connected Commutative Unary Algebras
A. V. Kartashova
Volgograd State Socio-Pedagogical University, Russia, 400066, Volgograd, Lenina prospekt., 27, kartashovaan@yandex.ru
A union of mutually disjoint unary algebras is called their direct sum. A unary algebra is said to be strongly connected if it is generated by its arbitrary element. In the present paper we investigate congruence lattices of the class of all algebras with finitely many operations whose every connected component is strongly connected. We give a necessary and sufficient condition for an algebra from this class to have a distributive congruence lattice (Theorem 1). Besides, all distributive congruence lattices of algebras from the above class are discribed (Theorem 2).
Key words: commutative unary algebra, strongly connected algebra, congruence lattice of an algebra.
References
1. Berman J. On the congruence lattices of unary algebras. Proc. Amer. Math. Soc., 1972, vol. 36, no 1, pp. 34-38.
2. Egorova D. P., Skornjakov L. A. O strukture kongrujencij unarnoj algebry [On congruence lattice of a unary algebra]. Uporjadochennye mnozhestva i reshetki [Ordered sets and lattices]. Saratov, Saratov Univ. Press, 1977, vol. 4, pp. 28-40 (in Russian).
3. Egorova D. P. Struktura kongrujencij unarnoj algebry [The congruence lattice of a unary algebra]. Uporjadochennye mnozhestva i reshetki [Ordered sets and lattices]. Saratov, Saratov Univ. Press, 1978, vol. 5, pp. 11-44 (in Russian).
4. Gratzer G., Shmidt E. T. Characterizations of congruence lattices of abstract algebras. Acta Sci. Math., 1963, vol. 24, pp. 34-59.
5. Johnson J., Seifert R. L. A survey of multi-unary algebras. Mimeographed seminar notes. New York, U. C. Berkeley, 1967. 16 p.
6. Esik Z., Imreh B. Subdirectly irreducible commutative automata // Acta Cybernetica, 1981, vol. 5, no 3, pp. 251260.
7. Kartashova A. V. On finite lattices of topologies of commutative unary algebras. Discrete Mathematics and Applications, 2009, vol. 19, iss. 4, pp. 431-443. DOI: 10.1515/DMA.2009.030.
8. Kartashov V. K. Nezavisimye sistemy jelementov v
kommutativnyh unarnyh algebrah [Independent systems of elements in commutative unary algebras]. Algebra i teorija chisel: sovremennye problemy i prilozhenija : tezisy dokl. mezhdunar. nauch. konf., Saratov, 2011, pp. 29 (in Russian).
9. Akataev A. A., Smirnov D. M. Lattices of submanifolds in manifolds of algebras. Algebra and Logic, 1968, vol. 7, iss. 1, pp.2-13. DOI: 10.1007/BF02218747.
10. Kartashov V. K. Lattices of quasivarieties of unars. Siberian Mathematical Journal, 1985, vol. 26, iss. 3, pp. 346-357. DOI: 10.1007/BF00968621.
11. Boschenko A. P. Reshetki kongrujencij unarnyh algebr s dvumja operacijami f i g, udovletvorjajushhimi tozhdestvam f (g(x)) = g(f(x)) = x ili f (g(x)) = x [Congruence lattices of unary algebras with two operations f and g which satisfy the identities f(g(x)) = g(f(x)) = x or f(g(x)) = x]. Volgograd pedagogical university. Volgograd, 1998. Dep. VINITI 20.04.1998, № 1220-B98 (in Russian).
12. Mal'tsev A. I. Algebraic Systems. Berlin, SpringerVerlag, 1976, 392 p. (Rus. ed. : Mal'tsev A. I. Algebraicheskie sistemy. Moscow, Nauka, 1970, 392 p.)
13. Esik Z., Imreh B. Remarks on finite commutative automata. Acta Cybernetica, 1981, vol. 5, iss. 3, pp. 143146.
14. Fuchs L. Abelian groups. Budapest, Publ. House of the Hungar. Acad. Sci., 1958, 367 p.
