CC BY
15
Серия «Математика»
2019. Т. 29. С. 98-106
Онлайн-доступ к журналу: http: / / mathizv.isu.ru
ИЗВЕСТИЯ
Иркутского государственного ■университета
УДК 512.56
MSG 08А99,03С15, 03С30, 03С50
DOI https://doi.org/10.26516/1997-7670.2019.29.98
О представлении решеток
алгебраических множеств универсальных алгебр
А. Г. Пинус
Новосибирский государственный технический университет, Новосибирск, Российская Федерация
Посвящается памяти Али Ивановича Кокорина
Аннотация. Понятие алгебраического множества относится к основным понятиям классической алгебраической геометрии над полями. Это понятие наряду с понятием решетки алгебраических множеств лежит в основе так называемой алгебраической геометрии универсальных алгебр. При этом традиционно существуют два подхода к определению алгебраических множеств: один из них, являющийся непосредственным обобщением классической ситуации с понятием алгебраического множества над полем, связан с гомоморфизмами свободных алгебр в рассматриваемую, другой формулируется в рамках традиционной теории моделей.
В настоящей работе предложен еще один подход к характеризации алгебраических множеств, основанный на понятии внутренних гомоморфизмов расширений изучаемой алгебры. На основе этого подхода предложено еще одно из возможных представлений решеток алгебраических множеств универсальных алгебр, а также критерий, в терминах внутренних гомоморфизмов, совпадения совокупностей алгебраических множеств универсальных алгебр с идентичными основными множествами.
Ключевые слова: алгебраическое множество, решетка, внутренний гомоморфизм.
1. Введение
В исследованиях Б. И. Плоткина и его соавторов [11; 12] разработана обобщающая подходы классической алгебраической геометрии (см., к примеру [13; 14] ) система понятий так называемой алгебраической геометрии над универсальными алгебрами произвольных многообразий. Иной подход к алгебраической геометрии универсальных алгебр,
основанный на традиционной теории моделей, разрабатывался В. Н. Ре-месленниковым и его группой [1]. В обоих случаях одними из основных понятий являются понятия алгебраического множества универсальной алгебры и решетки этих самых алгебраических множеств. В настоящей работе на основе ряда публикаций автора [2-6] предложен и систематизирован еще один подход к этим понятиям, основанный на понятии внутреннего гомоморфизма универсальной алгебры, введенном в работе, [7] и предложены описание решеток алгебраических множеств как факторов некоторых частичных порядков естественным образом связанных с универсальными алгебрами, а также условия совпадения алгебраических множеств универсальных алгебр с идентичными основными множествами.
2. Алгебраические множества и их решётки
Прежде всего напомним ряд основных понятий алгебраической геометрии универсальных алгебр согласно Б. И. Плоткину и В. Н. Ремес-ленникову. Пусть — некоторое фиксированное многообразие универсальных алгебр сигнатуры а. Для любого множества X через обозначим — свободно порожденную множеством X алгебру. Для любых алгебр 21 =< А; а >€ Ш и где X — конечное множе-
ство, через ШТ(Кщ(Х), 21) обозначим совокупность всех гомоморфизмов ¡л из в 21, рассматриваемую (при естественном отождествле-
нии гомоморфизма /л с кортежем ц(Х)) как афинное пространство над множеством А, состоящее из точек (гомоморфизмов /л : Кщ(Х) —>■ 21) ШТ(Кщ(Х),21) = Ап, где п = \Х\.
Для любой системы уравнений
Т = {81{х1)=и{у1)\г^1}-
(Здесь Xí,yi С X, «¿(Шг), ¿¿(Уг) (т-термы от переменных ж^ и У1 соответственно (элементы алгебры Кщ(Х)) ), рассматриваемой как бинарное отношение Т С Кщ(Х) х Кщ(Х) на Кщ(Х), точка (гомоморфизм )/л : Рж{Х) —> 21 является решением системы Т если //(«¿(Жг)) = (//(Жг)) = ^{уг)) = 1л(и(у{)) для каждого уравнения «¿(Жг) = и(у{) из Т. Здесь х{) — значение терма вг на элементах /л(хг) в алгебре 21. Таким образом, точка ¡л является решением системы уравнений Т тогда и только тогда, когда Т С Кег/л.
Тем самым, сопоставляя каждой совокупности точек
В С9ВДщ(Х),21)
бинарное отношение В' на Кщ(Х) и каждому бинарному отношению Т С Кщ(Х) х Кщ(Х) на Кщ(Х) совокупность точек Т^ пространства ШТ(Кщ(Х),21) следующим образом:
т Т4 = {/I : (Fm(X) 21 I Г С Ker/i}, В^В' = р| Кег/х,
получаем соответствие Галуа между бинарными отношениями (системами уравнений) Т на алгебре и множествами точек В пространства 21) = Ап. Конгруэнция Т алгебры Fm(X) называется %1-замкнутощ если Т = В' для некоторой совокупности точек В С ШТ(Кщ(Х), 21). Совокупность точек В С TX(FW(X), 21) = называется 21-замкнутой или алгебраическим множеством алгебры 21, если В = Т^ для некоторого бинарного отношения Т на Кщ(Х) , т. е. если она суть совокупность решений в алгебре 21 некоторой (возможно бесконечной) системы термальных уравнений сигнатуры а.
Непосредственно замечается, что совокупность алгебраических множеств В С Ап пространства Ап для алгебры 21 =< А; а > образует полную решетку относительно теоретико-множественного включения С. Обозначим последнюю в дальнейшем как А1дп21. .
Естественным образом представляет интерес описание этих решеток как в различных алгебраических терминах, так или иначе связанных с алгеброй, так и самих по себе с точностью до изоморфизма. По поводу последнего укажем, в частности, на работы [8; 9], где доказано, что любая полная решетка изоморфна решетке вида Algi^i для подходящей универсальной алгебры 21 и отмечен ряд открытых вопросов, связанных с описанием с точностью до изоморфизма решеток вида А1дп21 для п> 2.
Через Соп%Рщ(п) обозначим решетку 21-замкнутых конгруэнций алгебры F%it(X), где п = |Х| и Ш = ®Т(21) — многообразие, порожденное алгеброй 21. Указанное выше Галуа-соответствие между 21-замкнутыми конгруэнциями алгебры 21 и алгебраическими множествами для алгебры 21 влечет двойственность решеток Con^F^(n) и А1дп21.
Напомним, что внутренним гомоморфизмом алгебры 21 =< А] а > (см. [7]) называется любой гомоморфизм между подалгебрами этой алгебры. Через Ihm$l обозначим совокупность (полугруппу относительно суперпозиции частичных отображений множества А в себя) всех внутренних гомоморфизмов алгебры 21.
Для любого кортежа а =< а\,..., ап > элементов алгебры 21 через D^Jxi,...
, хп) обозначим позитивную диаграмму кортежа а в алгебре 21, т. е. совокупность всех термальных уравнений сигнатуры а от переменных xi,... ,хп истинных в 21 на кортеже а
• • • = (5(жъ ■■■,Хп) = t(xi,... ,xn)\t и s термы сигнатуры <т, т.е. элементы алгебры F^({xi,..., хп}) и 21 |= s(a\,..., ап) = í(ab.. .,ап)}.
Таким образом для кортежа Ь =< Ь\,..., Ьп >€ Ап 21 |= И^^Ь) тогда и только тогда, когда отображение <£>((ц) = для г = 1,... ,п продол-жимо до гомоморфизма подалгебры < а > порожденной в алгебре 21 элементами {а\,..., ап} на подалгебру <Ь>.
На кортежах а =< а\,...,ап >€ Аа (отождествляемых с точками На пространства ({х\,..., хп}), 21) — гомоморфизмами алгебры
Рщщ({х\,... ,хп}) в алгебру 21 такими, что /Ла(хг) = (ц) введем отношение квазипорядка <1Нтп31 следующим образом: Ъ <1Нтп*л о тогда и только тогда, когда существует (р € /Л,т21, такой, что <р((ц) = т. е. когда имеет место коммутативная диаграмма
или иначе, как замечено выше, когда 21 |=
Квазиупорядоченное множество < С;<> назовем квазирешеткой, если решеткой является его фактор-множество < С/ <> по естественной эквивалентности ^ определенной квазипорядком <: с\ ^ С2 С\ < С2 и С2 < С\. Естественным образом перенесем на квазипорядок < С;<> основные понятия, связанные с частичным порядком, имея в виду апелляцию к частично упорядоченному множеству < С/ ^ ; <>. В частности, будем говорить о супремумах в квазиупорядочен-ных множествах, а под квазирешеткой (полной квазирешеткой) будем понимать любой квазипорядок < С; <>, такой, что < С / <> является решеткой (полной решеткой) при добавлении к < С/ при необходимости, внешнего наименьшего элемента.
Пусть 21' =< А1-, а > — некоторое расширение алгебры 21 =< А; а >. Множество В С Ап назовем [6]) насыщенным в алгебре 21 относительно кортежа с =< С\,... ,сп >€ (А')п если
В = {а € Ап\а <1Нтпж с}.
Таким образом любое насыщенное в алгебре 21 относительно некоторого кортежа с элементов из некоторого расширения 21' алгебры 21 множество В С Аа является алгебраическим множеством для алгебры 21:
В = {ае Ап|21 |= В^
с,21'
На самом деле верно и обратное. Пусть В С Ап — некоторое алгебраическое для алгебры 21 =< А] а > множество и
В = {V =< >\ге /}.
Пусть Т(х 1,... ) Хп) — Р| (xi, ..., Хп). Алгебраичность множества
ш ь ^
В означает, что
(*)В = {<аъ...,ап>е Ага|21 |= Т(а\, ...,ап)}.
Для алгебры 21"4™ отождествим элементы а алгебры 21 с элементами а из 21"4™, такими, что a(j) = а для любого j € Ап. Элементы bi € 21"4™ (для I = 1,...,п) определим так, чтобы {< bi(j),..., bn(j) > | j € An} = В. Тогда D^ K> An{x i, ...,xn) = Т(жь .. .,xn). В частности
В состоит из Ihrrin^71 -образов кортежа < Ь\,..., Ьп > в алгебре 21, т. е. В насыщенное в 21 множество относительно кортежа < bi,... ,Ьп > элементов из расширения 21"4" алгебры 21. Таким образом имеет место
Теорема 1. ( [6]) Для любой универсальной алгебры 21 =< А] а > множество В С Ап является алгебраическим для 21 тогда и только тогда, когда для некоторого расширения 21' алгебры 21 и для некоторого кортежа < Ъ\,..., Ьп > элементов из 21' множество В является насыщенным в 21 относительно кортежа < Ъ\,..., Ьп >.
Алгебра 21 =< А] а > называется п-алгебраически полной (см. [4]), если для любого 21 — алгебраического множества В С Аа — существует с € Ап, такое, что с/ sup{b/ ~ \Ь € В}. Для n-алгебраически полной алгебры 21 квазиупорядоченное множество < Аа\ <1Нтп*л> является полной квазирешеткой. Расширение 21' =< А'] а > алгебры 21 называется п-алгебраическим пополнением алгебры 21, если 21' п-алгебраически полно и для любого с € (А')п с/ sup{b/ ~ 16 G В} для некоторого алгебраического для 21 множества В С Приведенное выше доказательство теоремы 1 фактически доказывает, что для любой алгебры 21 =< А; а > алгебра 21' = 21"4" является п-алгебраическим пополнением алгебры 21. В работе [4] доказано также существование для любой универсальной алгебры не более чем счетной сигнатуры и имеющей мощность ^ > 2^° ее n-алгебраического пополнения той же мощности При этом ограничение ^ > 2No существенно.
Поскольку равенство с/ sup{b/ ~ 15 6 В} для алгебраического для алгебры 21 множества В С Ап из приведенного выше определения n-алгебраического пополнения алгебры 21, означает насыщенность в 21 множества В относительно кортежа с, то из утверждения теоремы 1 вытекает следующее утверждение.
Следствие 1. Для любых универсальной алгебры 21 =< А] а > и некоторого ее n-алгебраического пополнения 21' =< А'] а > совокупность
алгебраических для 21 множеств В С Ап совпадает с совокупностью пересечений множества Ап с главными идеалами квазиупорядоченного множества < (А')п; <1Нт„31'>-
Для любых универсальной алгебры 21 =< А; а > и некоторого ее п-алгебраического пополнения 21' =< А'] а > на квазиупорядоченном множестве < (А')п, < введем отношение эквивалентности
для с, с? € (А')п положим с (1 если
{а € Ап\а <1нтпс} = {а € Ага|а <1ктпы Щ.
Непосредственно замечается, что отношение / ~ является конгруэнцией на решетке < (А')п/ и из следствия 1 вытекает утверждение
Следствие 2. Решетка алгебраических множеств В С для любой универсальной алгебры 21 =< А; <т > изоморфна решетке
< (А'Г/ <1НтгЛ'> для любого п-алгебраического пополнения 21' =< Л'; а > алгебры 21.
3. Условия совпадения совокупностей алгебраических множеств для алгебр с идентичными основными множествами
Наконец, в терминах внутренних гомоморфизмов сформулируем условия совпадения совокупностей алгебраических множеств для универсальных алгебр с идентичными основными множествами.
Следствие 3. Для любых универсальных алгебр 211 =< А] а\ > и 21г =< А] <72 > с одним и тем же основным множеством А и любого натурального п имеет место:
1) совпадение совокупностей внутренних гомоморфизмов алгебр 21^" и 21^" между не более чем п-порожденными подалгебрами этих алгебр влечет совпадение алгебраических для алгебр 211 и 21г множеств — подмножеств множества Ап;
2) ( [10]) равенства А1дп^1 = А1дп21г для любого п и БиЬ^г = БиЪ^ влекут равенство ШггШ\ = Шт^-
Доказательство. Доказательство утверждения 1) вытекает из утверждения следствия 1, из определения отношения <1ьт„ и того, что алгебры 21^" являются п-алгебраическими пополнениями алгебр 21^. Утверждение 2) — это утверждение леммы 1 из работы [10].
В связи с утверждениями 1) и 2) следствия 3 естественно возникает вопрос о взаимосвязи равенств /Л,т211 = /Л,т2и /Л,т2= /Л,т2 (и даже 1кпШ\ = /Л,т21|).
При естественном отождествлении алгебры 21 с диагональной подалгеброй алгебры 212 равенство 1кпШ\ = Игт'Щ очевидным образом влечет равенство /Л,т211 = /Л,т212. Но при этом обратная импликация ложна. Действительно, пусть 211 — это трехэлементная группа, а 21г — это группа 211 обогащенная добавлением в ее сигнатуру дискриминатор-ной функции. Тогда в силу конгдуэнц-дистрибутивности многообразия порожденного алгеброй 21г гомоморфизмы алгебры 21| в себя исчерпываются ее проектированиями, в то время как для группы 212 это, как известно, не так. То есть условие = сильнее условия
= /Л,т212. □
4. Заключение
Предложен еще один метод представления решеток алгебраических множеств на универсальных алгебрах.
Список литературы
1. Даниярова Э. Ю., Мясников А. Г., Ремесленников В. Н. Алгебраическая геометрия над алгебраическими системами. Новосибирск : Изд-во СО РАН, 2016.
2. Пинус А. Г. Алгебраическая и логическая геометрии универсальных алгебр (унифицированный подход)// Фундаментальная и прикладная математика. 2012. Т. 17, № 1. С. 189-204.
3. Пинус А.Г. О квазипорядке, индуцированном внутренними гомоморфизмами, и об операторе алгебраического замыкания // Сибирский математический журнал. 2015. Т. 56, № 3. С. 629-636. https://doi.org/10.1134/S0037446615030131
4. Пинус А. Г. п-Алгебраически полные алгебры, псевдопрямые произведения и оператор алгебраического замыкания на подмножествах универсальных алгебр // Сибирский журнал чистой и прикладной математики. 2016. Т. 16, № 4. С. 97-102.
5. Пинус А. Г. Шт-квазипорядки и производные структуры универсальных алгебр. 1-алгебраически полные алгебры // Известия Иркутского государственного университета. Сер. Математика. 2015. Т. 12, № 1. С. 72-78.
6. Пинус А. Г. Алгебраические множества и внутренние гомоморфизмы универсальных алгебр // Алгебра, теория чисел и дискретная геометрия: современные проблемы, приложения и проблемы истории : материалы Междунар. конф. Тула, 2019. С. 111-112.
7. Пинус А. Г. Внутренние гомоморфизмы и позитивно условные термы // Алгебра и логика. 2001. Т. 40, № 2. С. 158-173. https://doi.Org/10.1023/A:1010208820824
8. Пинус А. Г. О решетках алгебраических подмножеств универсальных алгебр // Алгебра и теория моделей. 8. Новосибирск : Изд-во НГТУ, 2011. С. 67-72.
9. Пинус А. Г. О геометрически близких алгебрах // Алгебра и теория моделей. 7. Новосибирск : Изд-во НГТУ, 2009.С. 85-95.
10. Пинус А. Г. Об алгебрах с идентичными алгебраическими Множествами // Алгебра и логика. 2016. Т. 54, № 4. С. 493-502. https://doi.org/10.1007/sl0469-015-9351-8
11. Плоткин Б. И. Некоторые понятия алгебраической геометрии в универсальной алгебре // Алгебра и анализ. 1997. Т. 9, № 4. С. 224-248.
12. Плоткин Б. И. Проблемы алгебры, инспирированные универсальной алгебраической геометрией // Фундаментальная и прикладная математика. 2004. Т. 10, № 3. С. 181-197.
13. Хартсхорн Р. Алгебраическая геометрия. М. : Мир, 1970.
14. Шафаревич И. Р. Основы алгебраической геометрии. М. : МЦНМО, 2007.
Александр Георгиевич Пинус, доктор физико-математических наук, профессор, Новосибирский государственный технический университет, Российская Федерация, 630072, г. Новосибирск, пр. К. Маркса, 20, тел.: (383)223-83-80 (e-mail: [email protected])
Поступила в редакцию 05.08.19
On the Representation of the Lattices of the Algebraic Sets of the Universal Algebras
A. G. Pinus
Novosibirsk State Technical University, Novosibirsk, Russian Federation
Abstract. The concept of an algebraic set is a basic concept of the classical algebraic geometry over fields. This concept, along with the concept of an algebraic lattice of algebraic sets is the basic concept of so-called algebraic geometry of universal algebras. Moreover, there are traditionally two approaches to the definition of algebraic sets: the first is a direct generalization of the classical situation of the concept of the algebraic set over a field and connected with the homomorphisms of free algebras in the considered algebra, the second is formulated within the framework of the traditional model theory.
In this paper we propose another approach to the characterisation of algebraic sets based on the concept of the inner homomorphisms of some extensions of considered algebra. Based on this approach we introduce the other representation of the lattices of the algebraic sets of universal algebras. Also we propose the criterion, in terms of internal homomorphisms, of the coincidence of the families of the algebraic sets of universal algebras with identical basic sets.
Keywords: algebraic set, lattice, innere homomorphism.
References
1. Danijarova E.Ju., Mjasnikov A.G., Remeslennikov V.N. The Algebraic geometry over algebraic systems. Novosibirsk, SB RAN Publ., 2016. (in Russian)
2. Pinus A.G. Algebraic and logical geometry of universal algebras (unified approach). Fundamental and applied mathematic, 2012, vol. 17, no. 1, pp. 189-204. (in Russian)
3. Pinus A.G. On the quasiorder which induced by innere homomorphisms and on the algebraic closure operator. Siberian mathematical Journal, 2015, vol. 56, no. 3, pp. 629-636. (in Russian) https://doi.org/10.1134/S0037446615030131
4. Pinus A.G. n-Algebraic complete algebras, pseudodirect products and the algebraic closure operator on the subsets of universal algebras. Siberian Journal of pure and applied matematic, 2016, vol. 16, no. 4, pp. 97-102. (in Russian)
5. Pinus A.G. Ihm-quasiorders and derived structures of universal algebras. 1-algebraic complete algebras. The Bulletin of Irkutsk State University. Series Mathematics, 2015, vol. 12, no. 1, pp. 72-78. (in Russian)
6. Pinus A.G. Algebraic sets and innere homomorphisms of universal algebras. Algebra, the numbers theory and discrete geometry and historical problems. The materials of the international conference. Tula, 2019, pp. 111-112. (in Russian)
7. Pinus A.G. Innere homomorphisms and positive conditional terms. Algebra and logic, 2001, vol. 40, no. 2, pp. 158-173. (in Russian) https://doi.Org/10.1023/A:1010208820824
8. Pinus A.G. On the lattices of the algebraic subsets of universal algebras. Algebra and model theory. 8. Novosibirsk, Novosibirsk State Technical University Publ., 2011, pp. 67-72. (in Russian)
9. Pinus A.G. On the geometrically similar algebras. Algebra and model theory. 7. Novosibirsk, Novosibirsk State Technical University Publ., 2009, pp. 85-95. (in Russian)
10. Pinus A.G. On the algebras with ihe identical algebraic sets. Algebra and logic, 2016, vol. 54, no. 4, pp. 493-502. (in Russian) https://doi.org/10.1007/sl0469-015-9351-8
11. Plotkin B.I. Some concepts of algebraic geometry in universal algebra. Algebra and analisis, 1997, vol. 9, no. 4, pp. 224-248. (in Russian)
12. Plotkin B.I. Problems of algebra which are inspired by universal algebraic geometry. Fundamental and applied mathematic, 2004, vol. 10, no. 3, pp. 181-197.(in Russian)
13. Hartshorn R. Algebraic Geometry. Moscow, Mir Publ., 1970. (in Russian)
14. Shafarevich I.R. The basis of algebraic geometry. Moscow, MCNMO Publ., 2007. (in Russian)
Alexandr Pinus, Doctor of Sciences (Physics and Mathematics), Professor, Novosibirsk State Technical University, 20, K. Marx Avenue, Novosibirsk, 630072, Russian Federation, tel.: (383)223-83-80 (e-mail: [email protected])
Received 05.08.19
