Серия «Математика»
2014. Т. 7. С. 79—84
Онлайн-доступ к журналу: http://isu.ru/izvestia
УДК 519.48
Некоторые применения языка логики второго порядка в универсальной алгебре *
А. Г. Пинус
Новосибирский государственный технический университет
Аннотация. При рассмотрении проблематики универсальной алгебры как вопросов, связанных с заданным набором функций (сигнатурных), определенных на некотором множестве (основном множестве алгебры), естественен интерес к различным функциям, определенным на этом множестве и в том или ином смысле определимым через сигнатурные. Единственным ограничением при этом выступает естественное для универсальной алгебры (изучающей алгебры с точностью до изоморфизма) требование, чтобы подобные так или иначе определимые функции коммутировали с автоморфизмами исходной алгебры. К таковым заведомо относятся функции, в том или ином смысле определимые с помощью какого-либо логического языка: языка логики первого порядка либо языков логик с бесконечно длинными формулами, языка логики второго порядка и т. д. В работе рассмотрены вопросы, связанные с функциями и элементами определимыми на счетных универсальных алгебрах конечных сигнатур в языке логики второго порядка. На основе теоремы Марека о категоричности теорий счетных универсальных алгебр конечных сигнатур в языке логики второго порядка доказано, что в предположении теоретико-множественной аксиомы конструктивности для счетных универсальных алгебр конечной сигнатуры функции на основных их множествах, коммутирующие с их автоморфизмами. суть функции точечно определимые на этих алгебрах в некотором естественном расширении языка логики второго порядка. Как следствие этого получаем некоторое описание эндоморфизмов (автоморфизмов) счетных универсальных алгебр конечных сигнатур, коммутирующих со всеми автоморфизмами этих алгебр. В качестве иного следствия получено описание элементов из Галуа-замыканий подалгебр счетных универсальных алгебр конечных сигнатур.
Ключевые слова: язык логики второго порядка, автоморфизмы универсальных алгебр.
Рассматривая проблематику универсальной алгебры как вопросы, связанные с заданным набором функций (сигнатурных), определенных на некотором множестве (основном множестве алгебры), естественен интерес к различным функциям, определенным на этом множестве и
* Работа выполнена при финансовой поддержке Министерства образования и науки РФ, по государственному заданию №2014/138, проект 1052
в том или ином смысле определимым через сигнатурные. К таковым естественно относятся термальные, условно термальные и целый ряд вариаций этого понятия, неявные и иже с ними и т. д. (см. подробнее, к примеру, [1; 2]). Единственным ограничением при этом выступает естественное для универсальной алгебры (изучающей алгебры с точностью до изоморфизма) требование, чтобы подобные так или иначе определимые функции коммутировали с автоморфизмами исходной алгебры. К таковым заведомо относятся функции, в том или ином смысле определимые с помощью какого-либо логического языка Ь. В работе [3] функция на основном множестве А универсальной алгебры А = (А; а) названа Ь-определимой, если существует Ь-формула Ф(х1,...,хп,у) сигнатуры а со свободными переменными Х1,... ,хп,у такая, что для любых аг,...,а,п,Ь е А А = Ф(аь ...,ап ,Ь) & Ь = / (аь ...,ап).
Очевидно, что подобные Ь-определимые функции коммутируют со всеми автоморфизмами алгебры А, образуют (если Ь, как минимум, включает в себя связку & и квантор 3 по предметным переменным) функциональный клон на множестве А (обозначаемый как Ь-БеЛА) и, как следствие теоремы Д. Скотта, в случае, когда А не более чем счетная алгебра не более чем счетной сигнатуры а, совокупность ЬШ1,Ш-БеЛА это в точности совокупность всех функций на А, коммутирующих с автоморфизмами алгебры А (см. [3]).
В настоящей работе будут рассмотрены вопросы, связанные с ЛЬ2-определимыми на универсальных алгебрах функциями и элементами (здесь Ь2 - язык логики второго порядка, допускающей навешивание кванторов V и 3 по предикатным переменным, подробнее об языке Ь2 см., к примеру, [4]). Через ЛЬ2 же обозначим логический язык, состоящий из конъюнкций (возможно бесконечных) формул логики второго порядка (Ь2-формул).
Функцию /(ж) = f(xl,..., Жг), определенную на основном множестве А универсальной алгебры А = (А; а) назовем точечно Ь-определимой (Ь - некоторый логический язык), если для любого а = (а\,... ап) £ Аа существует Ь-формула Ф«(ж, у) такая, что для любых а' € Ап, У € А, если для некоторого автоморфизма <р алгебры А (<р £ Аи1](А)) а' = <р(а), то А |= Фа(а', Ъ') тогда и только тогда, когда Ь' = <р(/(а)). Из этого определения, в частности следует, что для любого а € Ап А |= 3!жФа(а, ж) и, что точечно Ь-определимые на А функции должны коммутировать со всеми автоморфизмами алгебры А = (А; а).
Для любого С С А через (С)А обозначим подалгебру алгебры А, порожденную множеством С.
В работе [5] определено понятие Галуа-замыкания на решетках подалгебр ЯиЬА универсальных алгебр А (основанное на Галуа-соответст-вии между подалгебрами неподвижных точек автоморфизмов из подгрупп группы А^А и подгруппами этой группы, оставляющими неподвижными элементы подалгебр алгебры А). При этом для В е ЯиЬА
Галуа-замыкание © подалгебры © определено как {а Е 211 для любого ф € А^А, если ф(Ь) = Ь для любых Ь Е В, то и ф(а) = а}.
Из определения Галуа-замыкания подалгебр и коммутируемости точечно ¿-определимых функций /(ж) на алгебре 21 со всеми автоморфизмами алгебры 21 вытекает включение /(а) е ({аъ • • •, для любого кортежа а = {а\,..., ап) Е Ап. Отметим, что в работе [6] определение точечной термальности функции отличается от приведенного здесь (в [6] ф лишь тождественный автоморфизм алгебры). Очевидно, что если язык Ь замкнут относительно навешивания квантора 3 по предметным переменным и относительно конъюнкций, то совокупность точечно Ь-определимых на А функций, обозначаемая далее как Ь-РБе!А образует функциональный клон. Так же очевидно, что для любых Ь и А
Ь-Бе!А С Ь-РБе!А.
Через 81аЪАи1А обозначим совокупность функций на алгебре А, коммутирующих со всеми автоморфизмами алгебры А.
В работе [3] на основе теоремы Скотта [7] для языка ЬШ1Ш доказано, что для не более чем счетных алгебр А не более чем счетной сигнатуры имеет место равенство ЬШ1Ш-Бе!А = 81аЪАи1А. Для языка ЛЬ2 возможен некоторый более слабый аналог этого утверждения, вытекающий из теоремы Марека [8].
Теорема 1. (МАРЕК (V = Ь)). Для любой не более чем счетной модели А = {А; а) конечной сигнатуры а существует формула ФА языка ЛЬ2 такая, что для любой модели В = {В; а)
В = ФА ^ В = А.
Теорема 2. (V = Ь). Для любой не более чем счетной алгебры А = {А; а) конечной сигнатуры а имеет место равенство
АЬ2-РБе{ А = 81аЪАи1А.
Доказательство. Включение ЛЬ2-РБе!А С 81аЪАи1А отмечено выше. Пусть теперь /(х) Е 81аЪАи1А, где А = {А; а) не более чем счетная алгебра конечной сигнатуры а. Пусть а = (а\,..., ап) Е Ап. Через А' = {А] а, а, ¡'(а)} обозначим обогащение алгебры А константами са{(г < п), с/(а) ПРИ интерпретации в А' констант са1 элементами ец, а константы Cf(a) - элементом /(а). Пусть Ф(ж, у) получается из ¿2-формулы Марека Фщ, заменой констант са1 на переменные ж^, а константы с/(а) на у. Тогда, если для некоторых а' Е Ап, Ъ' Е А имеет место А |= Ф(а', Ь'), то найдётся автоморфизм ф алгебры А такой, что 1р(а) =а', 1р(<р(а)) = Ь'. Если при этом для некоторого (р Е Аи1А <р(а) = а' то, так как замечено выше /(а) е (а)¡л, имеет место равенство /ф(/(а)) = <р(/(а)), т. е. <р(/(а)) = Ь'. Тем самым /(ж) е ДЬ2-РБе1А и теорема доказана. □
Рассматривая эндоморфизмы алгебры А как частный случай одноместных функций на основном множестве алгебры А и применяя к ним введенную терминологию, в силу теоремы 1 получаем
Следствие 1. (V = Ь). Эндоморфизм (автоморфизм) ф не более чем счетной алгебры А конечной сигнатуры является точечно ЛЬ2-определимым в А тогда и только тогда, когда ф коммутирует со всеми автоморфизмами алгебры А (ф принадлежит центру группы Ап1А).
В частности, центр группы А^А состоит только из тождественного автоморфизма алгебры А тогда и только тогда, когда - единственный ДЬг-определимый автоморфизм алгебры 21.
В работе [5] на основе теоремы Скотта дано описание элементов из 21: для любой не более чем счетной универсальной алгебры А = (А; а) не более чем счётной сигнатуры и любой ее подалгебры В = (В; а) элемент с? из А входит в В тогда и только тогда, когда 21д |= Ф(с?) для некоторой ЬШ1Ш-формулы Ф(х) сигнатуры ав такой, что Ав |= 3!хФ(х). Здесь ав - обогащение сигнатуры а константами сь (для Ь е В), а алгебра Ав -а в-обогащение алгебры А при интерпретации констант сь элементами Ь (для Ь е В).
Замена ссылки на теорему Марека вместо теоремы Скотта (с некоторой соответствующей коррекцией доказательства) приводит к следующему утверждению, так же связанному с описанием элементов из Галуа-замыканий В подалгебр В.
Теорема 3. (V = Ь). Для любой не более чем счетной универсальной алгебры А = (А; а) конечной сигнатуры, для любой ее конечно порожденной подалгебры В = {В] а) = где С некоторое конеч-
ное подмножество множества А, элемент (1 из А входит в В тогда и только тогда, когда Ас = Ф(й) для некоторой ЛЬ2-формулы Ф(х) сигнатуры ас такой, что Ас = 3!Ф(х).
Здесь сигнатура ас и алгебра Ас определены так же, как и выше.
Доказательство. Пусть алгебры А, В = (С)а и элемент й е А удовлетворяют условиям теоремы. По теореме Марека существует ЛЬ2-формула ФА/ сигнатуры астакая, что для любой алгебры Э = (Б; ас<и{а}) Э == ФА/ тогда и только тогда, когда Э = А'. Здесь А' обогащение алгебры Ас константой са при интерпретации этой последней элементом й. Пусть ЛЬ2-формула Ф(х) сигнатуры ас получается из формулы ФА/ заменой константы са на переменную х. Тогда Ас == Ф(й) и если для некоторого / е А\(С)а имеет место Ас == Ф(/), то найдется автоморфизм ф алгебры А, оставляющий на месте элементы из С, а значит и из (С)з1, такой, что ф{д) = /. А так как с1 € В, то с1 = /, т.е. 21с |= 3!жФ(ж). Теорема доказана. □
Из доказательства этой теоремы и отмеченного выше включения /(а) € (а)^ для любой AL2-PDef2l функции /(ж) вытекает
Следствие 2. Для любой не более чем счетной универсальной алгебры 21 = (А; а) конечной сигнатуры и любой конечно порожденной подалгебры алгебры 21 элемент b из А входит в Галуа-замыкание подалгебры B тогда и только тогда, когда для некоторых AL2 -PDef A функции /(ж) и элементов а € имеет место равенство Ъ = /(а).
Отметим, наконец, что очевидным образом в условиях теоремы 2 вся совокупность элементов из является ¿2-формульным подмножеством в алгебре Ac
Список литературы
1. Пинус А. Г. Условные термы и их приложения в алгебре и теории вычислений / А. Г. Пинус // Успехи мат. наук. - 2001. - Т. 56, № 4. - С. 35-72.
2. Пинус А. Г. Рациональная эквивалентность алгебр, ее «клоновые» обобщения и «клоновая» категоричность / А. Г. Пинус // Сиб. мат. журн. - 2013. - Т. 54, № 3. - С. 673-688.
3. Пинус А. Г. Определимые функции универсальных алгебр и определимые эквивалентности алгебр / А. Г. Пинус//Алгебра и логика. - 2014. - Т.53, № 1.
4. Baldwin J. Definable second-order quantifiers / J. Baldwin // Model-Theoretic Logics. - New York-Berlin-Heidelberg-Tokio : Springer-Verlag, 1985. - P. 445-478.
5. Пинус А. Г. О классическом Галуа-замыкании на универсальных алгебрах / А. Г. Пинус // Изв. вузов. Математик. - 2014, № 2. - С.47-53.
6. Пинус А. Г. Точечно термально полные клоны функций и решетки решеток всех подалгебр алгебр с фиксированным основным множеством / А. Г. Пинус // Изв. Иркут. гос. ун-та. Сер. Математика. — 2012. - Т. 5, № 3. - С. 94-103.
7. Scott D. Logic with denumerable long formulas and finite strings of quantifiers / D. Scott // Theory of Models. - Amsterdam : North Holland P. Comp., 1965. - P. 329-341.
8. Marek W. Sur la constance d'une hypothese de Fraisse sur definesability dans un language du second order / W. Marek // C. R. Acad. Sci. Paris. Ser. A-B. - 1973. -Vol. 276. - P. 1147-1150, 1169-1172.
Пинус Александр Георгиевич, доктор физико-математических наук, профессор, Новосибирский государственный технический университет, 630073, Новосибирск, пр. К. Маркса, 20, тел.: 383-346-11-66, email: ag.pinus@gmail.com
A. Pinus
Some Applications on the Second Order Logic Language in the Universal Algebra
Abstract. By consideration of the problematic of the universal algebra as some questions which are connected with some collection of functions (signiches functions),
which are defined on some set (the basic set of algebra) take place the natural interest too some functions which can be defined in this set by the help, in some sense, from the signiches functions. The only restriction by this is the natural for the universal algebra (which study the algebras to the nearest by isomorphism) is the requirement for this functions to be permutable with the automorphisms of starting algebra. The functions which are defined on the algebra with the help of some logical language (the language of the first order logic, or the language of the logics with the infinite formulas, or the language of the second order logic and so other) are such. In the work is considered the questions which are connected with the functions and elements which are defined on the countable algebras of finite signatures in the language of the second order logic. It is known the Marek-theorem: by the preposition of set-theoretical axsiom of constructivity the theory of countable universal algebras of finite signatures in the language of second order logic are categorical. From this theorem it is proved that the functions on the basic set of this algebras which commutes with automorphisms of this algebra can be defined on this algebra in some natural extension of the second order logic language. As some corollary of this we given some description of endomorphisms (automorphisms) of countable universal algebras of finite signatures which commutes with oll automorphisms of this algebras. Another corollary given some description of elements from Galya-closuring of subalgebras of countable universal algebras of finite signatures.
References
1. Pinus A.G. Conditional terms and its contributions to algebra and computation theory. Uspechi math. nauk, 2001, V.56, №4, P.35-72.
2. Pinus A.G. Rational equivalence of algebras, its «clons» generalizations and «clons» categoricity. Sibirian math. Journal, 2013, V.54, № 3, P.673-688.
3. Pinus A.G. Definable functions of universal algebras and definable equivalence of algebras. Algebra and Logic, 2014, V.53, №1.
4. Baldwin J. Definable second-order quantifiers. Model-Theoretic Logics. New York-Berlin-Heidelberg-Tokio : Springer-Verlag, 1985. P. 445-478.
5. Pinus A.G. On classical Galua-closure on the universal algebras. Izvestia vuzov. Mathematica, 2014, P.47-72.
6. Pinus A.G. Point-termal complete clons of functions and the lattice of lattices of all sublattices of algebras with fixed basic set. Izvestia IrGU, ser. «Mathematica», 2012, V.5, №3, P.93-103.
7. Scott D. Logic with denumerable long formulas and finite strings of quantifiers. Theory of Models. Amsterdam : North Holland P. Comp., 1965. P. 329-341.
8. Marek W. Sur la constance d'une hypothese de Fraisse sur definesability dans un language du second order. C. R. Acad. Sci. Paris. Ser. A-B. 1973. Vol. 276. P. 1147-1150, 1169-1172.
Pinus Alexandr, Doctor of Sciences (Physics and Mathematics), professor, Novosibirsk State Technical University, 20, K. Marx pr., Novosibirsk, 630073, tel.: 383-346-11-66, e-mail: ag.pinus@gmail.com