Серия «Математика»
2015. Т. 11. С. 72—78
Онлайн-доступ к журналу: http://isu.ru/izvestia
УДК 512.57
Шш-квазипорядок и производные структуры универсальных алгебр; 1-алгебраически полные алгебры *
А. Г. Пинус
Новосибирский государственный технический университет
Аннотация. Исследуется взаимосвязь так называемого Шш-квазипорядка (определяющего оператор алгебраического замыкания на подмножествах прямых степеней основных множеств универсальных алгебр) с такими производными структурами этих алгебр как решетки алгебраических множеств, решетки подалгебр и полугруппы внутренних гомоморфизмов. Вводится понятие 1-алгебраически полных алгебр и доказывается, что для любой не менее чем континуальной алгебры счетной сигнатуры существует ее 1-алгебраически полное расширение той же мощности, что и сама алгебра.
Ключевые слова: Ьш-квазипорядок, алгебраические множества, внутренние гомоморфизмы, 1-алгебраически полные алгебры.
В работе [1] для изучения строения алгебраических замыканий (см. [2]) подмножеств универсальной алгебры А = < А; а > предложено рассмотрение некоторого отношения квазипорядка ^1НтА', в терминах которого возможно описание этого замыкания, а роль алгебры А выполняет расширение Аа алгебры А. При этом квазипорядок ^1НтА представляет интерес и сам по себе (см. [3]), в частности в связи с теми или иными производными структурами алгебр, а роль алгебры А могут играть и иные, отличные от Аа , расширения алгебры А. Этому кругу вопросов и посвящена настоящая работа.
Прежде всего напомним, что .множество В С А называется алгебраическим для универсальной алгебры А = < А; а >, если оно является совокупностью решений в А некоторой системы Т(х) = {^(х) = 11(х)\г € I} термальных уравнений сигнатуры а:
Алгебраическим замыканием Ва подмножества В основного множества А универсальной алгебры А = < А; а > называется наимень-
* Работа выполнена при финансовой поддержке Министерства образования и науки РФ, по государственному заданию № 2014/138, проект 1052
шее (относительно теоретико-множественного включения С) алгебраическое множество алгебры A включающее в себя B.
Отношение Ihm-квазипорядка ^ihmA на основном множестве A универсальной алгебры A = < A; а > введено в работе автора [1]: для a,b € A a ^ihmA b тогда и только тогда, когда существует ф внутренний гомоморфизм универсальной алгебры A (гомоморфизм между некоторыми ее подалгебрами) такой, что ф(Ь) = a, или иначе, если существует гомоморфизм ф алгебры < b >A на алгебру < a >A такой, что ф(Ь) = a Здесь и далее < c >a — подалгебра алгебры A порожденная элементом c из A. Традиционно через IhmA будем обозначать полугруппу (совокупность) всех внутренних гомоморфизмов алгебры A (подробнее см. [4]), а через Sub%l — решетку (совокупность) всех подалгебр алгебры А. В работе [1] в терминах квазипорядка ^ihmA описан оператор {a} ^ {a}A алгебраического замыкания на одноэлементных подмножествах основного множества A алгебры A: для b € A b € {a}A ^ b ^ihmA a. В силу определения неравенства ^ihmA отношение a ^ihmA b имеет место тогда и только тогда, когда для любых термов ti(x),t2(x) сигнатуры а отношение А 1= í1(6) = t2(b) влечет отношение А 1= í1(a) = t2(a). Таким образом для любых a,b € A a € {b}A тогда и только тогда, когда a ^ihmA b. Как показано в работе [1] это описание оператора B ^ Ba можно перенести с одноэлнментных подмножеств {b} множества A на произвольные B С A путем перехода от алгебры A = < A; а > к алгебре A' = AA. При этом для a € A, B С A a € BA тогда и только тогда, когда a ^ihmA' d-B, где a,dB € AA таковы, что a(c) = a для любого c € A и {ds(c)\c € A} = B. При этом элементы (Ib игают роль супремума для элементов b(b € B) относительно квазипорядка ^ihmA'. {b\b € B= {dB)w и
(*) Шя> n {с|с G Дд} = {b\b е П {с|с е В%].
Возникает естественный вопрос: нельзя ли определить оператор B ^ Ba (для B С A) в терминах квазипорядка ^ihmA не выходя за пределы алгебры A (не переходя к расширению A' = AA). Пример 1 данной работы доказывает, что это невозможно, т.е. что существуют алгебры Ai = < A; ai >, A2 = < A; а2 > такие, что отношение ^ihmA1 совпадает на множестве A с отношением ^ihmA2, но операторы B ^ Ba1 и B ^ Ba2 на подмножествах B множества A различны.
Дальнейшие примеры 2, 3 данной работы связаны с естественно возникающими в данном контексте вопросами взаимосвязи квазипорядка ^ihmA с производными структурами IhmA и SubA алгебры A.
Через AlgiA обозначим совокупность всех алгебраических подмножеств B С A алгебры A = < A; а >.
В силу замеченного выше равенство AlgiAi = AlgiA2 равно как и равенство IhmAi = IhmA2 для алгебр Ai = < A; ai > и A2 = < A; а2 >
74 А. г. пинус
с общим основным множеством A влекут совпадение квазипорядков ^ihma-i и ^ihma2 • Обратное неверно.
Пример 1. Через £n = < Cn; f > для любого натурального n обозначим f-n-цикл сигнатуры а =< f >. Пусть алгебра A1 = < A; а > является дизъюнктным объединением f-циклов £2 и £3 и счетного числа циклов типа £б. Аналогичным образом алгебра A2 = < A; а > пусть будет дизъюнктным объединением циклов £2 и £3 и счетного числа циклов типа £i2. Тогда, очевидно, что ^ihmA1 совпадает с ^ihmA1 но множество C2 U C3 является алгебраическим в A2 (суть решения уравнения f 6(x) = x), но не является таковым для Ai: (Ci U C2)mi = A.
Напомним так же, что решетка подалгебр SubA алгебры A однозначно определима полугруппой IhmA ее внутренних гомоморфизмов. Подалгебра B алгебры A ассоциируется при этом с идемпотентом idß (тождественным отображением B на себя) полугруппы IhmA.
В связи с примером 1, равенством {c}a = {b ^ihma c\b G A} и определимостью идеала {b ^ihma c\b G A} с помощью отображений из IhmA естественно возникает вопрос об однозначной определимости полугруппы IhmA квазипорядком ^ihmA. Следующий пример демонстрирует, что это не так. Более того, квазипоррядок ^ihma не определяет даже решетку SubA.
Пример 2. Пусть p некоторое простое натуральное число и моноунар Ai = < A; а > (а =< f >) является дизъюнктным объединением f-pn-циклов (n G ш) £pn. Обогатим моноунар Ai путем добавления в сигнатуру а' еще одного унарного символа g и алгебру A2 = < A; а1 > определим как обогащение алгебры A следующим образом: для любого a G A g(a) = e, где £po = £1 и C1 = e. Очевидным образом квазипорядки ^ihmA1 и ^ihmA2 совпадают, в то время как для любого n > 0 Cpn G SubAi но Cpn G SubA2.
Наконец, в силу примера 2, возникает вопрос, не влекут ли совпадения квазипорядков ^ihma1 и ^ihma2 и решеток SubA1 и SubA2 соответственно, совпадение полугрупп IhmA1 и IhmA2? Следующий пример демонстрирует, что это не так.
Пример 3. Рассмотрим восьмиэлементное множество A = {ao, bo, со, do, a1,b1,C1 ,d1}
и двухместные функции f (x,y), g(x,y), h(x,y) определенные на A следующим образом: f (a1,b) = C1, f (h,a1) = d1, f (ao,bo) = Co, f (bo,ao) = d0 во всех остальных случаях f (x,y) = x; g(a1 ,b1) = c1, g(b1,a1) = d1, g(ao ,bo) = Co, g(bo ,ao) = do ив иных ситуациях g(x,y) = x. Наконец, h(a1, b1) = c1, h(b1, a1) = d1, h(ao, bo) = do, h(bo, ao) = co ив иных случаях h(x, y) = x.
Пусть Ах = < А; /,д > и А2 = < А; /,Н>. Непосредственно замечается, так как все одноэлементные подмножества алгебр Ах и А 2 суть их подалгебры, то ^ттщ совпадает с ^ттщ. Столь же непосредственно замечается, что БпЪАх = БпЪА2, а так как отображение ц>: ) = а0, ) = Ъо, ) = Со, = й0 входит в 1НшА\ и не входит в 1НшА2,
то 1НшА\ = 1НшА2. .
Помимо алгебры Аа роль алгебры А' для описания (см. равенство (*)) оператора алгебраического замыкания В ^ В а могут играть и иные расширения алгебры А. Необходимым условием при этом является существование в21' = < А';<т> некоторого элемента йв такого, что Дд/ = {¿вдля любого подмножества В С А'.
Квазиупорядоченное множество < С; ^ > будем называть квазирешеткой, если решеткой является фактор-множество <С/^; по отношению эквивалентности ~ порожденному квазипорядком Соответственно < С; будем называть полной квазирешеткой, если решетка <С/^; является полной.
Описанная выше ситуация с расширением Аа алгебры А подсказывает следующее определение. Универсальную алгебру А = < А; а > назовем 1-алгебраически полной, если для любого В С А существует элемент шв из А такой, что Ва = {шв}а. Таким образом, алгебры вида АА для любых алгебр А являются 1-алгебраически полными, а вложение а) = а является вложением любой универсальной алгебры А в 1-алгебраически полную алгебру Аа. В силу определения 1-алгебраически полных алгебр и замеченного выше, совокупность алгебраически замкнутых подмножеств 1-алгебраически полной алгебры А = < А; а > совпадает с совокупностью главных идеалов (подмножеств вида {а Ъ\а € А где Ъ € А}) квазиупорядоченного множества < А; ^1ь,тА>. В качестве примеров 1-алгебраически полных алгебр укажем на произвольные решетки (вообще на любую идемпо-тентную алгебру). Так же нетрудно непосредственно заметить, что 1-алгебраически полной является любая булева алгебра. Непосредственно замечается, что абелева группа А является 1-алгебраически полной тогда и только тогда, когда конечные порядки элементов из А ограничены в совокупности, либо А содержит элемент бесконечного порядка.
Отметим, что если А = < А; а > 1-алгебраически полная алгебра, то квазипорядок < А; ^1ЪшА> является полной квазирешеткой, где элемент шв/играет роль супремума для множества В/^1зоа в
полной решетке <А!^^; >, здесь ~13оа - эквивалентность по-
рожденная квазипорядком ^щтА.
Обратное неверно. Пусть, к примеру, А = < А; / > алгебра, сигнатура которой состоит из одной унарной операции /, а, Ъ, с, й, е € А и < а >а-/ -2-цикл, < Ъ >А-/-3-цикл, < с >а-/ -5-цикл, < й >А-/-30-цикл и е идемпотент алгебры А. При этом А - дизъюнктное объединение
76
А. Г. ПИНУС
подалгебр < а >а, < Ь >а, < с >а, < d >а и < е >а. Очевидно, что <А!^1ЬтА> пятиэлементная (полная) решетка М3, но алгебра А не является алгебраически полной, к примеру, < а >а и < Ь >а является алгебраическим множеством отличным от любого множества вида {и}а для какого-либо и € А.
Отметим теперь, что класс 1-алгебраически полных алгебр любой не более чем счетной фиксированной сигнатуры а является ЬШ1 ^-аксиоматизируемым классом. Действительно, пусть Т(х) произвольная фиксированная (не более чем счетная) система термальных уравнений
{г}(х) = г2г(х)\г € I}
сигнатуры а от переменной х, а Та (х) — совокупность всех подобных (сигнатуры а от переменной х) термальных уравнений. Через Ат(х) обозначим следующую ЬШ1 >ш-формулу сигнатуры а:
Ат(х) = ^х%(х) ^ М',(х) К*) = ?(*) » Ы&Т(У) ^
^ т=¿'ш.
Очевидно, что алгебра А является 1-алгебраически полной тогда и только тогда, когда А = А^(х) для любой системы термальных уравнений Т(х).
Как хорошо известно из теоремы Левенгейма - Сколема, для счетных фрагментов языка ЬШ1,Ш (см., к примеру, [5]) вытекает следующий вариант этой теоремы для языка Ьш,ш в целом.
Для любой модели А = < А; а > не более чем счетной сигнатуры а и любого В С А мощности Щ существует подмодель £ = < В'; а > модели А мощности не более чем тах(2^°, Щ) включающая в себя В и такая, что ЬШ1,Ш-теории моделей А и £ совпадают.
Тем самым, в силу ЬШ1 ^-аксиоматизируемости класса 1-алгебраичес-ки полных алгебр, того, что, как отмечено выше, любая алгебра А вложима в 1-алгебраически полную алгебру Аа и приведенного выше -варианта теоремы Левенгейма-Сколема, имеет место
Теорема 1. Для любой универсальной алгебры А не более чем счетной сигнатуры имеющей мощность Щ ^ 2^° существует 1-алгебраически полное расширение алгебры А той же мощности Щ
Выбирая кардинал Щ отличным от кардиналов вида Лл получаем утверждение
Следствие 1. Любой элементарный класс К содержит 1-алгебраи-чески полные алгебры не изоморфные алгебрам вида Аа ни для каких универсальных алгебр А = < А; а >.
Покажем теперь, что ограничение Щ ^ 2^° в формулировке теоремы существенно. Пусть сигнатура а состоит из счетного числа унарных функций а = < ¡П(х)\п € ш >. На множестве А = ш х{0,1} определим алгебру А = < А; а > сигнатуры а следующим образом: для любых п,т € ш и г €{0,1} пусть
„ , .. | < т, 1 — г >, если т = п,
fn(m, г) = \
\<т,г>, если т = п.
Тогда для любого В С ш В х{0,1} алгебраическое множество в А, определяемое совокупностью термальных уравнений Тв(х) = {/п(х) = х\п € В}. Если А' 1-алгебраически полное расширение А и тв элементы из 21/ такие, что В х {0,1} = {тв}я,, то для В\ ф В2 С ш твх ф шв2 и значит \А'\ ^ {тв\В С ш} ^ 2^°, что и требовалось показать.
Список литературы
1. Пинус А. Г. О квазипорядке индуцированном внутренними гомоморфизмами универсальных алгебр и операторе алгебраического замыкания на алгебрах / А. Г. Пинус // Сиб. мат. журн. - 2015. - Т. 56, № 3. - C. 629-636.
2. Плоткин Б. И. Некоторые понятия алгебраической геометрии в универсальной алгебре / Б. И. Плоткин // Алгебра и анализ. - 1997. - Т. 9, № 4. - С. 224-248.
3. Пинус А. Г. Об Ihm-дозволенных и Ihm-запрещенных квазипорядках на алгебрах (в печати).
4. Пинус А. Г. Производные структуры универсальных алгебр / А. Г. Пинус. -Новосибирск : Изд-во НГТУ, 2007.
5. Dickman M. A. Larger Infinitary Languages // Model-Theoretic Logics. - N. Y. : Springer-Verlag, 1985. - P. 317-363.
Пинус Александр Георгиевич, доктор физико-математических наук, профессор, Новосибирский государственный технический университет, 630073, Новосибирск, пр. К. Маркса, 20, тел.: 383-346-11-66, e-mail: [email protected]
A. G. Pinus
Ihm-Quasiorder and Derived Structures of Universal Algebras; 1-Algebraic Complete Algebras
Abstract. The relation of so-called Ihm-quasiorder (defining a closure operator on subsets of direct powers of basic sets of universal algebras) with the such derived structures of these algebras as a lattices its algebraic subsets, lattices of its subalgebras, semigroups of its innere homomorphisms. We introduce the notion of 1-algebraic complete algebras and prove that for any least countinual algebra of countable signature exists its 1-algebraic complete extebsion of the same power as the algebra.
78 А. r. nHHYC
References
1. Pinus A.G. On the Quasiorder which is induced by the Innere Homomorphisms of the Universal Algebras and on the Algebraic Closure Operator on the Subsets of these Algebras (O kvaziporyadke indutsirovannom vnutrennimi gomomorfizmami universalnich algebr i ob operatore algebraicheskogo zamikaniya na podmnogestvach etikh algebr). Sib. math. Journal (Sib. mat. zhurnal), 2015, vol.56, no 3. P. 629-636.
2. Plotkin B.I. Some Notions of Algebraic Geometry in Universal Algebra ((Nekotorye ponyatiya algebraicheskoy geometrii v universalnoi algebre)). Algebra and Analisis (( Algebra i analiz)), 1997, vol.9, no 4, pp.224-248.
3. Pinus A.G. On Ihm-permitted and Ihm-banned Quasiorders on Algebras ((O Ihm-dozvolennikh i Ihm-zapreshchennikh kvaziporyadkakh na algebrach)) (in appered).
4. Pinus A.G. Derived Structures of Universal Algebras ((Proizvodnie struktury universalnikh algebr)). Novosibirsk, NGTU-Publ., 2007 ((Novosibirsk, izd-vo NGTU, 2007)).
5. Dickman M.A. Larger Infinitary Languages. Model-Theoretic Logiks. SpringerVerlag, New-York, 1985, pp. 317-363.
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: [email protected]