Индуцированные порядки в булевых решетках и фактор-отношениях универсального отношения тема диссертации и автореферата по ВАК РФ 01.01.06, кандидат физико-математических наук Одинцов, Вадим Анатольевич

• Одинцов, Вадим Анатольевич
• кандидат физико-математических наук
• 1999

Оглавление диссертации кандидат физико-математических наук Одинцов, Вадим Анатольевич

Оглавление

Введение

1. Объект и направление исследования

2. Постановка задачи

3. Методика исследования

4. Основные результаты

1 Вложение частично упорядоченных множеств в булевы

решетки

1. Неподвижные точки \/-эндоморфизмов конечной булевой решетки в индуцированной частичной упорядоченности

1.1. Неподвижные точки изотонных преобразований решеток

1.2. Левые модули над двухэлементной булевой алгеброй

1.3. Полулинейные преобразования свободного Б-модуля

1.4. Неподвижные точки эндоморфизмов свободного В-модуля

1.5. Неподвижные точки эндоморфизмов булевой решетки

1.6. Неподвижные точки полуэндоморфизмов свободного В-модуля

1.7. Представление дистрибутивных решёток решетками неподвижных точек

2. Интерпретация неподвижных точек в логике Брауэра

2 Частичный порядок на фактор-отношениях универсаль-

ного отношения

3. Факторы Дедекинда частично упорядоченных множеств

4. Решётки факторов Дедекинда и их конгруэнции

4.1. Подпрямая неразложимость решёток факторов

4.2. Решётки конгруэнций решёток факторов

4.3. Алгебраические свойства конгруэнций

5. Идеалы и коидеалы решёток факторов Дедекинда

5.1. Строение идеалов и коидеалов

5.2. О локальном строении решетки многообразий решеток

Литература

Введение диссертации (часть автореферата) на тему «Индуцированные порядки в булевых решетках и фактор-отношениях универсального отношения»

Введение

В диссертации изучаются частичные порядки, индуцированные некоторыми данными частичными порядками, и частичные порядки, являющиеся их ослаблениями. Последние порядки также можно называть индуцированными, если в определении индуцирования исходить из бинарного отношения. Действительно, пусть рСРхРир- порядок с диагональю {(ж, ж) : же?}, Пусть 8 С р и 6 - порядок с диагональю {(ж, х) : х £ Q1 Q С Р}. Будем называть 8 частичным порядком на Q: индуцированным частичным порядком р.

1. Объект и направление исследования

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

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

2. Роль частичного упорядочения при изучении проблем вложения, когда рассматриваются различные операторы вложения частично упорядоченных множеств в полные решетки и различные конструкции их

пополнения для решения теоретико-решеточных проблем.

3. Роль связи между теоретико-решеточными свойствами дистрибутивных решеток и теоретико-порядковыми свойствами частично упорядоченных множеств их \ЛнеприводимыХ (т.е. неразложимых в объединение) элементов.

4. Роль свойств решеток конгруэнций СопЬ в теории многообразий решеток.

В настоящей диссертации в контексте направлений 2, 3 изучается частичный порядок на совокупностях неподвижных точек \/"энДоморФиз-мов (т.е. эндоморфизмов по объединению) булевой решетки конечной длины и контексте направлений 1, 4 - частичный порядок на фактор-отношениях универсального отношения по эквивалентностям Риса, выделенными классами которых являются дополнения частичных порядков. При этом эквивалентностью Риса или Р-равенством на непустом множестве Ь в работе называется эквивалентность, индуцирующая равенство на подмножестве Р и универсальную эквивалентность на дополнении Ь\Р, именуемом выделенным классом Р-равенства.

2. Постановка задачи

Пусть <р - изотонное преобразование полной решетки Ь и Ь^ - множество неподвижных точек оператора ср. По теореме Тарского о неподвижной точке Ь^ ф 0. Биркгоф в комментарии к этой теореме [2, стр.154] поставил следующий вопрос: образуют ли решетку в индуцированной частичной упорядоченности неподвижные точки изотонного отображения полной решетки в себя?

Когаловский С.Р. и Туманова Т.А. [8] показали, что для подмножества X полной решетки Ь равносильны следующие условия:

1. X - множество всех неподвижных точек некоторого изотонного пре-

образования решетки

2. X - ретракт решетки Ь, т.е. существует изотонное отображение решетки Ь на ч.у. множество X, тождественное на X;

3. X — полная решетка в индуцированной частичной упорядоченности.

Естественно поставить вопрос изучения строения ретракта X в конкретных случаях. К настоящему времени имеются отдельные примеры его решения. Так, Ханлон [19] изучил ретракт X, когда он состоит из неподвижных точек автоморфизма решетки разбиений множества {1,..., п}, индуцированного фиксированной перестановкой этого множества.

В наших обозначениях X = Ь<р. В соответствии с отмеченным выше направлением 2 в [15], поставим по отношению к тройке (Ь,(рЬ, Ь^) следующий вопрос вложений: если <рЬ вложена в Ь с сохранением только объединений или только пересечений и при этом Ь^ - подрешетка в </?£, то при каких условиях Ь^ будет подрешеткой в Ш В данной работе решеткой Ь является конечная булевая решетка, а преобразованием ср - ее \/-эндоморфизм. Вопрос вложений для тройки (I/, <рЬ, Ь^) имеет в этом случае также и тот интерес, что всякая конечная решетка является \/-эндоморфным образом булевой решетки. Еще один (прикладной) интерес представляет строение ретракта Ь^ для алгебры логики. В приложениях алгебры логики (кибернетика, техника и т.д.) важную роль играют характеристические множества булевых функций. Последние состоят из двоичных наборов (£х,..., на которых булевы функции /(£х, • • •, £п) принимают значение 1. Характеристические множества в указанных приложениях описываются поэлементно, в связи с чем возникает проблема ветвления, заключающаяся в экспоненциальной сложности перечисляющего алгоритма. Поэтому для данной булевой функции ..., £п) целесообразно поставить следующий вопрос: не является ли ее характеристическое множество относительно естественной ча-

стичной упорядоченности \/_ или Д-подполурешеткой в булевой алгебре всех двоичных наборов (£1,..., £п)? При положительном ответе вопрос перечисления всех элементов характеристического множества сводится к вопросу перечисления соответственно \/- или Д-неприводимых элементов соответствующей подполу решетки.

Естественно возникает и обратный вопрос: для всякой ли конечной решетки Р, вложенной в булеву алгебру Ь длины п как ч. у. множество с сохранением точных верхних или точных нижних граней, найдется булева функция / = /(£1,..., £п), характеристическое множество которой, рассматриваемое как подмножество алгебры совпадает с Р? При положительном ответе в этом случае проблема перечисления характеристического множества функции / не возникает вовсе: оно однозначно определяется соответствующими неприводимыми элементами решетки Р. Отметим, что постановка вопроса описания характеристических множеств булевых функций в терминах частичного порядка нам в литературе не встречалась.

Переходя к частичному порядку на фактор-отношении, приведем вначале один его естественный пример.

Пусть сг - естественно упорядоченная счетная цепь, состоящая из не-

У

сократимых арифметических дробей -, где ж, у е N. Рассмотрим на о обозначенную через и< эквивалентность Риса, выделенный класс которой состоит из всех правильных дробей. Отождествим одноэлементные классы с образующими эти классы неправильными дробями и ослабим линейный порядок на их множестве, полагая, что непосредственно сравнимы лишь дроби с одинаковыми числителями или знаменателями. Дру-у у у Ь

гими словами, — < - и - < - •<=>■ г <х ж у < Отсюда по транзитив-х х г г У *

ности полагаем, что — < - г < х < у <t для всех х, у. х, £ £ N. При

х г

этом класс правильных дробей будем считать наименьшим элементом

ч. у. фактор-множества сг/и><. Мы называем ч. у. множество сг/ш< канонически упорядоченным множеством факторов Дедекинда естественно

«

упорядоченного счетного ординала N по отношению {(х,у) : х,у Е N нод (х,у) = 1}. По определению фактор-порядка, как частичного порядка, определенного на классах эквивалентности ш< через частичный порядок, определенный на представителях этих классов, частичный порядок на множестве а/ш< является фактор-порядком ослабленного частичного порядка на множестве несократимых арифметических дробей.

Переходя к произвольному ч. у. множеству Р, формально отождествим одноэлементные классы {(ж, у)}, где х < у для всех ж, у 6 Р,

с неправильными арифметическими дробями —, класс {(х,у) : х ^

00

у, ж, у Е Р} - с классом правильных дробей, а также введем "ослабленный" частичный порядок на множестве всех классов как в предыдущем случае арифметических дробей. В результате получим ч. у. множество, которое мы будем называть канонически упорядоченным множеством факторов Дедекинда ч. у. множества Р по универсальному отношению {(ж, у) : х, у Е Р} (факторов Дедекинда ч. у. множества Р). Термин "фактор Дедекинда" непосредственно связан с термином "фактор ч.у. множества", которым Дедекинд называл упорядоченную пару (ж, у) элементов ч.у. множества, х < у, и которую он обозначал через у/х. Легко видеть, что биекция--> [х, у], {(х,у) : х ^ у, х, у Е Р} —>• 0 для всех

ОС

х,у Е Р, является изоморфизмом ч. у. множества факторов Дедекинда ч. у. множества Р и ч. у. множества его интервалов (вместе с пустым интервалом) по включению. При этом возникает естественный вопрос: является ли понятие фактора {(х,у) : х ^ у,х,у Е Р} содержательным с какой-либо точки зрения? В данной работе эта содержательность устанавливается в терминах насыщенных по эквивалентности и< частей множества Р х Р. Напомним, что по определению (см. Бурбаки [3]) таковыми являются произвольные объединения классов эквивалентности

и<. Наконец, общими в теории универсальных алгебр являются вопросы строения алгебр для конкретных классов алгебр и строения решеток их конгруэнций. В работе эти вопросы решаются для решеток факторов Дедекинда решеток. Заметим, что изоморфные объекты - решетки интервалов решеток с этих позиций не изучены.

3. Методика исследования

Результаты о строении совокупностей неподвижных точек \/-эндо-морфизмов булевой решетки получены методами линейной алгебры. Для этого булева решетка рассматривается как левый модуль над двухэлементной булевой алгеброй В с операцией сложения \/ и умножением элементов на скаляры из В, формально удовлетворяющим аксиомам классического унитарного модуля над кольцом [1, стр.261]. При этом на модуле определен согласованный с операциями частичный порядок <. \/-эндоморфизмы решетки отождествляются с линейными операторами, сохраняющими порядок <, а их неподвижные точки - с собственными векторами линейных операторов с собственным значением 1.

Результаты о строении решеток факторов Дедекинда получены методами формальной арифметики, оперирующей с факторами как с неправильными арифметическими дробями.

4. Основные результаты

В § 1 главы 1 решаются следующие задачи:

а) изучается строение совокупности состоящей из неподвижных точек данного \/-эндоморфизма (р конечной булевой решетки Ь;

б) изучается проблема вложения решетки Ь^ в решетку Ь;

в) изучается строение решетки Ь^, в случае когда <р - произвольный решеточный эндоморфизм;

г) изучается проблема вложения данной дистрибутивной решетки Я в булеву решетку Ь той же длины, что и 5, в качестве решетки неподвижных точек для некоторого \/-энД°моРФизма Ф решетки Ь.

Основными результатами этого параграфа являются теоремы 1-4.

Теорема 1. Решётка неподвижных точек любого У -эндоморфизма конечной булевой решётки дистрибутивна.

Теорема 1 доказана в [24] (см. Предложение 3).

Для произвольного изотонного оператора ф решетки Ь назовем эле-

V

менты решетки Ьф ^-неподвижными точками и обозначим через ф изо-

V

тонный оператор, определяемый условием ф х — фх V х для всех х (Е Ь.

Теорема 2. Решётка Ь^ для \/-эндоморфизма ср конечной булевой решётки Ь тогда и только тогда будет в ней подрешёткой, когда содержащееся в каждом главном порядковом фильтре, порожденном \/_

V

неприводимой <Р-неподвижной точкой, множество \/-неприводимых ср-неподвижных точек также является главным фильтром.

Теорема 2 дает необходимые и достаточные условия вложения решетки Ьу в решетку Ь в качестве ее подрешетки. Теорема 2 доказана в [24] (см. Теорема 1).

Пусть ср - эндоморфизм булевой решетки Ь с атомами е;, г = 1,... п, п > 1. Назовем ^-циклом произвольную циклическую перестановку множества {г : г = 1,..., п; ег- А <¿>0 = 0}. (^-цикл (г\.. .ц). I = 1,..., п называется стабильным циклом эндоморфизма ср, если для всех к = 1,..., I выполнено срегк > е^.

Теорема 3. Неподвижные точки любого эндоморфизма ср конечной булевой решётки образуют в ней булеву подрешётку, длина которой равна числу стабильных ср-циклов этого эндоморфизма.

Теорема 3 является следствием теоремы 2 и предложения 1.4, которое доказано в [24] (см. Следствие 2).

Следствие 11. В дистрибутивной решетке Р любое подмножество множества J(P) ненулевых У-неприводимых элементов У - порождает подрешетку в Р тогда и только тогда, когда каждый неприводимый \/-элемент покрыт в ч. у. множестве J(P) не более чем одним элементом.

Если е : 5 —Ь - решеточный мономорфизм для произвольных решеток Я, Ь и р - изотонное преобразование решетки Ь, для которого е(5) = Ьф, то е называется ^»-представлением решетки $ неподвижными точками ((^-представлением решетки 5).

Теорема 4. Всякий мономорфизм дистрибутивной решетки в булеву решетку той же длины является <р-представлением дистрибутивной решетки для подходящего У -эндоморфизма <р булевой решетки.

Теорема 4 доказана по частям. (См. Теорема 2 в [24], Предложение 1 в [29]).

В § 2 главы 1 решаются следующие задачи:

а)для данной дистрибутивной решетки 5 длины п найти пропозициональную формулу А(Х1,...,Хп) брауэровой логики, характеристическое множество которой, рассматриваемое в естественной частичной упорядоченности, изоморфно ч.у. множеству 5;

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

Напомним [2, стр.365] , что брауэровой логикой называется пропозициональное исчисление, которое является решеткой с О и / такой, что

В1. =

В2. Р ->> (ф Л) = (Р V (3) Я для всех Р, С}, К

Пусть А = Л(Х1,...,Хп) - пропозициональная формула брауэро-вой логики в переменных ... ,Хп и Р - конечное ч. у. множество. Множество Ад двоичных наборов (£ь...,£п)> на которых истинностная функция /(£1,..., £п)? определяемая пропозициональной формулой А(Х\,..., Хп) в двузначной модели брауэровой логики, принимает значение 1, называется характеристическим множеством формулы А. Формула А, для которой формула А —»■ 0 не является тавтологией, называется выполнимой формулой. Характеристическое множество выполнимой формулы непусто, и оно определяет эту формулу с точностью до эквивалентности.

Напомним, что формула А = В называется эквивалентностью формул Л и Б, а сами формулы А, В - эквивалентными формулами, если (А В)к{В А).

Выполнимая формула А называется интерпретацией ч.у. множества Р в брауэровой логике, а ч.у. множество Р называется интерпретируемым в этой логике посредством формулы А, если характеристическое множество формулы А в естественной частичной упорядоченности изоморфно ч. у. множеству Р.

Указанные выше задачи а) и б) решают соответственно теоремы 5 и

6.

Теорема 5. Каждая дистрибутивная решетка длины п, как ч. у. множество, интерпретируема в брауэровой логике посредством фор-

п

мулы & (Qi Х{) для подходящих дизъюнкций % — 1,..., п, в пере-%=1

менных Х\,..., Хп.

Теорема 5 доказана в [29] (см. Теорема 2).

Теорема 6. Пусть в пропозициональной формуле А = &

г£/С{1,...,п}

(О —Хг) = Хг) &; & (Ц] = Xподформулы (¿г являются произвольными (быть может пустыми) дизъюнкциями в переменных Х\,.. Хп для всех % — 1,... ,п. Тогда характеристическое множество формулы Л в естественной частичной упорядоченности образует в булевой решетке Ь, состоящей из всех наборов (£1, вместе с нулевым

элементом решетки Ь плотную (т.е. с единственным атомом) подре-шетку длины не более, чем п — |/| + 1.

п

Система булевых уравнений \/ (ск^ У ^ = определяемая фор-

к=1

мулой Л, из теоремы 6, связана с одним классом релейно-контактных схем (см. [7]). Для нее можно определить понятие системы фундаментальных решений. Она будет состоять из элементов множества J(S), где .^-дистрибутивная решетка, образованнная всеми решениями. По теореме 6 5 совпадает с характеристическим множеством формулы Л.

Теорема б в терминах логики Буля доказана в [24] (см. Лемма 6, Следствие 7).

В дополнение к теоремам 1-6 отметим следующее предложение.

Предложение 1.2. Неподвижные точки изотопного преобразования решётки, все главные идеалы и все главные фильтры которой полны, образуют в ней относительно индуцированной частичной упорядоченности решётку.

Предложение 1.2 является некоторым аналогом результата Когаловского Тумановой. В нем ослаблено требование полноты решетки, поэтому предложение представляет определенный интерес.

В главе 1 получены также некоторые результаты о линейных преобразованиях свободного левого модуля над двухэлементной булевой алгеброй. Они используются в работе как технические средства для доказательства основных теорем. Однако на наш взгляд некоторые из них (см. предложения 1.2 - 1.4) представляют самостоятельный интерес.

В главе 2 развита структурная теория для решеток класса решеток факторов Дедекинда (факторов) и решеток их конгруэнций.

В §3 главы 2 решаются следующие задачи:

а)для ч. у. множества (Ц <) изучить строение частично упорядоченного включением множества насыщенных по рисовской эквивалентности ш< частей множества Ь х Ь\

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

Указанные задачи а) и б) решают соответственно предложение 1 и предложение 2.

Для подмножества Е ч. у. множества Ь/Ь факторов ч. у. множества (Ь, <) первой (второй) проекцией РгхЕ(Р?"2Е) множества Е на множество Ь называется множество числителей (знаменателей)' всех факторов У л

- Е Е. Часть А х В множества Ь х Ь называется насыщенной частью для эквивалентности ш<, если Ах В является объединением некоторых классов эквивалентности ш< [3, стр.129].

Предложение 1. Множество Ах В насыщено для эквивалентности

и< тогда и только тогда, когда либо для всех а (Е А, Ь 6 В выполнено

{(а, 6)} = либо Ь \ {0} х Ь \ {1} САхВСЬхЬ. Насыщенные части а

Ь\{0}хЬ, ЬхЬ\{1}, 1/\{0}хЬ\{1} множества ЬхЬ включая его самого, а также фактор-множества Ео = Ь \ {0} х Ь/ш<, Е\ = Ь х Ь \ {1}/и<, Ь \ {0} х Ь \ {1} \о;<, Ь х Ь)ш< образуют по включению булеву решетку длины 2. При этом РггЕ0 = Рг2Е0 = Ь \ {0}, Рг\Т,\ = Рг2 Ех = Ь \ {1} РпЕ0 П Ех = Рг2Е0 П Ех - Ь \ {0,1}. □

Предложение 2. Частично упорядоченное множество факторов ч.у. множества Ь является решёткой тогда и только тогда, когда ч.у. множество Ь является решёткой.

В §4 главы 2 решаются следующие задачи:

а)найти все подпрямо неразложимые решетки факторов;

б)найти все простые решетки факторов;

в)описать решетки конгруэнций решеток факторов;

г)найти все регулярные решетки факторов;

д)классифицировать конгруэнции непростых решеток факторов. Указанные задачи а)-д) решают соответственно теоремы 7-11.

Теорема 7. Решётка факторов неодноэлементной решётки Ь подпрямо неразложима тогда и только тогда, когда \Ь\ ф 2.

Значение этого результата в теории многообразий решеток обусловлено той ролью, которую играют \/_неРазложимые элементы в решетке многообразий решеток (см. Ионссон [10]), в частности, для изучения решетки подмногообразий данного многообразия. Естественно также поставить вопрос изучения интервалов типа [ЕдиЬ, к примеру, для пятиугольника Щ.

Теорема 7 в доказана в [23] (см. Теорема 2).

Теорема 8. Решётка факторов неодноэлементной решётки непроста тогда и только тогда, когда исходная решётка содержит неразложимый несобственный элемент.

Теорема 8 в доказана в [23] (см. Теорема 3).

Следующая теорема показывает, что непростые решетки факторов являются почти простыми решетками.

Теорема 9. Плотная пятиэлементная решётка длины 3 и все её собственные неодноэлементные подрешётки длины не более двух исчерпывают с точностью до изоморфизма все решётки конгруэнций решёток факторов решёток.

Отметим, что по теореме 9 решетки факторов и их прямые произведения являются решетками со стоуновыми решетками конгруэнций, проблема изучения которых поставлена Гретцером.

Теорема 9 доказана в [23] (см. Теорема 5).

Подмножество X алгебры А называется регулярным, если оно является классом точно одной конгруэнции на А. Конгруэнция на алгебре называется регулярной, если все её классы регулярны. Алгебра называется регулярной, если все конгруэнции на ней регулярны.

Теорема 10. Решётка факторов решётки регулярна тогда и только тогда, когда исходная решётка содержит не более одного неразложимого несобственного элемента или когда она двухэлементна.

Теорема 10 является переформулировкой в терминах регулярности теоремы 4 из [23].

Конгруэнция в[1], где I - идеал, называется стандартной, если х = у(в[1]) {х^\у)Уг = хУу для некоторого г € I (см. [4]).

Теорема 11. Все конгруэнции на решётках факторов стандартны.

Теорема 11 доказана в [23] (см. Теорема 6).

В §5 главы 2 решаются следующие задачи:

а)изучить строение идеалов и коидеалов, в том числе ядерных идеалов конгруэнций решеток факторов;

б)найти связь между упорядоченными включением ядерными идеалами собственных конгруэнций решетки факторов решетки Ь и упорядоченными включением насыщенными по эквивалентности ш< частями множества Ь х Ь\

в)изучить локальное строение решетки многообразий решеток вблизи многообразия Equ(N^) для пятиугольника Щ.

Указанные задачи а)-в) решены соответственно в теореме 12, следствии 1, предложении 3, теореме 13.

Теорема 12. В решётке факторов любой собственный коидеал разложим в прямое произведение своей первой проекции на решётку, двойственную его второй проекции, и всякий собственный идеал разложим в прямое произведение тогда и только тогда, когда он - главный идеал, порождаемый субатомом.

Теорема 12 доказана в [28] (см. Теоремы 1, 2).

Следствие 1. Ядерные идеалы всех собственных конгруэнций решёток факторов подпрямо неразложимы за исключением решёток факторов трёх и четырёхэлементной цепей.

Из теоремы 12 непосредственно вытекает следующий факт, установленный в [5] на языке решеток интервалов: всякое самодвойственное тождество на решетке Ь является тождеством на любой подрешетке в Ь/Ь, не содержащей элемента О^д,.

Идеал I решетки факторов называется вполне насыщенным, если I является фактор-множеством по отношению си< некоторой насыщенной по эквивалентности ш< части множества Ь х Ь.

Предложение 3. Идеал I вполне насыщен тогда и только тогда, когда I-ядерный идеал некоторой конгруэнции решетки Ь/Ь.

Предложение 3 совместно с предложением 1 устанавливают сохраняющее порядок взаимно однозначное соответствие между ненаименьшими конгруэнциями решетки факторов решетки Ь и насыщенными по эквивалентности ш< частями множества ЬхЬ, упорядоченными включением, и показывают, что формальное соответствие между 0-фактором, т.е. классом {(х,у) : х ^ у, х,у (Е Ь}, и пустым интервалом при изоморфизме решетки факторов решетки Ь и решетки ее интервалов по включению не уравновешивает указанные понятия с содержательной точки зрения.

Назовем локальным строением решетки многообразий решеток вблизи элемента Еди(Ь) конечной высоты строение ч. у. множества Л^[Еди(Ь), Еди(Ь/Ь)}). Локальное строение решетки многообразий вблизи элемента Еди(Щ) характеризует следующая теорема.

Теорема 13. Все неприводимые элементы решетки многообразий решеток, заключенные в интервале [Еди(М$), приведены на рис. 1-9; а ч. у. множество, образованное ими по включению - на рис. 10.

Теорема 13 непосредственно вытекает из теоремы 7 и результата Ион-сона[17].

Своему учителю и руководителю работы Альберту Ивановичу Старостину автор выражает глубокую благодарность.

Список литературы диссертационного исследования кандидат физико-математических наук Одинцов, Вадим Анатольевич, 1999 год

Литература

1. Артамонов В.А., Салий В.Н., Скорняков JI.A., Шеврин JI.H., Шуль-гейфер Е.Г. Общая алгебра, т.2. - М.:Наука, 1991. - 480с.

2. Биркгоф Г. Теория решеток. - М.:Наука, 1984. - 568с.

3. Бурбаки Н. Теория множеств. М.:Мир, 1965. - 456с.

4. Гильберт Д. й Аккерман В. Основы теоретической логики. М.:И*Л, 1947. - 302с.

5. Гретцер Г. Общая теория решеток. М.:Мир, 1982. - 456с.

6. Закревский А.Д. Логические уравнения. Минск:Наука и техника, 1975. - 94с.

7. Игошин В.И. Решетки интервалов и решетки выпуклых подрешеток решеток// Упорядоченные множества и решетки. Межвуз. сб. науч. тр. Саратов:изд. СГУ, 1980, вып.6, с.69-76.

8. Когаловский С.Р., Туманова Т.А. Замечания о неподвижных точках изотонных преобразований// Иванов, ун-т, Ивановский текстильн. ин-т. Иваново, 1981, Деп. в ВИНИТИ 9.02.1981 N622-81 - Юс.

9. Новиков П.С. Конструктивная математическая логика с точки зрения классической. - М.:Наука, 1977. - 328с.

10. Салий В.Н. Частично упорядоченные множества. Полурешетки. Обобщения решеток// Упорядоченные множества и решетки. Брати-cnaBa:Univerzita Komen-ského. - 1985. -С.259-260; 1986. - с.340-343.

11. Скорняков Л.А. Элементы теории структур. -М.:Наука, 1982. - 159с.

12. Чистов В.П. О системах логических уравнений// ИММ УНЦ АН СССР. Свердловск, 1985, Деп. в ВИНИТИ 13.10.1985 N2114-85 - 33с.

13. Фофанова Т.С. Общая теория решеток// Упорядоченные множества и решетки. Братислава: Univerzita Komen-ského. - 1986. - с. 180-187.

14. Dilworth R.P. McLaughlin J.E. Distributivity in lattices // Duke Math. J. - 1952. - Vol.19. - P.683-693.

15. Dilworth R.P. The role of order in lattice theory // "Ordered Sets. Proc. NATO Adv. Study Inst., Banff, Aug.28-Sept.12, 1981". Dordrecht e.a., 1982. - P.333-353.

16. Jonsson B. Algebras whose congruence lattices are distributive// Math. Scand. - 1967. - Vol.21. - P.110-121.

17. Jonsson В., Rival I. Lattice varieties covering the amalletst nonmodular variety// Pacif.J.Math. - 1979. - Vol.82. - P.463-478.

18. Kolibiar M. Intervals, convex sublattices and subdirect representations of lattices.// Univers. Algebra and Appl. Pap Stefan. Banach Int.Math. Cent. Semest., Febr.l5-June 9, 1978 r. - Warszawa, 1982. - P.335-339.

19. Hanlon Ph. The fixed-point partition lattices // Pacif.J.Math. - 1981. -Vol.96. - P.319-341.

20. Varlet J.Regularity in double p-algebras // Algebra Universalis. - 1984. - Vol.18. - P.95-105.

21. Wille R. Primitive subsets of lattices // Algebra Universalis. - 1972. -Vol.2. - P.95-98.

РАБОТЫ АВТОРА ПО ТЕМЕ ДИССЕРТАЦИИ.

22. Одинцов В.А. О конгруэнциях решеток интервалов // Тез. сообщ. 19 Всесоюз. алгебр, конф., Львов, сент. 1987 г. - Львов, 1987. - 4.2 -с.206.

23. Одинцов В.А. Конгруэнции на решетках интервалов // Алгебраические системы и их многообразия: Сб. науч. тр. Свердловск: УрГУ, 1988. - с.104-113.

24. Одинцов В.А. О неподвижных точках верхних эндоморфизмов конечной булевой решетки // Подгрупповая структура групп. Свердловск: УрОАНСССР, 1988. - с.135-148.

25. Одинцов В.А. О ретрактах конечной булевой решетки // Тез. докл. по логике и универсальным алгебрам, прикладной алгебре. Межд. конф. по алгебре, Барнаул, авг. 1991 г. - Новосибирск, 1991. - с.99.

26. Одинцов В. А. Эндоморфизмы булевых решеток // Тез. сообщ. межд. конф. по алгебре. - С-Пб. май 1997 г. - С-Пб., 1997. - с.252

27. Одинцов В.А. Об эквациональных свойствах класса решеток интервалов решеток // Тез. докл. научно-практ. конф. вузов Урал, зоны, Челябинск, апрель 1998 г. - Челябинск, 1998. - с.30

28. Одинцов В.А. Главные идеалы и главные коидеалы решеток интервалов решеток // Исследования алгебраических систем по свойствам их подсистем: Сб. науч. тр. Урал. гос. пед. ун-т. Екатеринбург, 1998 г. - с.79-81.

29. Одинцов В.А. Представление решеток в двухзначной логике // Исследования алгебраических систем по свойствам их подсистем: Сб. науч. тр. Урал. гос. пед. ун-т. Екатеринбург, 1998 г. - с.82-85.