КАТЕГОРИЧНОСТЬ СИЛЬНО МИНИМАЛЬНЫХ ФРАГМЕНТОВ ЙОНСОНОВСКИХ МНОЖЕСТВ

МАТЕМАТИКА

СЕКЦИЯ

«МАТЕМАТИЧЕСКАЯ ЛОГИКА, АЛГЕБРА И ТЕОРИЯ ЧИСЕЛ»

КАТЕГОРИЧНОСТЬ СИЛЬНО МИНИМАЛЬНЫХ ФРАГМЕНТОВ ЙОНСОНОВСКИХ МНОЖЕСТВ

Ешкеев Айбат Рафхатович

д-р физ.-мат. наук, проф. Карагандинского государственого университета им. Академика Е.А. Букетова, зав. кафедрой алгебры, математической логики и геометрии им. проф. Т.Г. Мустафина,

Республика Казахстан, г. Караганда E-mail: modth1705@mail.ru

Шаматаева Назгуль Куанышовна

докторант 1-го курса, специальность «6D060W0-Математика» Карагандинский государственный университет им. Академика Е.А. Букетова преподователь Карагандинского политехнического колледжа,

Республика Казахстан, г. Караганда E-mail: naz. kz85@mail. ru

Меженина Радмила Олеговна

магистрант 1-го курса, специальность «6М060100-Математика», Карагандинский государственный университет им. Академика Е.А. Букетова, Республика Казахстан, г. Караганда E-mail: ester 15@mail.ru

CATEGORICALLY STRONGLY MINIMAL FRAGMENTS JONSSON SETS

Aibat Yeshkeyev

named after E.A. Buketov Karaganda State University Doctor of Physical and Mathematical Sciences, Professor Head. Of Department of Algebra, Mathematical logic and Geometry. Named after prof. T.G. Mustafin,

Kazakhstan, Karaganda

Nazgul Shamatayeva

named after E.A. Buketov Karaganda State University Doctoral student of 1st course, speciality "6D060100-Mathematics" teacher of the Karaganda Polytechnic College, Kazakhstan, Karaganda

Radmila Mezhenina

named after E.A. Buketov Karaganda State University Master of 1st course, speciality "6M060100-Mathematics",

Kazakhstan, Karaganda

АННОТАЦИЯ

В этой статье рассмотрены ВОПРОСЫ счетной и несчетной категоричности фрагментов сильно минимальных йонсоновских множеств в экзистенциально простых выпуклых йонсоновских теориях.

ABSTRACT

This article considered the questions of countable and notcountable categorisity concern of the fragments of Jonsson strongly minimal sets in existential prime convex Jonsson theories.

В работе[1, с. 53-62] были рассмотрены вопросы счетной и несчетной категоричности для некоторых позитивных подклассов йонсоновских теорий. Данная статья посвящена изучению аналогичных вопросов в более общей ситуации, а именно вопросы

категоричности для фрагментов выпуклой и экзистенциальной простой йонсоновской теории. Понятие йонсоновского множества было определено раннее в работах одного из авторов данной статьи, и программа исследования таких подмножеств семантической модели произвольной йонсоновской теории были доложены в [8, с. 8; 9, с. 99100; 11, с. 108].

Понятие сильной минимальности, как для множеств, так и для теорий сыграли решающую роль при получении результата об описании несчетно--категоричных теорий [8, с. 79-96].

Хорошо известно, что йонсоновские теории представляют собой естественный подкласс такого широкого класса теорий, как класс индуктивных теорий, который содержит многие классические алгебраические примеры - это, например, теории булевых алгебр, абелевых групп, полей фиксированной характеристики, полигонов и т. д. Все эти примеры важны как в алгебре, так и в различных областях математики. Но перечисленные теории не только индуктивные, но и одновременно йонсоновские. И они, как правила представляют пример неполных теорий. При этом современный аппарат теории моделей развивался в основном для полных теорий, поэтому на сегодняшний день техника изучения неполных теорий заметна беднее, чем для полных теорий.

Как видно, из перечисленного списка сфера применения техники, развитой для изучения йонсоновских теорий, может быть достаточно широка и полезна в смысле развития аппарата изучения неполных теорий.

Таким образом, всё вышесказанное говорит о том, что изучение теоретико-модельных свойств йонсоновских теорий является актуальной задачей.

Из опыта изучения индуктивных теорий [7, с. 67], учитывая, что йонсоновские теории, как подкласс индуктивных теорий, обладает дополнительными интересными свойствами, мы пытаемся найти универсальные способы изучения индуктивных теорий. Одним из таких способов является метод переноса свойств первого порядка центра йонсоновской теории на саму йонсоновскую теорию. Об этом методе и об исследованиях в рамках изучения йонсоновских теорий и имеющих отношения к материалу данной статьи, мы можем отослать читателя к следующим источникам [2, с. 7-65; 4, с. 74-77; 5, с. 117-128].

Напомним основные определения из [2, с. 7], которые связаны с рассматриваемыми понятиями данной статьи.

Пусть задан произвольный счетный язык Ь .

Теория Т называется йонсоновской, если:

Йонссонская теория Т называется совершенной теорией, если

семантическая модель насыщенна.

Пусть Т-йонсоновская совершенная теория полная для экзистенциальных предложений в языке L и ее семантические модель есть С.

Мы говорим, что множество Х - £ —определимо, если оно определимо некоторой экзистенциальной формулой.

а) Множество X называется йонсоновским в теории Т, если оно удовлетворяет следующим свойствам:

Если в случае изучения полных теорий мы имеем в основном дело с двумя объектами, это сама теори и ее модели, то в случае изучения йонсоновской теории мы в качестве моделей рассматриваем класс экзистенциально замкнутых моделей рассматриваемой теории, а также дополнительным условием является некоторая полнота рассматриваемой теории в логическом смысле. Как минимум, рассматриваемая теория должна быть экзистенциально полна.

Дадим определения йонсоновского фрагмента:

Будем говорить, что все УЗ - следствия произвольной теории создают йонсоновский фрагмент этой теории, если дедуктивное замыкание этих УЗ - следствий есть йонсоновская теория.

Тем не менее в общем случае класс йонсоновских теорий остается достаточно широким, и мы рассмотри его естественные ограничения. Это будет сделано используя свойство выпуклости и свойство экзистенциальной полноты.

Определение 1. Теория Т называется выпуклой,если для любой ее модели Щ и для любого семейства (Ж; 1I 6 /} ее подструктур, которые являются моделями теории Г, пересечение П^6/ ®£ есть модель теории Г. При этом предполагается ,что это пресечение

Естественные и математические науки в современном мире №2 (37). 2016г._www.sibac.info

не пусто. Если это пересечение никогда не пусто, то теория называется сильно выпуклой.

Определение 2. Модель теории называется алгебраически простой, если она изоморфно вкладывается в любую модель рассматриваемой теории.

Определение 3. Модель А теории Т называется Т -экзистенцианально замкнутой, если для любой модели В и любой

экзистенциальной формулы ф (х) с константами из А выполняется А |=

Заметим, что если ЕГ -класс Т -экзистенциально замкнутых моделей индуктивной теории Т, то он всегда непуст [7, с. 57-61].

Определение 4. Индуктивная теория Т называется экзистенциально-простой, если

На данный момент достаточно хорошо изученными являются совершенные йонсоновские теории. Для них был доказан критерий совершенности [2, с. 7-65], что позволило получить многие теоретико-модельные факты относительно йонсоновской теории и ее центра. Имеются полные описания как центра таких теорий так и классов их моделей.

Основной задачей данной статьи является следующая задача:

В рамках данных нововведенных определений, рассмотреть и описать фрагменты сильно минимальных йонсоновских множеств для класса выпуклых экзистенциально простых йонсоновских теорий. Это в свою очередь повлечет за собой целый ряд новых постановок задач, например уточнение свойств первого порядка для компаньонов фрагментов (используется для доказательства теоремы 5),,уточнение теоремы Лахлана-Болдуина о несчетной категоричности в рамках данной нововведенной тематики ( используется для доказательства теоремы 6.

Напомним, что йонсоновская теория Т имеет семантическую модель К достаточно большой мощности. Если эта модель является насыщенной, то данная йонсоновская теория называется совершенной. Семантические модели совершенной йонсоновской теории однозначно определяются своей мощностью. Далее, следуя [6, с. 7-89] так как мы буде иметь дело с совершенными йосоновскимим теориями, то нам

удобно работать внутри некоторой большой семантической экзистенциально замкнутой модели, содержащей все остальные экзистенциально замкнутые модели рассматриваемой совершенной йонсонов-ской теории. Назовем эту модель универсальной экзистенциальной областью (УЭО).

Ее можно также охарактеризовать следующими условиями.

В рассматриваемых результатах, мы будем рассматривать не все подмножества К, а только йонсоновские подмножества.

Для любых £ - определимых подмножеств семантической модели мы имеем, что верно следующий результат.

Лемма 1. [6, с. 31-36].

£ - определимое подмножество семантической модели определимо над множеством параметров А из семантической модели, если и только если оно инваиантно относительно всех автоморфизмов модели К, оставляющих на месте каждый элемент из А.

Отсюда следует, что определимое замыкание dd(A) йонсонов-ского множества А, т. е. множество всех элементов, определимых над А, совпадает с множеством элементов, инвариантных относительно всех автоморфизмов над А.

Из леммы 1. вытекает, что элемент Ь алгебраичен над А, если и только если он имеет лишь конечное число сопряженных над А.

Определим ранг Морли для экзистенциально определимых подмножеств семантической модели.

Мы хотим приписать каждому £ - определимому подмножеству ГО из семантической модели порядковое число (или, возможно, -1 или - его ранг Морли, обозначаемый через MR. Сначала определим отношение MR(ГО) > а посредством рекурсии по ординалу а.

Пусть Т совершенная йонсоновская теория, С-ее УЭО.

Определение 5. [6, с.31-36].

MR(ГО) > 0, если и только если ГО непусто;

MR(ГО) > Я, если и только еслиMR(ГО) > а при всех а < Я (Я -предельный ординал);

MR(ГО) > (а + 1), если и только если в ГОсуществует бесконечное семейство (ГО ¡) попарно непересекающихся £ - определимых подмножеств, таких что MR(ГО ¡) > а при всех ^

Тогда ранг Морли класса ГО равен

MR(ГО) = sup{а/MR(ГО) > а}

Причем будем считать, что MR(0) =-1 и MR(ГО) = те, если 48/ для всех а (в последнем случае будем говорить, что ГО не имеет ранга).

Заметим,что £ -определимый класс имеет ранг - 1, если он пуст; ранг 0, если он конечен; ранг 1, если он бесконечен, но не содержит бесконечного семейства непересекающихся бесконечных £ -определимых классов.

Лемма 2. [6, с. 31-36].

Справедливо соотношение

MR(ГО1 и ГО2) = max(MR(ГО1),MR(ГО2)).

Определение 6. [6, с. 31-36].

Степень Морли Md(ГО) йонсоновского подмножества ГО из семантической модели, имеющего ранг Морли а, это максимальная длина d его разложения ГО = ГО1 и ... и ГОд на непересекающиеся экзистенциально определимые подмножества ранга а.

В случае ранга 0 степень экзистенциально определимого подмножества ГО-это просто число его элементов. Если экзистенциально определимое подмножество не имеет ранга, то не определена и его степень Морли.

Рассмотрим йонсоновски минимальные множества. Далее под структурой понимается модель сигнатуры или языка X рассматриваемой йонсоновской теории.

Пусть М - структура, и пусть Б £ М" бесконечное £-определяемое подмножество. Мы говорим, что Д является минимальным в М, если для любого £-определяемого У £ д либо У конечно, либо Д \\У конечно. Еслиф(у, й)является формулой, которая определяет Д, то мы также можем сказать, что а) минимальна.

Мы говорим, что Д и ф йонсоновски сильно минимальны, если ф минимальна в любом экзистенциально замкнутом расширении Ж из М.

Будем говорить, что теория Т йонсоновски сильно минимальна, если УМ 6 £г,

М является йонсоновски сильно минимальной.

Рассмотрим пример алгебраического замыкания в нескольких йонсоновски сильно минимальных теориях.

Если К алгебраически замкнутое поле и А £ то ас1(Д) является алгебраическим замкнутым подполем порожденным А

Следующие свойства алгебраического замыкания верны для любого алгебраически йонсоновского множества Д.

I. ас1(ас1(4)) = ас!(4) 3 А

Естественные и математические науки в современном мире www.sibac.mto_№_2 (37), 2016 г

II. Если Лсд, то ас1(Л) с ас1(£).

III. Если а 6 ас1(Л), тогдаа 6 ас1(Л0) для некоторого конечного

Более тонкое свойство верно, если Д йонсоновски сильно минимально.

Лемма о Замене. [6, с. 31-36].

Предположим, что Д подмножество семантической модели рассматриваемой теориии оно йонсоновски сильно минимально, А с В иа,Ь 6В. Если а 6 ас1(Л и (Ь})\\ас1(Л), тогда Ъ 6 ас1(Л и (а}).

Замечание.

Йонсоновски сильно минимальное множество-это экзистенциально определимое подмножество семантической модели рассматриваемой теории ранга 1 и степени 1 в смысле Морли.

Определение 7. [6, с. 31-36].

Теорема 1. [6, с. 31-36].

Йонсоноская теория Т йонсоновски тотально транцендентна, если и только если она йонсоновски ш-стабильна.

Лемма 3. [6, с. 31-36].

Пусть а и Ь произвольные элементы семантической модели. Если элемент Ь алгебраичен над А и а, где А экзистенциально определимое подмножество семантической модели , то MR(b/A) < MR(a/A).

Следствие 1. [6, с. 31-36].

Пусть М - некоторая ш-насыщенная экзистенциально замкнутая подмодель семантической модели, а ф-некоторая L(M) — формула ранга а и степени Морли d. Тогда можно разложить ф на L(M)-формулы фх,..., фт ранга а и степени 1.

Во всяком йонсоновски сильно минимальном множестве, мы можем определить понятие независимости, обобщающее линейную независимость в векторных пространствах и алгебраические независимости в алгебраически замкнутых полях.

Зафиксируем Ж^Г и А йонсоновски сильно минимальное множество в Ж-экзистециально замкнутая помодель семантической модели йонсоноской теории Г.

Определение 8. [6, с. 31-36]. Будем говорить, что независимо, если а £ ас1(Л\\(а}) для всех а 6 А. Если СсА,

.(с СибАК

Естественные и матемапш ческие науки в современном мире у > №2 (37). 2016г._www.sibac.info

мы говорим, чтоЛ независимо надС, если а £ ас1(С и (Д\\{а})) для всех а 6 А

Мы покажем, что бесконечные независимые множества являются множества неразличимых элементов.

Лемма 4. [6, с. 31-36].

Пусть

Т есть йонсоновски сильно минимальная теория и М, ,ф(у)является йонсоновски сильно минимальной формулой с параметрами из А, где либо А = 0, либоЛ £ М0где М0 1= ЯГ,М0 М, и М0 Ж. Если а1,...,а„ 6 ф(М)независимы над Л ий1,..., Ь„ 6 ф(Ж)являются независимыми над А то полные экзистенциальные типы £рМ(й/.Д), £рж(Ь/.Д) равны между собой.

Следствие 2. [6, с. 31-36].

Если М, Ж = 7, и ф(^), как указано выше, В представляет собой бесконечное подмножество ф(М) независимое над А и С является бесконечным подмножеством ф(^) независимого над Л, тогдаВ и С являются бесконечными множествами неразличимых того же типа над А

Поэтому мощность является единственным способом отличить независимые подмножества Д.

Определение 9. [6, с. 31-36].

Будем говорить, что А является базисом для У £ ,0, если А £ У независимо и ас1(Д) = ас1(У).

Очевидно, что любое максимально независимое подмножество У является базисом для У. Так же, как в векторных пространств и в алгебраически замкнутых полях, любые два базиса имеют одинаковую мощность.

Пусть /(£у, Х0) обозначает число счетных экзистенциально замкнутых моделей йонсоновской теории Г.

Используя технику доказательств для полных теорий и изменяя соответствующие понятия на технику йонсоновских множеств, мы можем доказать йонсоновские аналоги соответствующих результатов о спектре счетных моделей [6].

Следствие 3. [6, с. 31-36].

Если Т сильно минимальная йонсоновская теория полная для экзистенциальных предложений, то Т является -категорическим для к > ^ и /(Яг, К0) < К0.

Следствие 4. [6, с. 31-36].

Если Т йонсоновская теория полная для экзистенциальных предложений является несчетно категоричной и в ней есть йонсоЕстественные и математические науки в современном мире www.sibac.mto_№_2 (37), 2016 г

новски сильно минимальная Х-формула, то либо Т Ко-категорична или /(£г,Хо) = Ко.

Теорема 2. [6, с. 31-36].

Если Т йонсоновская теория полная для экзистенциальных предложений является несчетно категоричной, но не К0-категоричной, то /(£г,Ко) = Ко.

Определение 10. [6, с. 31-36].

Йонсоновская стабильность ^-Стабильность). Пусть Т -йонсоновская теория, (X)-множество всех экзистенциальных полных п -типов над X, в соответствии с ^ для любого конечного п. Мы будем говорить, что йонсоновская теория Т- J- Я — стабильна, если для любой ^экзистенциально замкнутой модели, для любого подмножества X изА, |Х| < Я ^ |5;(Х)| < Я.

Теорема 3. [6, с. 31-36].

Если Т йонсоновски суперстабильна, но не Ко-категорична, то /(Яг,Ко) > Ко.

Пусть X сильно сильно минимальное йонсоновкое множество и M экзистенциально замкнутая модель, где dd(X) = M. РассмотримГйУЗ(М) = Гм.

Лемма 5. [6, с. 31-36] Гм. будет йонсоновкой теорией.

Теорема 4. [6, с. 31-36].

Пусть Гм, как описано выше. ЕслиЯ > то следующие условия эквивалентны:

(1) Гм - / — Я -стабильна;

(2) Г*-Я- стабильна, где Г* является центром Т.

Пусть Гм есть, как описано выше.

Теорема 5.

Пусть теория Т- совершенная экзистенциально простая сильно выпуклая йонсоновская экзистенциально полная теория.

Следующие условия эквивалентны:

(1) Гд*категорична;

(2) Гмкатегорична.

Доказательство. Следует из доказательства теоремы 3 из [1], с учетом вышесказанного в рамках рассматриваемых понятий.

Определение 11.

Пусть 6£т и Л с В. Тогда B называется алгебраически простой расширением А в Яг, если для любой модели С 6 £т таким образом, что если А изоморфно вкладывается в С, то B изоморфно вкладывается в С

Пусть X сильно минимальное алгебраически йонсоновское множество, acl(X) =M и M экзистенциально замкнутая модель. Т^есть, как описано выше, есть центр Гм Теорема 6.

Пусть теория Т- совершенная экзистенциально простая сильно выпуклая йонсоновская экзистенциально полная теория. Тогда следующие условия эквивалентны:

(1) категорична;

(2) любое счетное модель £г имеет простое алгебраическое расширение в £г .

Доказательство. Следует из доказательства теоремы 9 из [1, с. 53-62], с учетом вышесказанного в рамках рассматриваемых понятий.

Все неопределенные в этой статье определения понятий, а также более полную информацию о йонсоновских теориях можно прочитать в [2, с. 1-250].

Список литературы:

Т - Д - PM -теории. Вестник КазНУ. - Серия математика, механика, информатика, № 3, Специальный выпуск. - 2008. - С. 74-77.

КЛАССИФИКАЦИЯ ОТНОСИТЕЛЬНО КОСЕМАНТИЧНОСТИ ФРАГМЕНТОВ ЙОНСОНОВСКИХ МНОЖЕСТВ В ЭКЗИСТЕНЦИАЛЬНО ПРОСТЫХ ВЫПУКЛЫХ ЙОНСОНОВСКИХ ТЕОРИЯХ

Ешкеев Айбат Рафхатович

д-р физ. -мат. наук, проф. Карагандинского государственого университета им. Академика Е.А. Букетова зав. кафедрой алгебры, математической логики и геометрии им. проф. Т.Г. Мустафина,

Республика Казахстан, г. Караганда E-mail: modth1705@mail.ru

Шаматаева Назгуль Куанышовна

докторант 1-го курса, специальность «6D060100-Математика», Карагандинский государственный университет им. Академика Е.А. Букетова, преподователь Карагандинского политехнического колледжа, Республика Казахстан, г. Караганда E-mail: naz.kz85@mail.ru

Жумакаева Кульбан Нигметовна

магистрант 1-го курса, специальность «6М060100-Математика», Карагандинский государственный университет им. Академика Е.А. Букетова, Республика Казахстан, г. Караганда E-mail: azhar0413@mail.ru