CC BY
22
Онлайн-доступ к журналу: http: / / mathizv.isu.ru
Серия «Математика»
2019. Т. 28. С. 113-122
УДК 519.716 MSG 08А99,03В50
DOI https://doi.org/10.26516/1997-7670.2019.28.113
Теория Галуа
для конечных алгебр
операций и мультиопераций ранга 2
Н. А. Перязев
Санкт-Петербургский государственный электротехнический университет «ЛЭТИ» им. В. И. Ульянова (Ленина), Санкт-Петербург, Российская Федерация
Аннотация. Построение теории Галуа для алгебр операций и отношений является популярной тематикой и находит многочисленные применения как в алгебре, так и в дискретной математике. Особенно это проявляется для совершенной связи Галуа, так как если такая связь установлена для множеств всех подалгебр некоторой алгебры, то алгебраическое замыкание в этой алгебре совпадает с замыканием Галуа, и это является действенным инструментом при решении многих алгебраических вопросов. Отметим, что хорошо известна совершенная связь Галуа для клонов и ко-клонов, а также некоторых алгебр операций, например, для клонов и суперклонов. Во всех этих случаях рассматривались бесконечные алгебры.
Данная статья посвящена изучению теории Галуа для конечных алгебр операций и мультиопераций при фиксированном ранге и произвольной размерности. Найдены необходимые и достаточные условия на размерность алгебр для того, чтобы связь Галуа между решетками подалгебр алгебр операций и алгебр мультиопераций ранга 2 была совершенной. Поставлен открытый вопрос о решении общей задачи нахождении необходимых и достаточных условий существования совершенной связи Галуа между решетками алгебр операций и алгебр мультиопераций произвольного фиксированного ранга.
Ключевые слова: операция, мультиоперация, теория Галуа, стабилизатор, нормализатор.
1. Введение
Установление связи Галуа [2] для упорядоченных множеств является важной особенностью таких множеств. При этом если имеется совер-
шенная связь Галуа для множеств всех подалгебр некоторой алгебры, то алгебраическое замыкание в этой алгебре совпадает с замыканием Галуа, и это является действенным инструментом при решении многих алгебраических вопросов.
Найдена совершенная связь Галуа для клонов и ко-клонов [1], для клонов и суперклонов [4]. Отметим, что алгебры п-местных операций изучались в работах [6; 7; 9].
Данная статья посвящена построению теории Галуа для конечных алгебр операций и мультиопераций при фиксированном ранге и произвольной размерности. Гезультаты этой статьи анонсированы в [5].
2. Мультиоперации и их задание векторной формой
Пусть А — произвольное множество, В (А) — множество всех подмножеств А, п — натуральное число. Отображение / декартовой степени Аа в В ( А) называется п-местной мультиоперацией на А. Если при этом все образы одноэлементные, то / называем п-местной операцией.
Мультиоперации / на произвольном конечном множестве А = {ао, ...,(1к-1} можно представлять как отображения
/ : {2°, 21,..., 2к~1}п —>■ {0,1,..., 2й — 1}, получаемых из / при кодировке
аг^2г- 0^0; {аг1,...,аге} 2*1 + ... + 2Ч
Говорим, что / мультиоперация размерности п, ранга к. В дальнейшем без дополнительных оговорок будем рассматривать только мультиоперации конечного ранга к > 2 и размерности п > 2.
Будем использовать обозначения О^ для множества мультио-
пераций и операций размерности п, ранга к. Очевидно выполняется
о™ с Чга)-
Определим векторную форму / = (а\,..., а^) мультиоперации / размерности п, ранга к, так сц € {0,1, ...,2к — 1} и сц = /(2П, ...,2гп), а (¿1,...,гп) есть представление г — 1 в системе исчисления по основанию к п-разрядным числом.
Примеры ранга 2:
размерность 2: (0000), (3333), (1122), (1212), (1002), (2301);
размерность 3: (33333333), (11112222), (12121212), (03220130).
ТЕОРИЯ ГАЛУА ДЛЯ КОНЕЧНЫХ АЛГЕБР 3. Алгебры операций и мультиопераций
Определим следующие n-местные мультиоперации так: пустая мультиоперация on(ai,...,ап) = 0; проекция по г аргументу e™(ai, ...,ап) = {a¿}.
Определим следующие метаоперации на множестве n-местных мультиопераций:
Метаоперация суперпозиции / € М^ и f\,..., fn € М^
(/* fi,-,fn)(ai, ...,ап) = |J f(bi,...,bn).
bi&fi(ai,...,an) (п)
Метаоперация разрешимости / е Мк
(/x/)(ai, ...ап) = {a\ai е f(a, а2,..., ап)}.
Легко видно, что:
Ъ € (nf)(c, а2, ап) с € /(Ъ, а2, ап).
Определение 1. Алгеброй операций ранга к, размерности п называется любое подмножество /С С содержащее все п-местные проекции и замкнутое относительно метаоперации суперпозиции.
При фиксированном к введем обозначение [К]п для алгебры операций размерности п, порожденной множеством К С О^ и Vk™ для упорядоченного по включению множества всех алгебр операций ранга к, размерности п (этот порядок, очевидно, является решеточным).
Определение 2. Алгеброй мультиопераций ранга к, размерности
(п)
п называется любое подмножество 1Z С М.к , содержащее все п-местные проекции, пустую п-местную мультиоперацию и замкнутое относительно метаопераций суперпозиции и разрешимости.
При фиксированном к введем обозначение (R }п для алгебры муль-
(п)
тиопераций размерности п, порожденной множеством R С J\4k и Wk для упорядоченного по включению множества всех алгебр мультиопераций ранга к, размерности п (порядок так же решеточный).
4. Связь Галуа для упорядоченных множеств
В этом разделе приведем основные сведения об общей теории Галуа, следуя [2].
Пусть C,D упорядоченные множества.
Пара соответствий р:С^-Т)итт:Т)^-С определяет связь Галуа для Си®, если выполняются условия:
1) ДЛЯ любых С\,С2 £ С И (¡1,(12 € V если С\ < С2 и (1\ < (¿2, то р{с\) > р(с2) И тг(й) > 7г(сг2);
2) для любых с € С и с1 € £> верно 7г(р(с)) > с и р(тг(с1)) > <1.
Если при этом выполняется тт(р(с)) = с, то связь Галуа совершенна в С, если р(,п((1)) = (1, то совершенна вРи просто совершенной, если является совершенной там и там. Часто полезен следующий критерий [2].
Теорема 1. 1. Связь Галуа совершенна в С тогда и только тогда, когда для любых различных элемента С\,С2 € С следует, что р{с\) и р(сг) различны.
2. Связь Галуа совершенна в V тогда и только тогда, когда для любых различных элемента (1\,(12 € V следует, что ж((1\) и тт((12) различны.
171
5. Теория Галуа для У/.' и Ц)
Для формулировки тождества полуперестановочности распространим определение суперпозиции на случай мультиопераций разной размерности следующим образом. Если / € М^ и /1,..., /га то
(/* /1,...,/п)(аь...,ат) = У /(&ь...,&„).
Пусть / € -М.^ и д € М^ ■ Определим тождество полуперестановочности для / и д так:
(/ * (д * еГ, • • •, еГ), • • •, (9 * ер1)т+1,..., <££)) С
С (п ± ± рпт рпт рпт \ ( ? ± рпт рпт рпт\\
± \У * и * ь 1 ! ет+1> • • • ! (га— 1)т+1 /' "чи^т > е2т > • • • > егат//>
где верхний индекс у проекций указывает на их размерность.
В этом случае будем говорить, что / стабильна относительно д и д нормальна относительно /.
Пусть д € М^ и / € . Тогда
Зп(д) = {/ | / € и / стабильна относительно
^т(/) = I 9 ^ •Л^д;"1'' и 9 нормальна относительно /}.
Множество 8п(д) называется п-стабилизатором д, а множество Nт(/) т-нормализатором /.
Пусть ДСМ[т)иКС ОТогда
— п-стабилизатор множества мультиопераций Щ
дек
Мт(К) = Лг"г(/) — т-нормализатор множества операций К.
Теорема 2. Пара соответствий ¿>га и Мт определяет связь Галуа между множествами и WJJl.
Доказательство. Пусть К,\,К,2 € и К,\ С /С2- Тогда
Ат(/с2) = П С р| ЛГ(Я = Ат(/С1).
Теперь пусть 7гь7г2 € И^ и 72-1 С 72-2- Тогда
5га(7г2) = р| ¿Г^) С р| Бп{д) = Бп{П1). д£ П2 д&П1сп2
Пусть /С е Тогда любая / € /С стабильна со всеми д € Ж"1 (/С), а значит / € 5га(Жт(/С)). Получили /С С 5га(Жт(/С)). Теперь пусть € Тогда любая д € нормальна со всеми / € 5га(7г), а значит # € Мт{Бп{К)). Получили К С Мт{Бп{К)). Доказали выполнимость условий определения связи Галуа. □
6. Теория Галуа для К," и И'^"
В случае ранга к = 2 получаются необходимые и достаточные условия для того чтобы связь Галуа являлась совершенной.
Теорема 3. Для ранга 2 верно:
1) пара соответствий ¿>га и Мт является совершенной в У£" связью Галуа тогда и только тогда, когда т > тах{3,п — 1};
2) пара соответствий ¿>га и Мт является совершенной в Ш™ связью Галуа тогда и только тогда, когда п > тах{3, т + 1};
3) пара соответствий ¿>га и Мт является совершенной связью Галуа тогда и только тогда, когда т = п — 1 > 3.
Доказательство. Для доказательства пункта 1) проведем следующие рассуждения. Так как число алгебр операций размерности п конечно,
то следуя теореме 1 связь Галуа будет совершенной в Уп тогда и только тогда, когда различных нормализаторов 1Ят будет столько же. Отсюда так же следует, что если пара соответствий ¿>га и Ит является совершенной в У^1 связью Галуа, то и пара соответствий ¿>га и ТУ" для всех г >т является совершенной в V2га. А если пара соответствий ¿>га и Ит не является совершенной в У^1 связью Галуа, то и пара соответствий ¿>г и И™1 для всех г > п не является совершенной в У£.
Число алгебр операций фиксированной размерности определяется из результатов Э. Поста (см., например, [3;8]).
Число алгебр операций размерности 2 равно 26, при этом число нормализаторов И2 равно 25, а число Ж3 равно 26.
Далее, число алгебр операций размерности п > 3 и число нормализаторов совпадают и равно 8п + 22.
Покажем как вычислялось число нормализаторов при различных размерностях на примере п = 4 и т = 3.
Строим таблицу следующим образом:
— столбцы отмечаем всеми п-местными операциями;
— строки отмечаем всеми т-местными мультиоперациями;
— в клетке таблицы отмеченной операцией / и мультиоперацией д ставим 1, если д нормальна относительно /, иначе ставим 0;
— среди одинаковых строк оставляем одну;
— среди одинаковых столбцов оставляем один. Получаем таблицу 1.
Далее берем всевозможные произведения столбцов и оставляем только различные. В итоге получим таблицу где каждый столбец определяет нормализатор. Число столбцов равно числу различных нормализаторов.
Аналогичные рассуждения проводим для доказательства пункта 2), только число алгебр мультиопераций фиксированной размерности определяется кроме результатов Э. Поста еще из работ [1;4].
Число алгебр мультиопераций размерности 2 равно 44, при этом число стабилизаторов Б2 равно 25, а число ¿>3 равно 44.
Далее, число алгебр мультиопераций размерности т > 3 и число стабилизаторов 1 совпадают и равно 8п + 30.
Для вычисления числа стабилизаторов были проделаны аналогичные действия с построенной таблицей, но уже относительно строк.
Гезультат вычислений для нахождения числа нормализаторов ранга 4 и числа стабилизаторов размерности 3 приводятся в таблице 2 (вычисления производились на компьютере А. М. Ожогиным при произвольном упорядочении операций и мультиопераций, причем операции стоят по строкам, а мультиоперации по столбцам).
Таблица 1
(1212121212121212) (2121212121212121) (1221211212212112) (1112122211121222) (1111111111111111) (М (М (М (М (М (М (М (М (М (М (М (М (М (М (М (М (1112111211121112) (М (М (М (М (М (М (М (М (М (М (М (М (1111212211112122) (1121222211212222) (1111122211111222) (1112222211122222) (1111111211121222) (1112122212222222)
(12121212) 1 1 1 1 1 1 1 1 1 1 1 1 1 1
(21212121) 1 1 1 1 0 0 0 0 0 0 0 0 0 0
(12212112) 1 1 1 0 1 1 0 0 0 0 0 0 0 0
(13321332) 1 1 0 0 1 1 0 0 0 0 0 0 0 0
(13131313) 1 0 0 1 1 1 1 1 0 0 1 1 1 1
(33323332) 1 0 0 0 1 1 1 0 0 0 0 0 0 0
(13331333) 1 0 0 0 1 1 0 1 0 0 0 0 0 0
(11111111) 1 0 1 1 1 0 1 1 1 1 1 1 1 1
(22222222) 1 0 1 1 0 1 1 1 1 1 1 1 1 1
(31313131) 1 0 0 1 1 0 1 0 1 0 1 0 1 0
(23232323) 1 0 0 1 0 1 0 1 0 1 0 1 0 1
(33313331) 1 0 0 0 1 0 1 0 1 0 1 0 1 0
(23332333) 1 0 0 0 0 1 0 1 0 1 0 1 0 1
(33333331) 1 0 0 0 1 0 1 0 1 0 1 0 0 0
(23333333) 1 0 0 0 0 1 0 1 0 1 0 1 0 0
При переходе отяиткп|1ит + 1в таблице, аналогичной Таблице 1, получаются две новые строки отмеченные мультиоперациями (3...31) и (23...3), а также два новых столбца отмеченных операциями / и двойственной к ней, где / принимает 1 на наборах, содержащих не более одной 2.
При построении таблицы, аналогичной таблице 2, образовывается 8 новых столбцов и 8 новых строк. Это вытекает из того, что каждый из двух новых столбцов совпадает с одним уже имеющимся во всех позициях, кроме одной (это одна из новых строк) и этот столбец участвовал в образовании столбцов таблицы 2 четыре раза. Аналогично проходят рассуждения для строк.
Пункт 3) условия теоремы непосредственно следует из двух предыдущих пунктов. □
Следствие 1. Для ранга 2 верно:
1) для любого множества К С О^ для п > 4 выполняется
[К] = Бп(Мт(К)) прит>п-1]
2) для любого множества К С для т > 3 выполняется
(К) = Жт(5га(Е)) при п > т + 1;
3) упорядоченные множества Vи И7^ при п > 4 антиизоморфны.
Доказательство. 1) Следует из пункта 1) теоремы и равенства И™(К) = Мт([К]), которое несложно доказывается (смотри в [4]).
2) Аналогично следует из пункта 2) теоремы и равенства 5"(Д) = 5"«Д)).
3) Непосредственно следует из пункта 3) теоремы. □
Таблица 2.
7. Заключение
Общая задача о нахождении необходимых и достаточных условий для того, чтобы связь Галуа между упорядоченными множествами алгебр операций и алгебр мультиопераций произвольного фиксированного ранга была совершенной, является достаточно сложной проблемой. Предложенный в данной статье метод уже при ранге 3 неприменим из-за экспоненциального роста вычислений. Решение этой задачи даже для ранга 3 другим методом представляет большой интерес и являлось бы важным развитием теории Галуа для конечных множеств.
Список литературы
1. Теория Галуа для алгебр Поста I-II / В. Г. Боднарчук, Л. А. Калужнин, В. Н. Котов, Б. А. Ромов // Кибернетика. 1969. № 3. С. 1-10; № 5. С. 1-9.
2. Ope О. Теория графов. М. : Наука, 1980. 336 с.
3. Перязев Н. А., Казимиров А. С. Замкнутые множества булевых функций. Иркутск : Изд-во Вост.-Сиб гос. акад. образования, 2010. 52 с.
4. Перязев Н. А., Шаранхаев И. К. Теория Галуа для клонов и суперклонов // Дискретная математика. Т. 27, вып. 4. 2015. С.79-93. https://doi.org/10.4213/dml349
5. Перязев Н. А. Алгебры n-местных операций и мультиопераций // XV Международная конференция «Алгебра, теория чисел и дискретная геометрия: современные проблемы и приложения» : тез. докл. Тула, 28-31 мая 2018 г.. Тула, 2018. С. 113-116.
6. Пинус А. Г. О фрагментах функциональных клонов // Алгебра и логика. Т. 56, №4. 2017. С. 477-485. https://doi.org/10.17377/alglog.2017.56.406
7. Черепов А. Н., Черепов И. А. Классы сохранения оснований в многозначных логиках // Труды 4-й Международной конференции «Дискретные модели в теории управляющих систем». М. : МАКС Пресс, 2000. С. 135-136.
8. Яблонский С. В., Гаврилов Г. П., Кудрявцев В. Б. Функции алгебры логики и классы Поста. М. : Наука, 1966. 120 с.
9. Poschel R, Kaluzhnin L. A. Function and Relaction Algebras. Berlin, 1979. 259 p.
Николай Алексеевич Перязев, доктор физико-математических наук, профессор, Санкт-Петербургский государственный электротехнический университет «ЛЭТИ» им. В. И. Ульянова (Ленина), Российская Федерация, 197376, Санкт-Петербург, ул. Профессора Попова, 5, тел.:(812)3464487 (e-mail: [email protected])
Поступила в редакцию 25.04-19
Galois Theory for Finite Algebras of Operations and Mul-tioperations of Rank 2
N. A. Peryazev
Saint-Petersburg Electrotechnical University "LETI", Saint Petersburg, Russian Federation
Abstract. The construction of Galois theory for the algebras of operations and relations is a popular topic for investigation. It finds numerous applications in both algebra and discrete mathematics - especially for the perfect Galois connection, since if such a connection is established for the sets of all subalgebras of some algebra then the algebraic closure in this algebra coincides with the Galois closure, and this is an efficient tool for solving many algebraic problems. The perfect Galois connection is well known for clones and co-clones, as well as for some algebras of operations, for example, for clones and superclones. In all these cases, infinite algebras are considered.
In this article we study Galois theory for finite algebras of operations and multiop-erations with fixed rank and arbitrary dimension. We find the necessary and sufficient conditions on the dimension of algebras so that the Galois connection between the lattices of subalgebras of algebras of operations and algebras of multioperations of rank 2 is perfect. The problem of finding the necessary and sufficient conditions for the existence of a perfect Galois connection between lattices of algebras of operations and algebras of multioperations of arbitrary fixed rank is posed.
Keywords: operation, multioperation, Galois's theory, stabilizer, normalizer.
References
1. Bodnarchuk V.G., Kaluzhnin L.A., Kotov V.N., Romov B.A. Galois theory for Hjst algebras l-ll.Kibernetika, 1969, no. 3, pp. 1-10; no. 5, pp. 1-9. (in Russian).
2. Ore O. Theory of Graphs. Moscow, 1980, 336 p. (in Russian).
3. Peryazev N.A., Kazimirov A.S. The closed sets of Boolean functions. Irkutsk, 2010, 52 p. (in Russian).
4. Peryazev N.A., Sharankhaev I.K. Galois theory for clones and superclones. Discrete Math. Appl, 2016, vol. 26, no. 4, pp. 227-238. (in Russian). https://doi.org/10.4213/dml349
5. Peryazev N.A. Algebras of n-ary Operations and Multioperations. XV International Conference «Algebra, Number Theory and Discrete Geometry: modern problems and applications», Tula, Tula State Pedagogical University, 2018, pp. 113-116. (in Russian).
6. Pinus A.G. On fragments of the functional clones. Algebras and Logic, 2017, vol. 56, no. 4, pp. 477-485. (in Russian), https://doi.org/10.17377/alglog.2017.56.406
7. Cherepov A.N., Cherepov I.A. Classes of preservation of the bases in multiple-valued logicians. Proceedings of the 4th International conference «Discrete models in the theory of the operating systems», Moscow, 2000, pp. 135-136.(in Russian).
8. Yablonskii S.V., Gavrilov G.P., Kudryavtsev V.B. Functions of algebra of logic and Post's classes. Moscow, 1966, 120 p. (in Russian).
9. Poschel R, Kaluzhnin L.A. Function and Relaction Algebras. Berlin, 1979, 259 p.
Nikolay Peryazev, Doctor of Sciences (Physics and Mathematics), Professor, Saint-Petersburg Electrotechnical University «LETI», 5, Professor Popov st., Saint Petersburg, 197375, Russian Federation, tel.:(812)3464487 (e-mail: [email protected])
Received 25.04.19
