§4. Соответствия Галуа

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

Для начала сформулируем понятие соответствия Галуа.

Пусть M и M  упорядоченные множества, в которых отношение порядка обозначаются одинаково . И пусть указаны отображения
ц: MM  и ш: M M, удовлетворяющие (для любых a, bM, a , b M ) следующим требованиям:

a) если ab, то aцbц,

если a b , то a шb ш,

b) aцшa, a шцa .

Тогда пара (ц, ш) называется соответствием Галуа между упорядоченными множествами M и M .

Данное определение наиболее общее и формальное.

Рассмотрим теперь более конкретное задание соответствия Галуа, переобозначив отображения ц и ш одинаково - символом ^*. Но при этом будем иметь в виду, что эти отображения всё-таки разные.

Пусть A и B - некоторые множества и Ф - соответствие из A в B, то есть подмножество прямого произведения AB. Для любого подмножества X множества A определим подмножество X^* множества B равенством

X^* = {yB | (x, y) Ф для всех xX}

и аналогично для любого подмножества Y множества B определим подмножество Y^* множества A равенством

Y^* = {xA | (x, y) Ф для всех yY}.

Таким образом, имеем отображения

XX^*, YY^* (5)

множеств B (A), B (B) друг в друга, обладающие следующими свойствами:

если X₁X₂, то X₁^*X₂^*; (6)

если Y₁Y₂, то Y₁^*Y₂^*;

XX^**, YY^**; (7)

X^*** = X^*, Y^*** = Y^*. (8)

Условия (6) и (7) вытекают непосредственно из определений; если (6) применить к (7), получаем X^*X^***, в то время как (7), примененное к X^*, дает обратное неравенство. Таким образом, любые отображения (5), удовлетворяющие (6) и (7), удовлетворяют также (8).

Пара отображений (5) между булеанами B (A) и B (B) с отношением включения , или в более общем случае между любыми упорядоченными множествами, называется соответствием Галуа, если выполняются условия (6), (7) (и, следовательно, (8)).

Приведём наиболее интересные примеры соответствий Галуа.

Пример 4.1: Пусть R - коммутативное кольцо с единицей. Определим соответствие в R правилом xy. Это соответствие устанавливает, в частности, соответствие Галуа между простыми идеалами кольца R и некоторыми мультипликативно замкнутыми подмножествами кольца R.

Идеал P кольца R назовём простым, если для a, bR: a•bPaP или bP.

Возьмем простой идеал P кольца R. Поставим ему в соответствие множество P^* = {yR: xy для всех xP} = RP - замкнутое относительно умножения.

Возьмем мультипликативно замкнутое подмножество Y. Поставим ему в соответствие множество Y ^* = {xR: xy для всех y Y} = RY - простой идеал.

Покажем выполнимость свойств.

Если P₁P₂, то RP₁RP₂ ? очевидно, так как RP₁ является дополнением к P₁, а RP₂ - дополнением к P₂. Аналогично для Y ₁Y ₂.

Возьмем подмножество P из множества простых идеалов R. Поставим ему в соответствие множество P^* = RP, а P^* поставим в соответствие P^** = R(RP) = PPP^**.

Аналогично доказываются эти свойства для Y ₁Y ₂.

Таким образом, построенное соответствие есть соответствие Галуа.

Пример 4.2: В кольце A каждому его подмножеству X отвечает (левый) аннулятор, состоящий из тех элементов aA, для которых a•x= 0 для каждого x из X:

Ann Х = {aA|xX a•x = 0}.

Для подмножества X множества A определим подмножество X^* множества A равенством

X^* = {aA | a•x = 0 для всех xX} = Ann Х

и аналогично для любого идеала I кольца A определим подмножество I^* множества A равенством

I^* = {xA | a•x = 0 для всех aI} = Ann I.

Заметим, что в этом примере Ф = {(a, b)A² | a•b = 0}.

Таким образом, построены отображения XX^* = Ann Х, II^* = Ann I. Проверим, является ли построенное соответствие соответствием Галуа.

1) Пусть X₁X₂. Тогда X₁Ann Х₁ = {aA | a•x = 0 для всех xX₁} и X₂Ann Х₂ = {aA | a•x = 0 для всех xX₂}. Пусть aAnn Х₂, aХ₂ = 0, X₁X₂aХ₁ = 0aAnn Х₁. Следовательно, AnnХ₁AnnХ₂ или X₁^*X₂^*. Для I₁I₂ аналогично получаем I ^*₁I ^*₂.

2) Поставим множеству X в соответствие множество X^* = Ann Х = I, а X^* поставим в соответствие I^* = Ann I = Ann(Ann Х). Если xХ, тогда a•x = 0 для aAnn Х xAnn(Ann Х). Следовательно, XX^**.

Аналогично получаем II^**, если поставить множеству I в соответствие множество I^* = Ann I = X, а I ^* поставить в соответствие X^* = Ann X = Ann(Ann I).

Таким образом, построенное соответствие есть соответствие Галуа.

Пример 4.3: В группе G каждому подмножеству A соответствует централизатор C, который состоит из всех элементов c, коммутирующих с каждым элементом a из A:

C = {cG: для всех aA a · c = c · a}.

Пример 4.4: В евклидовом пространстве V каждому подмножеству A множества V отвечает множество, состоящее из всех векторов, ортогональным векторам из A:

A = {aA: для всех xV xa},

так что определена связь Галуа для подмножеств V. Здесь xa означает равенство 0 скалярного произведения (x, a).

Последние два примера обосновываются аналогично примеру 4.2.

Чтобы установить связь соответствий Галуа с системами замыканий, заметим, что при любом соответствии Галуа отображение XX^** будет оператором замыкания в A, а YY^** оператором замыкания в B (в силу (7) - (9)). При этом отображения XX^*, YY^* определяют взаимно однозначное соответствие между двумя этими системами замыканий.

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

Определение 8. Непустая система D подмножеств множества A называется индуктивной, если каждая цепь в D обладает точной верхней гранью в D.

В силу предложения 2 (примененного к B (A)) слово «цепь» здесь можно заменить словами «направленное множество».

Таким образом, мы получили следующую характеризацию алгебраических систем замыканий:

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

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

? Пусть D ? алгебраическая система замыканий на некотором множестве, K ? цепь в D и K = sup K. Для доказательства включения KD нужно только проверить, что ?(H)K для каждого конечного подмножества H множества K. Пусть H={x₁, …, x_n}; тогда каждое x_i принадлежит некоторому члену цепи K, а так как K ? цепь, то можно найти член LK, содержащий все x_i. Тогда H LK и LD; следовательно, ?(H)?(L) = LK, то есть ?(H)K, что мы и хотели показать.

Обратно, пусть D - индуктивная система замыканий на A и ? - соответствующий оператор замыкания. Нужно показать, что для любого XA

?(X) = sup {?(F) | FX, F конечно}.

Пусть K = {?(F) | FX, F конечно} для фиксированного XA; тогда нужно показать, что sup K D. Отсюда будет следовать, что sup K = ?(X), поскольку sup K   является наименьшим замкнутым множеством, содержащим все элементы множества X. Теперь для любых Y, ZA имеем

?(Y)?(Z)?(Y Z),

и если Y, Z - конечные подмножества множества X, то Y Z также конечно. Это показывает, что K направлено, и, следовательно, sup K D, что и утверждалось. ^

Используя предложение 2, получаем

Следствие 1. Если D - алгебраическая система замыканий на A и K - направленная подсистема системы D, то sup K D.

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

? Из леммы Цорна вытекает, что каждая непустая индуктивная система подмножеств множества A содержит максимальное подмножество.

Это приводит к следствию 2 из теоремы 2, в котором содержатся наиболее важные применения леммы Цорна к алгебре.

Следствие 2. Пусть D - алгебраическая система замыканий в A, и пусть A₀, A₁, B - такие подмножества множества A, что BD и BA₁ = A₀. Тогда D   содержит элемент C, который является максимальным в D относительно свойств CB, CA₁ = A₀.

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

? Для доказательства этого утверждения возьмём систему D   всех таких множеств XD, что XB и XA₁ = A₀, и покажем, что D   обладает максимальным элементом. Во-первых, D   ? , так как BD  . Пусть теперь (X_i) - некоторая цепь в D   и положим X = sup X_i. Тогда XD, так как система D   индуктивна. Далее XB и XA₁ = A₀; поэтому XD  . Таким образом, система D   индуктивна, и по лемме Цорна D   обладает максимальным элементом. ^

§ 5. Задачи

Задача 1. Установить, что при соответствии Галуа XX^*, YY^* выполняется тождество (X_i)^* = X_i^*, для произвольных семейств подмножеств (X_i)_iI.

Решение:

Без ограничения общности возьмём два множества X₁ и X₂ и покажем, что (X₁X₂)^* = X₁^*X₂^*.

Множеству X₁ поставим в соответствие множество X₁^*:

X₁^* = {y₁B|(x₁, y₁)Ф для всех x₁X₁}.

Аналогично для множества X₂:

X₂^* = {y₂B|(x₂, y₂)Ф для всех x₂X₂}.

Пусть X₃ = X₁X₂. Тогда (X₁X₂)^* или X₃^* будет иметь следующую структуру: X₃^* = {y₃B|(x₃, y₃)Ф для всех x₃X₃} или другими словами это такие y₃ из B, что пары (x₁, y₃) и (x₂, y₃) должны принадлежать соответствию Ф одновременно для всех x₁ и x₂ из X₁X₂. То есть множество элементов y₃ из B это множество, состоящее из элементов y₁X₁^* и y₂X₂^*, которые одновременно должны удовлетворять соотношениям (x₁, y₁)Ф, (x₁, y₂)Ф, (x₂, y₁)Ф, (x₂, y₂)Ф. То есть элементы y₃ принадлежат пересечению множеств X₁^* и X₂^*, что и требовалось показать.

Задача 2. Пусть XH(X) - произвольное отображение множества B (A) в себя. Показать, что ?(X) = H(X)X определяет оператор замыкания тогда и только тогда, когда X?(Y) влечёт ?(X)?(Y).

Решение:

a) докажем прямое утверждение: если ?(X) = H(X)X определяет оператор замыкания тогда X?(Y) влечёт ?(X)?(Y).

Пусть X?(Y), то есть XH(Y)Y. Так как по условию ?(Y) = H(Y)Y - оператор замыкания, то для него выполняются аксиомы J. 1 - J. 3. Применим аксиому J. 1 к XH(Y)Y и аксиому J. 3 к ?(?(Y)):

XH(Y)Y H(X)XH(H(Y)Y)(H(Y)Y)H(X)XH(Y)Y. То есть ?(X)?(Y).

b) докажем обратное утверждение: если X?(Y) влечёт ?(X)?(Y) тогда ?(X) = H(X)X определяет оператор замыкания.

Для доказательства обратного утверждения, необходимо проверить выполнимость аксиом J. 1 - J. 3 оператора замыкания.

Для начала докажем вспомогательное утверждение о том, что YX^* тогда и только тогда, когда XY^*.

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

? Докажем прямое утверждение.

Пусть YX^*. Тогда, применив к нему свойство (7), получим Y^*X^**. По свойству (7) имеем включение XX^**. Следовательно, получаем XX^**Y^* или XY^*.

Докажем обратное утверждение.

Пусть XY^*. Тогда X^*Y^**Y ^

J. 1: пусть XY и Y?(X), тогда по доказанному выше утверждению включение Y?(X) равносильным образом можно заменить на X?(Y). Получим, что XX?(Y) или X?(Y). Тогда по условию пункта b) задачи X?(Y) влечёт ?(X)?(Y). Следовательно, если XY, то ?(X)?(Y).

J. 2: пусть XY и Y?(X) по утверждению, значит, X?(X).

J. 3: по J. 2 X?(X). Применим к нему свойство (7), получим ?(X)??(X). Применим это же свойство к X?(Y)?(X)?(Y), получим ?(X)??(Y)??(X)??(Y). Далее по утверждению Y?(X)?(Y)??(X). Получили ?(Y)??(X)??(Y). При этом ??(Y)?(X) (по утверждению). Следовательно, мы получаем обратное включение ?(X)??(X). Тем самым получили, что ??(X) = ?(X).

Следовательно, ?(X) = H(X)X - оператор замыкания.

Задача 3. Показать, что множество всех предупорядоченностей с на множестве A является алгебраической системой замыканий. Верно ли это для множества всех упорядоченностей?

Решение:

Непустое множество назовём предупорядоченным, если введенное на нём бинарное отношение с рефлексивно и транзитивно. Такое отношение с называется отношением предпорядка на A.

Пусть XAA, или XB (AA). Обозначим через J(X) пересечение всех предпорядков на A, содержащих X:

J(X) = {с - предпорядок на A: Xс}.

Так как при пересечении бинарных отношений на множестве свойства рефлексивности и транзитивности сохраняются, то J(X) - наименьший предпорядок на A, содержащий X. Ясно, что AA является предпорядком на A. Поэтому система всех предпорядков на A является системой замыканий на этом множестве.

Остаётся проверить, будет ли система предпорядков алгебраической. Для этого возьмём произвольную пару (a, b)J(X), где XAA. Предпорядок J(X) получается из множества пар X добавлением пар вида (c, c), где cA, и его расширением по транзитивности: если уже получены пары (d, e) и (e, f), то добавляем и пару (d, f). При этом пара (a, b) в результате последовательного применения расширений по рефлексивности и транзитивности принадлежит конечному множеству пар FX. Следовательно, (a, b)J(F).

Для множества всех упорядоченностей верно лишь в том случае, когда множество A содержит один элемент. Иначе, не выполняется свойство антисимметричности.

Задача 4. Показать, что совокупность всех алгебраических систем замыканий на данном множестве A является системой замыканий на B (A). Всегда ли эта система замыканий будет алгебраической?

Решение:

Очевидно, что множество всех алгебраических систем замыкания на данном множестве A является системой замыкания на булеане B (A). Чтобы показать, является ли эта система алгебраической, воспользуемся теоремой 2.

Будем считать, что имеется семейство алгебр , iI. Каждой из них поставлена система подалгебр S(). Пересечению соответствующих систем замыканий соответствует алгебра , при Щ=. Для произвольного подмножества X в A рассмотрим подалгебру алгебры . И возьмём элемент a из . Элемент a выражается через конечное множество элементов из с помощью последовательного применения конечного числа операций из Щ. Следовательно, a принадлежит замыканию .