Рефетека.ру / Математика

Дипломная работа: Обобщённо булевы решетки

Федеральное агентство по образованию

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

Математический факультет

Кафедра алгебры и геометрии


Выпускная квалификационная работа


Обобщенно булевы решетки

Выполнил:

студент V курса математического факультета

Онучин Андрей Владимирович


Научный руководитель:

к.ф.-м.н., доцент кафедры алгебры и геометрии ВятГГУ
Чермных Василий Владимирович


Рецензент:

д.ф.-м.н., профессор, зав. кафедрой алгебры и геометрии ВятГГУ

Вечтомов Евгений Михайлович


Работа допущена к защите в государственной аттестационной комиссии

«___» __________2005 г. Зав. кафедрой Е.М. Вечтомов

«___»__________2005 г. Декан факультета В.И. Варанкина


Киров

2005

Содержание

Введение 3

Глава 1 4

1.1. Упорядоченные множества 4

1.2. Решётки 5

1.3. Дистрибутивные решётки 7

1.4. Обобщённые булевы решётки, булевы решётки 8

1.5. Идеалы 9

Глава 2 11

2.1. Конгруэнции 11

2.2. Основная теорема 17

Библиографический список 27


Введение


Булева решётка представляет собой классический математический объект, который начал интенсивно изучаться в работах М. Стоуна 30-е годы 20-го века, расширением этого понятия до обобщённо булевых решёток занимались Г. Гретцер и Е. Шмидт в своих трудах конца 50-х годов.

Цель данной работы: установление взаимно однозначного соответствия между конгруэнциями и идеалами в обобщённо булевых решётках. (Для булевых решёток это положение доказано в книге [2], кроме того, сформулировано в книге [3] в качестве упражнений). А также – установление связи между обобщённо булевыми решётками и булевыми кольцами.

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

Вторая глава представляет собой основную часть данной дипломной работы. Опираясь на работы Гретцера Г., но более подробно, рассмотрены свойства конгруэнций и связь конгруэнций и идеалов в обобщённо булевых решётках (Теоремы 2.1, 2.2, 2.3.). Кроме того реализована основная цель данной дипломной работы: установлена связь между булевыми кольцами и обобщённо булевыми решётками (Основная теорема).

Глава 1

1.1. Упорядоченные множества


Упорядоченным множеством P называется непустое множество, на котором определено бинарное отношение Обобщённо булевы решетки, удовлетворяющее для всех Обобщённо булевы решетки следующим условиям:

1. Рефлексивность: Обобщённо булевы решетки.

2. Антисимметричность. Если Обобщённо булевы решетки и Обобщённо булевы решетки, то Обобщённо булевы решетки.

3. Транзитивность. Если Обобщённо булевы решетки и Обобщённо булевы решетки, то Обобщённо булевы решетки.

Если Обобщённо булевы решетки и Обобщённо булевы решетки, то говорят, что Обобщённо булевы решетки меньше Обобщённо булевы решеткиили Обобщённо булевы решетки больше Обобщённо булевы решетки, и пишут Обобщённо булевы решетки или Обобщённо булевы решетки.

Примеры упорядоченных множеств:

Множество целых положительных чисел, а Обобщённо булевы решетки означает, что Обобщённо булевы решетки делит Обобщённо булевы решетки.

Множество всех действительных функций Обобщённо булевы решетки на отрезке Обобщённо булевы решетки и Обобщённо булевы решетки означает, что Обобщённо булевы решетки для Обобщённо булевы решетки.

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

Используя отношение порядка, можно получить графическое представление любого конечного упорядоченного множества P. Изобразим каждый элемент множества P в виде небольшого кружка, располагая x выше y, если Обобщённо булевы решетки. Соединим x и y отрезком. Полученная фигура называется диаграммой упорядоченного множества P.

Обобщённо булевы решетки
Примеры диаграмм упорядоченного множества:


1.2. Решётки


Верхней гранью подмножества Х в упорядоченном множестве Р называется элемент a из Р, больший или равный всех x из X.

Точная верхняя грань подмножества X упорядоченного множества P – это такая его верхняя грань, которая меньше любой другой его верхней грани. Обозначается символом sup X и читается «супремум X».

Согласно аксиоме антисимметричности упорядоченного множества, если точная верхняя грань существует, то она единственна.

Понятия нижней грани и точной нижней грани (которая обозначается inf X и читается «инфинум») определяются двойственно. Также, согласно аксиоме антисимметричности упорядоченного множества, если точная нижняя грань X существует, то она единственна.


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Решёткой Обобщённо булевы решетки называется упорядоченное множество L, в котором любые два элемента x и y имеют точную нижнюю грань, обозначаемую Обобщённо булевы решетки, и точную верхнюю грань, обозначаемую Обобщённо булевы решетки.

Примеры решёток:

Примечание. Любая цепь является решёткой, т.к. Обобщённо булевы решетки совпадает с меньшим, а Обобщённо булевы решетки с большим из элементов Обобщённо булевы решетки.

Наибольший элемент, то есть элемент, больший или равный каждого элемента упорядоченного множества, обозначают 1, а наименьший элемент, то есть меньший или равный каждого элемента упорядоченного множества, обозначают 0.

На решётке можно рассматривать две бинарные операции:

Обобщённо булевы решетки - сложение и

Обобщённо булевы решетки - произведение

Эти операции обладают следующими свойствами:

1. Обобщённо булевы решетки, Обобщённо булевы решетки идемпотентность;

2. Обобщённо булевы решетки, Обобщённо булевы решетки коммутативность;

3. Обобщённо булевы решетки, Обобщённо булевы решетки ассоциативность;

4. Обобщённо булевы решетки, Обобщённо булевы решетки законы поглощения.

ТЕОРЕМА 1.1. Пусть L - множество с двумя бинарными операциями Обобщённо булевы решетки, обладающими свойствами (1) – (4). Тогда отношение Обобщённо булевы решетки (или Обобщённо булевы решетки) является порядком на L, а возникающее упорядоченное множество оказывается решёткой, причём: Обобщённо булевы решетки и Обобщённо булевы решетки.

Доказательство. Рефлексивность отношения Обобщённо булевы решетки вытекает из свойства (1). Заметим, что оно является следствием свойства (4):

Обобщённо булевы решетки

Обобщённо булевы решетки

Если Обобщённо булевы решетки и Обобщённо булевы решетки, то есть Обобщённо булевы решетки и Обобщённо булевы решетки, то в силу свойства (2), получим Обобщённо булевы решетки. Это означает, что отношение Обобщённо булевы решетки антисимметрично.

Если Обобщённо булевы решетки и Обобщённо булевы решетки, то применяя свойство (3), получим: Обобщённо булевы решетки, что доказывает транзитивность отношения Обобщённо булевы решетки.

Применяя свойства (3), (1), (2), получим:

Обобщённо булевы решетки,

Обобщённо булевы решетки.

Следовательно, Обобщённо булевы решетки и Обобщённо булевы решетки.

Если Обобщённо булевы решетки и Обобщённо булевы решетки, то используя свойства (1) – (3), имеем:

Обобщённо булевы решетки, т.е. Обобщённо булевы решетки.

По определению точней верхней грани убедимся, что Обобщённо булевы решетки.

Из свойств (2), (4) вытекает, что Обобщённо булевы решетки и Обобщённо булевы решетки.

Если Обобщённо булевы решетки и Обобщённо булевы решетки, то по свойствам (3), (4) получим:

Обобщённо булевы решетки.

Отсюда по свойствам (2) и (4) следует, что

Обобщённо булевы решетки.

Таким образом, Обобщённо булевы решетки.


Пусть L решётка, тогда её наибольший элемент 1 характеризуется одним из свойств:

1.Обобщённо булевы решетки Обобщённо булевы решетки.

2.Обобщённо булевы решетки Обобщённо булевы решетки.

Аналогично характеризуется наименьший элемент Обобщённо булевы решетки:

1.Обобщённо булевы решетки Обобщённо булевы решетки

2.Обобщённо булевы решетки Обобщённо булевы решетки.


1.3. Дистрибутивные решётки


Решётка L называется дистрибутивной, если для любых Обобщённо булевы решетки выполняется:

D1. Обобщённо булевы решетки.

D2. Обобщённо булевы решетки.

В любой решётке тождества D1 и D2 равносильны. Доказательство этого факта содержится в книге [2], стр. 24.

Примеры дистрибутивных решёток:

Множество целых положительных чисел, Обобщённо булевы решетки означает, что Обобщённо булевы решетки делит Обобщённо булевы решетки. Это решётка с операциями НОД и НОК.

Любая цепь является дистрибутивной решёткой.


Обобщённо булевы решетки
ТЕОРЕМА 1.2. Решётка L с 0 и 1 является дистрибутивной тогда и только тогда, когда она не содержит подрешёток вида

Доказательство этой теоремы можно найти в книге [1].


1.4. Обобщённо булевы решётки, булевы решётки


Всюду далее под словом «решётка» понимается произвольная дистрибутивная решётка с 0.

Решётка L называется обобщённой булевой, если для любых элементов Обобщённо булевы решетки и d из L, таких что Обобщённо булевы решетки существует относительное дополнение на интервале Обобщённо булевы решетки, т.е. такой элемент Обобщённо булевы решетки из L, что Обобщённо булевы решетки и Обобщённо булевы решетки.

(Для Обобщённо булевы решетки, Обобщённо булевы решетки, интервал Обобщённо булевы решетки|Обобщённо булевы решетки; для Обобщённо булевы решетки, Обобщённо булевы решеткиможно так же определить полуоткрытый интервал Обобщённо булевы решетки|Обобщённо булевы решетки).


ТЕОРЕМА 1.3. (О единственности относительного дополнения в обобщённо булевой решётке). Каждый элемент обобщённо булевой решётки L имеет только одно относительное дополнение на промежутке.

Доказательство. Пусть для элемента Обобщённо булевы решетки существует два относительных дополнения Обобщённо булевы решетки и Обобщённо булевы решетки на интервале Обобщённо булевы решетки. Покажем, что Обобщённо булевы решетки. Так как Обобщённо булевы решетки относительное дополнение элемента Обобщённо булевы решетки на промежутке Обобщённо булевы решетки, то Обобщённо булевы решетки и Обобщённо булевы решетки, так же Обобщённо булевы решетки относительное дополнение элемента Обобщённо булевы решетки на промежутке Обобщённо булевы решетки, то Обобщённо булевы решетки и Обобщённо булевы решетки.

Отсюда

Обобщённо булевы решеткиОбобщённо булевы решетки,

таким образом Обобщённо булевы решетки, т.е. любой элемент обобщённой булевой решётки имеет на промежутке только одно относительное дополнение.


Решётка L называется булевой, если для любого элемента Обобщённо булевы решетки из L существует дополнение, т.е. такой элемент Обобщённо булевы решетки из L, что Обобщённо булевы решетки и Обобщённо булевы решетки

ТЕОРЕМА 1.4. (О единственности дополнения в булевой решётке). Каждый элемент булевой решётки L имеет только одно дополнение.

Доказательство аналогично доказательству теоремы 1.3.


ТЕОРЕМА 1.5. (О связи обобщённо булевых и булевых решёток).

Любая булева решётка является обобщённо булевой, обратное утверждение не верно.

Доказательство. Действительно, рассмотрим произвольную булеву решётку L. Возьмём элементы a и d из L, такие что Обобщённо булевы решетки. Заметим, что относительным дополнением элемента a до элемента d является элемент Обобщённо булевы решетки, где a’ – дополнение элемента a в булевой решётке L. Действительно, Обобщённо булевы решетки, кроме того Обобщённо булевы решетки. Отсюда следует, что решётка L является обобщённо булевой.


1.5. Идеалы


Подрешётка I решётки L называется идеалом, если для любых элементов Обобщённо булевы решетки и Обобщённо булевы решетки элемент Обобщённо булевы решетки лежит в I. Идеал I называется собственным, если Обобщённо булевы решетки. Собственный идеал решётки L называется простым, если из того, что Обобщённо булевы решетки и Обобщённо булевы решетки следует Обобщённо булевы решетки или Обобщённо булевы решетки.

Так как непустое пересечение любого числа идеалов снова будет идеалом, то мы можем определить идеал, порождённый множеством H в решётке L, предполагая, что H не совпадает с пустым множеством. Идеал, порождённый множеством H будет обозначаться через (H]. Если Обобщённо булевы решетки, то вместо Обобщённо булевы решетки будем писать Обобщённо булевы решетки и называть Обобщённо булевы решетки главным идеалом.

ТЕОРЕМА 1.5. Пусть L – решётка, а H и I – непустые подмножества в L, тогда I является идеалом тогда и только тогда, когда если Обобщённо булевы решетки, то Обобщённо булевы решетки, и если Обобщённо булевы решетки, то Обобщённо булевы решетки.

Доказательство. Пусть I – идеал, тогда Обобщённо булевы решетки влечёт за собой Обобщённо булевы решетки, так как I – подрешётка. Если Обобщённо булевы решетки, то Обобщённо булевы решетки и условия теоремы проверены.

Обратно, пусть I удовлетворяет этим условиям и Обобщённо булевы решетки. Тогда Обобщённо булевы решетки и так как Обобщённо булевы решетки, то Обобщённо булевы решетки, следовательно, I – подрешётка. Наконец, если Обобщённо булевы решетки и Обобщённо булевы решетки, то Обобщённо булевы решетки, значит, Обобщённо булевы решетки и I является идеалом.


Глава 2

2.1. Конгруэнции


Отношение эквивалентности (т.е. рефлексивное, симметричное и транзитивное бинарное отношение) Обобщённо булевы решетки на решётке L называется конгруэнцией на L, если Обобщённо булевы решетки и Обобщённо булевы решетки совместно влекут за собой Обобщённо булевы решетки и Обобщённо булевы решетки (свойство стабильности). Простейшими примерами являются ω, ι, определённые так:

Обобщённо булевы решетки(ω)Обобщённо булевы решеткиОбобщённо булевы решетки; Обобщённо булевы решетки(ι) для всех Обобщённо булевы решетки.

Для Обобщённо булевы решетки обозначим через Обобщённо булевы решетки смежный класс, содержащий элемент Обобщённо булевы решетки, т.е. Обобщённо булевы решетки|Обобщённо булевы решетки

Пусть L – произвольная решётка и Обобщённо булевы решетки. Наименьшую конгруэнцию, такую, что Обобщённо булевы решетки для всех Обобщённо булевы решетки, обозначим через Обобщённо булевы решетки и назовём конгруэнцией, порождённой множеством Обобщённо булевы решетки.

ЛЕММА 2.1. Конгруэнция Обобщённо булевы решеткисуществует для любого Обобщённо булевы решетки.

Доказательство. Действительно, пусть Ф = Обобщённо булевы решетки|Обобщённо булевы решетки для всех Обобщённо булевы решеткиОбобщённо булевы решетки. Так как пересечение в решётке Обобщённо булевы решетки совпадает с теоретико-множественным пересечением, то Обобщённо булевы решетки для всех Обобщённо булевы решетки. Следовательно, Ф=Обобщённо булевы решетки.


В двух случаях мы будем использовать специальные обозначения: если Обобщённо булевы решетки или Обобщённо булевы решетки и Обобщённо булевы решетки- идеал, то вместо Обобщённо булевы решеткимы пишем Обобщённо булевы решетки или Обобщённо булевы решетки соответственно. Конгруэнция вида Обобщённо булевы решетки называется главной; её значение объясняется следующей леммой:

ЛЕММА 2.2. Обобщённо булевы решетки=Обобщённо булевы решетки|Обобщённо булевы решетки.

Доказательство. Пусть Обобщённо булевы решетки, тогда Обобщённо булевы решетки, отсюда Обобщённо булевы решетки. С другой стороны рассмотрим Обобщённо булевы решетки, но тогда Обобщённо булевы решетки. Поэтому Обобщённо булевы решетки и Обобщённо булевы решетки.

Заметим, что Обобщённо булевы решетки - наименьшая конгруэнция, относительно которой Обобщённо булевы решетки, тогда как Обобщённо булевы решетки - наименьшая конгруэнция, такая, чтоОбобщённо булевы решеткисодержится в одном смежном классе. Для произвольных решёток о конгруэнции Обобщённо булевы решеткипочти ничего не известно. Для дистрибутивных решёток важным является следующее описание конгруэнции Обобщённо булевы решетки:

ТЕОРЕМА 2.1. Пусть Обобщённо булевы решетки- дистрибутивная решётка, Обобщённо булевы решетки и Обобщённо булевы решетки. Тогда Обобщённо булевы решетки и Обобщённо булевы решетки.

Доказательство. Обозначим через Ф бинарное отношение, определённое следующим образом: Обобщённо булевы решетки и Обобщённо булевы решетки.

Покажем, что Ф – отношение эквивалентности:

1) Ф – отношение рефлексивности: x·a = x·a ; x+b = x+b;

2) Ф – отношение симметричности:

Обобщённо булевы решеткиОбобщённо булевы решетки x·a = y·a и x+b = y+b Обобщённо булевы решетки y·a = x·a и y+b = x+b Обобщённо булевы решеткиОбобщённо булевы решетки;

3) Ф – отношение транзитивности.

Пусть Обобщённо булевы решеткиОбобщённо булевы решетки x·a = y·a и x+b = y+b и пусть Обобщённо булевы решеткиОбобщённо булевы решетки y·с = z·с и y+d = z+d. Умножим обе части x·a = y·a на элемент с, получим x·a·c = y·a·c. А обе части y·с = z·с умножим на элемент a, получим y·c·a = z·c·a. В силу симметричности x·a·c = y·a·c = z·a·c. Аналогично получаем x+b+d = y+b+d = z+b+d. Таким образом Обобщённо булевы решетки.

Из всего выше обозначенного следует, что Ф – отношение эквивалентности.

Покажем, что Ф сохраняет операции. Если Обобщённо булевы решетки и zОбобщённо булевы решеткиL, то (x+z) ·a = (x·a) + (z·a) = (y·a) + (z·a) = (y+z) ·a и (x+z)+b = z+(x+b) = z+(y+b); следовательно, Обобщённо булевы решетки. Аналогично доказывается, что Обобщённо булевы решетки и, таким образом, Ф – конгруэнция.

Наконец, пусть Обобщённо булевы решетки - произвольная конгруэнция, такая, что Обобщённо булевы решетки, и пусть Обобщённо булевы решетки. Тогда x·a = y·a, x+b = y+b , Обобщённо булевы решеткии Обобщённо булевы решетки. Поэтому вычисляя по модулю Обобщённо булевы решетки, получим

Обобщённо булевы решеткиОбобщённо булевы решеткиОбобщённо булевы решетки, т.е. Обобщённо булевы решетки, и таким образом, Обобщённо булевы решетки.


СЛЕДСТВИЕ ИЗ ТЕОРЕМЫ 2.1. Пусть I – произвольный идеал дистрибутивной решётки L. Тогда Обобщённо булевы решетки в том и только том случае, когда Обобщённо булевы решетки для некоторого Обобщённо булевы решетки. В частности, идеал I является смежным классом по модулю Обобщённо булевы решетки.

Доказательство. Если Обобщённо булевы решетки, то Обобщённо булевы решеткии элементы x·y·i, i принадлежат идеалу I.

Действительно Обобщённо булевы решетки.

Покажем, что Обобщённо булевы решетки.

Воспользуемся тем, что Обобщённо булевы решетки (*), заметим, что Обобщённо булевы решетки и Обобщённо булевы решетки, поэтому мы можем прибавить к тождеству (*) Обобщённо булевы решетки или Обобщённо булевы решетки, и тождество при этом будет выполняться.

Обобщённо булевы решетки Прибавим Обобщённо булевы решетки: Обобщённо булевы решетки, получим Обобщённо булевы решетки.

Обобщённо булевы решетки Прибавим Обобщённо булевы решетки: Обобщённо булевы решетки, получим Обобщённо булевы решетки.

Отсюда Обобщённо булевы решетки. Таким образом,Обобщённо булевы решетки.

Обратно согласно лемме 2, Обобщённо булевы решетки|Обобщённо булевы решетки

Однако Обобщённо булевы решетки и поэтому Обобщённо булевы решетки|Обобщённо булевы решетки

Если Обобщённо булевы решетки, то Обобщённо булевы решетки откуда

Обобщённо булевы решетки.

Действительно, Обобщённо булевы решетки (**).

Рассмотрим правую часть этого тождества:

Объединим первое и второе слагаемые –

Обобщённо булевы решетки.

Объединим первое и третье слагаемые –

Обобщённо булевы решетки,

таким образом Обобщённо булевы решетки (***)

Заметим, что Обобщённо булевы решетки, поэтому прибавим к обеим частям выражения (***) y:

Обобщённо булевы решетки

Обобщённо булевы решетки

Но Обобщённо булевы решетки, отсюда Обобщённо булевы решетки.

Следовательно, условие следствия из теоремы 2.1. выполнено для элемента Обобщённо булевы решетки. Наконец, если Обобщённо булевы решетки и Обобщённо булевы решетки, то Обобщённо булевы решетки, откуда Обобщённо булевы решетки и Обобщённо булевы решетки, т.е. Обобщённо булевы решетки является смежным классом.

ТЕОРЕМА 2.2. Пусть L – булева решётка. Тогда отображение Обобщённо булевы решеткиОбобщённо булевы решетки Обобщённо булевы решетки является взаимно однозначным соответствием между конгруэнциями и идеалами решётки L. (Под Обобщённо булевы решеткиОбобщённо булевы решетки понимаем класс нуля по конгруэнции Обобщённо булевы решетки, под Обобщённо булевы решетки понимаем решётку конгруэнций.)


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки

Доказательство. В силу следствия из теоремы 2.1. это отображение на множество идеалов; таким образом мы должны только доказать, что оно взаимно однозначно, т.е. что смежный класс Обобщённо булевы решетки определяет конгруэнцию Обобщённо булевы решетки. Это утверждение, однако, очевидно. Действительно Обобщённо булевы решетки тогда и только тогда, когда Обобщённо булевы решетки (*), последнее сравнение в свою очередь равносильно сравнению Обобщённо булевы решетки, где с – относительное дополнение элемента Обобщённо булевы решетки в интервале Обобщённо булевы решетки.

Действительно, помножим выражение (*) на с:

Обобщённо булевы решетки, ноОбобщённо булевы решетки, а Обобщённо булевы решетки, отсюда Обобщённо булевы решетки.

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

Примечание. Приведённое доказательство не полностью использует условие, что L – дистрибутивная решётка с дополнениями. Фактически, мы пользовались только тем, что L имеет нуль и является решёткой с относительными дополнениями. Такая решётка называется обобщённой булевой решёткой.

ТЕОРЕМА 2.3 (Хасимото [1952]). Пусть L – произвольная решётка. Для того, чтобы существовало взаимно однозначное соответствие между идеалами и конгруэнциями решётки L, при котором идеал, соответствующий конгруэнции Обобщённо булевы решетки, являлся бы смежным классом по Обобщённо булевы решетки, необходимо и достаточно, чтобы решётка L была обобщённой булевой.


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки

Доказательство. Достаточность следует из доказательства теоремы 2.2. Перейдём к доказательству необходимости.

Идеалом, соответствующим конгруэнции Обобщённо булевы решетки, должен быть (0]; следовательно, L имеет нуль 0.


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки

Если L содержит диамант Обобщённо булевы решетки, то идеал (a] не может быть смежным классом, потому что из Обобщённо булевы решетки следует Обобщённо булевы решетки и Обобщённо булевы решетки. Но Обобщённо булевы решетки, значит, любой смежный класс, содержащий Обобщённо булевы решетки, содержит и Обобщённо булевы решетки, и Обобщённо булевы решетки.

Аналогично, если L содержит пентагон Обобщённо булевы решетки и смежный класс содержит идеал Обобщённо булевы решетки, то Обобщённо булевы решетки и Обобщённо булевы решетки, откуда Обобщённо булевы решетки. Следовательно, этот смежный класс должен содержать Обобщённо булевы решетки и Обобщённо булевы решетки.

Итак, решётка L не содержит подрешёток, изоморфных ни диаманту, ни пентагону. Поэтому, по теореме 1.2., она дистрибутивна.

Пусть Обобщённо булевы решетки и Обобщённо булевы решетки. Согласно следствию из теоремы 2.1., для конгруэнции Обобщённо булевы решетки идеал Обобщённо булевы решетки так же является смежным классом, следовательно, Обобщённо булевы решетки, откуда Обобщённо булевы решетки. Опять применяя следствие из теоремы 2.1. получим, Обобщённо булевы решетки для некоторого Обобщённо булевы решетки. Так как Обобщённо булевы решетки, то Обобщённо булевы решетки и Обобщённо булевы решетки. Следовательно, Обобщённо булевы решеткио полу орого ледствие 4 получим, цииодержать , соответствующим конгруэнции образом мы должны только доказать, и Обобщённо булевы решетки, т.е. элемент Обобщённо булевы решетки является относительным дополнением элемента Обобщённо булевы решетки в интервале Обобщённо булевы решетки.


2.2. Основная теорема



Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки

Пусть Обобщённо булевы решетки - обобщённая булева решётка. Определим бинарные операции Обобщённо булевы решетки на B, полагая Обобщённо булевы решетки и обозначая через Обобщённо булевы решетки относительное дополнение элемента Обобщённо булевы решетки в интервале Обобщённо булевы решетки. Тогда Обобщённо булевы решетки - булево кольцо, т.е. (ассоциативное) кольцо, удовлетворяющее тождеству Обобщённо булевы решетки (а следовательно и тождествам Обобщённо булевы решетки, Обобщённо булевы решетки).

Пусть Обобщённо булевы решетки - булево кольцо. Определим бинарные операции Обобщённо булевы решетки и Обобщённо булевы решетки на Обобщённо булевы решетки, полагая, что Обобщённо булевы решетки и Обобщённо булевы решетки. Тогда Обобщённо булевы решетки - обобщённая булева решётка.

Доказательство.

Покажем, что Обобщённо булевы решетки - кольцо.

Напомним определение. Кольцо Обобщённо булевы решетки - это непустое множество Обобщённо булевы решетки с заданными на нём двумя бинарными операциями Обобщённо булевы решетки, которые удовлетворяют следующим аксиомам:

Коммутативность сложения: Обобщённо булевы решетки выполняется Обобщённо булевы решетки;

Ассоциативность сложения: Обобщённо булевы решетки выполняется Обобщённо булевы решетки;

Существование нуля, т.е. Обобщённо булевы решетки, Обобщённо булевы решетки;

Существование противоположного элемента, т.е. Обобщённо булевы решетки, Обобщённо булевы решетки, Обобщённо булевы решетки;

Ассоциативность умножения: Обобщённо булевы решетки, Обобщённо булевы решетки;

Закон дистрибутивности.

Проверим, выполняются ли аксиомы кольца:

1. Относительным дополнением до Обобщённо булевы решетки элемента Обобщённо булевы решетки будет элемент Обобщённо булевы решетки, а относительным дополнением Обобщённо булевы решетки элемент Обобщённо булевы решеткиОбобщённо булевы решетки. В силу того, что Обобщённо булевы решетки, а так же единственности дополнения имеем Обобщённо булевы решетки.

2. Покажем, что Обобщённо булевы решетки.


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки

Рассмотрим все возможные группы вариантов:

1) Пусть Обобщённо булевы решетки, тогда Обобщённо булевы решетки (Далее везде под элементом x будем понимать сумму Обобщённо булевы решетки).


Аналогично получаем Обобщённо булевы решетки в случаях Обобщённо булевы решетки, Обобщённо булевы решетки, Обобщённо булевы решетки, Обобщённо булевы решетки и Обобщённо булевы решетки. Заметим, что когда один из элементов равен нулю (например, c), то получаем тривиальные варианты (a+b=a+b).

2) Пусть Обобщённо булевы решетки, а элемент c не сравним с ними. Возможны следующие варианты:


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Нетрудно заметить, что во всех этих случаях Обобщённо булевы решетки, кроме того:

если c=a+b, то (a+b)+c=0=a+(b+c);

если c=0, то получаем тривиальный вариант.

Вариант, когда c равен наибольшему элементу решётки d, мы уже рассматривали.

Если c=b, то (a+b)+c=(a+b)+b=a и a+(b+c)=a+(b+b)=a.

Если c=a, то (a+b)+c=(a+b)+a=b и a+(b+c)=a+(b+a)=b.


Обобщённо булевы решеткиАналогично для случаев Обобщённо булевы решетки, Обобщённо булевы решетки, Обобщённо булевы решетки, Обобщённо булевы решетки и Обобщённо булевы решетки.

3) Под элементами нижнего уровня будем понимать элементы Обобщённо булевы решетки, Обобщённо булевы решетки, Обобщённо булевы решетки, Обобщённо булевы решетки, Обобщённо булевы решетки, Обобщённо булевы решетки, Обобщённо булевы решетки, Обобщённо булевы решетки, т.е. те элементы 4-х мерного куба, которые образуют нижний трёхмерный куб.

Под элементами верхнего уровня будем понимать элементы Обобщённо булевы решетки, Обобщённо булевы решетки, Обобщённо булевы решетки, Обобщённо булевы решетки, Обобщённо булевы решетки, Обобщённо булевы решетки, Обобщённо булевы решетки, Обобщённо булевы решетки, т.е. те элементы 4-х мерного куба, которые образуют верхний трёхмерный куб.

Под фразой «элемент верхнего уровня, полученный из элемента Обобщённо булевы решетки нижнего уровня сдвигом по соответствующему ребру» будем понимать элемент Обобщённо булевы решетки верхнего уровня.

Пусть a, b, c несравнимы. Рассмотрим следующие варианты: Обобщённо булевы решетки и Обобщённо булевы решетки.


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки


Обобщённо булевы решетки

Пусть Обобщённо булевы решетки. Заметим, что это возможно только в случаях, когда Обобщённо булевы решетки принадлежат нижнему уровню, причём лежат на позициях элементов Обобщённо булевы решетки (рис. 1). Либо a, b остаются на своих позициях, элемент c сдвигается на верхний уровень по соответствующему ребру (рис. 2). Либо элемент a остаётся на своей позиции, элементы b, c сдвигаются на верхний уровень по соответствующему ребру (рис 3).


Обобщённо булевы решеткиНетрудно заметить, что во всех этих случаях Обобщённо булевы решетки.

Пусть Обобщённо булевы решетки, здесь так же Обобщённо булевы решетки.

Таким образом мы рассмотрели все основные группы вариантов расположения элементов a, b, c и во всех этих случаях ассоциативность сложения выполняется.

3. Рассмотрим в решётке элемент Обобщённо булевы решетки, к нему существует относительное дополнение Обобщённо булевы решетки до элемента Обобщённо булевы решетки, т.е. Обобщённо булевы решетки и Обобщённо булевы решетки. Учитывая, что в решётке Обобщённо булевы решетки и Обобщённо булевы решетки, имеем следующее: Обобщённо булевы решетки и Обобщённо булевы решетки. Отсюда Обобщённо булевы решетки.

4. Рассмотрим относительное дополнение элемента Обобщённо булевы решетки до Обобщённо булевы решетки, это элемент Обобщённо булевы решетки. Таким образом: Обобщённо булевы решетки и Обобщённо булевы решетки. Учитывая, что в решётке выполняются тождества Обобщённо булевы решетки и Обобщённо булевы решетки имеем следующее: Обобщённо булевы решетки и Обобщённо булевы решетки. Отсюда Обобщённо булевы решетки.

5. Так как в решётке выполняется ассоциативность Обобщённо булевы решетки, а так же имея Обобщённо булевы решетки, то Обобщённо булевы решетки.

6. Докажем дистрибутивность Обобщённо булевы решетки или что то же самое

Обобщённо булевы решетки (*).


Докажем, что дополнения левой и правой частей выражения (*) до верхней грани Обобщённо булевы решетки совпадают.

Нетрудно заметить, что дополнением правой части выражения (*) до элемента Обобщённо булевы решетки будет являться элемент Обобщённо булевы решетки.

Покажем это:

Обобщённо булевы решетки, по определению относительного дополнения элемента Обобщённо булевы решетки(Обобщённо булевы решетки), где за Обобщённо булевы решетки приняли элемент Обобщённо булевы решетки, а элемент Обобщённо булевы решетки за Обобщённо булевы решетки.

Обобщённо булевы решетки, по определению относительного дополнения элемента Обобщённо булевы решетки (Обобщённо булевы решетки) , где за Обобщённо булевы решетки приняли элемент Обобщённо булевы решетки, а элемент Обобщённо булевы решетки за Обобщённо булевы решетки.

Покажем, что и для левой части (*) элемент Обобщённо булевы решетки будет являться относительным дополнением до верхней грани Обобщённо булевы решетки:

Обобщённо булевы решетки, т.к. Обобщённо булевы решетки.

Обобщённо булевы решетки

Мы показали, что дополнения элементов Обобщённо булевы решетки и Обобщённо булевы решетки до верхней грани Обобщённо булевы решетки совпадают, следовательно, в силу единственности дополнения Обобщённо булевы решетки. А значит и Обобщённо булевы решетки, т.е. дистрибутивность доказана.

Таким образом, для Обобщённо булевы решетки все аксиомы кольца выполняются.

Заметим, что Обобщённо булевы решетки выполняется в силу того, что Обобщённо булевы решетки, а в решётке Обобщённо булевы решетки.

Также выполняется Обобщённо булевы решетки, потому что Обобщённо булевы решетки.

Таким образом, Обобщённо булевы решетки - булево кольцо.

Доказательство (2). Частичную упорядоченность Обобщённо булевы решетки имеем исходя из того, что исходное булево кольцо Обобщённо булевы решетки - частично упорядоченное множество. Кроме того Обобщённо булевы решетки - решётка, т.к. Обобщённо булевы решетки существуют sup(x,y) и inf(x,y), заданные соответствующими правилами: Обобщённо булевы решетки и Обобщённо булевы решетки.

Покажем, что решётка дистрибутивна, т.е. что выполняется тождество Обобщённо булевы решетки (*)

Рассмотрим левую часть выражения (*):

Обобщённо булевы решетки.

Рассмотрим правую часть выражения (*):

Обобщённо булевы решетки,

т.о. тождество Обобщённо булевы решетки верно, т.е. решётка Обобщённо булевы решетки является дистрибутивной.

Покажем, что у каждого элемента Обобщённо булевы решетки в дистрибутивной решётке Обобщённо булевы решетки есть относительное дополнение. Для этого рассмотрим произвольные элементы Обобщённо булевы решетки, но они так же должны являться элементами решётки Обобщённо булевы решетки, следовательно, в ней должны лежать и Обобщённо булевы решетки, которым в кольце соответствуют Обобщённо булевы решетки.

Рассмотрим элемент булева кольца Обобщённо булевы решетки (в решётке лежит соответствующий ему элемент), заметим, что

Обобщённо булевы решетки

и Обобщённо булевы решетки .

Поэтому элемент Обобщённо булевы решетки будет являться в дистрибутивной решётке Обобщённо булевы решетки относительным дополнением Обобщённо булевы решетки до верхней грани Обобщённо булевы решетки.

Таким образом, Обобщённо булевы решетки будет являться дистрибутивной решёткой с относительными дополнениями (обобщённой булевой).

Библиографический список


Гретцер, Г. Общая теория решёток [Текст] / Г. Гретцер. – М.: Мир, 1982.

Биркгоф, Г. Теория решёток [Текст] / Г. Биркгоф. – М.: Наука, 1984.

Скорняков, Л.А. Элементы алгебры [Текст] / Л.А. Скорняков. – М.: Наука, 1989.

Рефетека ру refoteka@gmail.com