Связь Галуа

В математике , особенно в теории порядка , связь Галуа — это особое соответствие (обычно) между двумя частично упорядоченными множествами (Чуст-множествами). Связи Галуа находят применение в различных математических теориях. Они обобщают фундаментальную теорему теории Галуа о соответствии между подгруппами и подполями , открытую французским математиком Эваристом Галуа .

Связность Галуа также может быть определена на заранее упорядоченных множествах или классах ; в этой статье представлен общий случай частично упорядоченных наборов. В литературе встречаются два тесно связанных понятия «связи Галуа». В этой статье мы будем называть их (монотонными) связями Галуа и антитонными связями Галуа .

Связность Галуа довольно слаба по сравнению с порядковым изоморфизмом между задействованными частично упорядоченными множествами, но каждая связность Галуа приводит к изоморфизму определенных подмножеств, как будет объяснено ниже. Термин «соответствие Галуа» иногда используется для обозначения биективной связи Галуа ; это просто изоморфизм порядка (или изоморфизм двойственного порядка, в зависимости от того, берем ли мы монотонные или антитонные связности Галуа).

Определения [ править ]

(Монотонное) Связь Галуа [ править ]

Пусть $(A, \leq )$ и $(B, \leq )$ — два частично упорядоченных множества . Монотонная связь Галуа между этими частично упорядоченными множествами состоит из двух монотонных ^[1] функции : $F : A \to B$ и $G : B \to A$ , такие, что для всех $a$ в $A$ и $b$ в $B$ мы имеем

F (а) \leq б

тогда и только тогда, когда

а \leq G (б)

.

В этой ситуации $F$ называется нижним сопряженным к $G$ , а $G$ называется верхним сопряженным к F . Мнемонически верхняя/нижняя терминология относится к тому месту, где появляется приложение функции относительно ≤. ^[2]Термин «сопряженный» относится к тому факту, что монотонные связи Галуа являются особыми случаями пар сопряженных функторов в теории категорий , как обсуждается ниже. Другая терминология, встречающаяся здесь, — это левый сопряженный (соответственно правый сопряженный ) для нижнего (соответственно верхнего) сопряженного.

Существенным свойством связности Галуа является то, что верхний/нижний сопряженный связности Галуа однозначно определяет другую:

F (a)

— наименьший элемент

~ b

с

a \leq G (~ b)

и

G (b)

— самый большой элемент

~ a

с

F (~ a) \leq b

.

Следствием этого является то, что если $F$ или $G$ , взаимно однозначны то каждый из них является инверсией другого, т. е. $F = G. -1$ .

Учитывая связь Галуа с нижним сопряженным $F$ и верхним сопряженным $G$ , мы можем рассмотреть композиции $GF : A \to A$ , известные как ассоциированный оператор замыкания , и $FG : B \to B$ , известные как ассоциированный оператор ядра. Оба монотонны и идемпотентны имеем $a \leq GF (a)$ для всех $a$ в $A$ и $FG (b) \leq b$ для всех $b$ в $B.$ , и мы

Вставка Галуа B $G$ в $A$ в которой ядерный оператор $FG$ является тождественным на $B$ , и, следовательно, $является$ порядковым изоморфизмом $B$ на множество замкнутых элементов $GF$ [ $A$ ] из $A.$ - это связность Галуа , ^[3]

Связь с Антитоном Галуа

Приведенное выше определение сегодня распространено во многих приложениях и широко распространено в теории решеток и доменов . Однако исходное понятие теории Галуа немного отличается. В этом альтернативном определении связь Галуа представляет собой пару антитонов , то есть изменяющих порядок функций $F : A \to B$ и $G : B \to A$ между двумя частично упорядоченными множествами $A$ и $B$ , такие, что

б \leq F (а)

тогда и только тогда, когда

а \leq G (б)

.

Симметрия $F$ и $G$ в этой версии стирает различие между верхней и нижней, и эти две функции тогда называются полярностями , а не сопряженными. ^[4] Каждая полярность однозначно определяет другую, поскольку

F (a)

— наибольший элемент

b

с

a \leq G (b)

, и

G (b)

— наибольший элемент

a

с

b \leq F (a)

.

Композиции $GF : A \to A$ и $FG : B \to B$ являются ассоциированными операторами замыкания; это монотонные идемпотентные отображения со свойством $⩽ GF (a) для$ всех $a$ в $A$ и $b ⩽ FG (b)$ для всех $b$ в $B.$ a

Последствия двух определений связей Галуа очень похожи, поскольку антитонная связь Галуа между $A$ и $B$ представляет собой просто монотонную связь Галуа между $A$ и двойственным порядком $B. на$ Б. $$ Таким образом, все приведенные ниже утверждения о связях Галуа можно легко преобразовать в утверждения об антитонных связях Галуа.

Примеры [ править ]

Биекции [ править ]

Биекция функций пары $f:X\to Y$ и $g:Y\to X,$ обратные друг другу, образуют (тривиальную) связь Галуа следующим образом. Поскольку отношение равенства рефлексивно, транзитивно и антисимметрично, оно, тривиально, является частичным порядком , что делает его $(X,=)$ и $(Y,=)$ частично упорядоченные множества. С $f(x)=y$ если и только если $x=g(y),$ у нас есть связь с Галуа.

Галуа Монотонные связи

Пол; потолок [ править ]

Монотонная связь Галуа между $\mathbb {Z} ,$ набор целых чисел и $\mathbb {R} ,$ набор действительных чисел , каждое из которых имеет свой обычный порядок, задается обычной функцией встраивания целых чисел в действительные числа и функцией пола , усекающей действительное число до наибольшего целого числа, меньшего или равного ему. Встраивание целых чисел обычно выполняется неявно, но чтобы показать связь Галуа, мы делаем это явно. Так что давайте $F:\mathbb {Z} \to \mathbb {R}$ обозначим функцию вложения, где $F(n)=n\in \mathbb {R} ,$ пока $G:\mathbb {R} \to \mathbb {Z}$ обозначает функцию пола, поэтому $G(x)=\lfloor x\rfloor .$ Эквивалентность $F(n)\leq x~\Leftrightarrow ~n\leq G(x)$ затем переводится на

n\leq x~\Leftrightarrow ~n\leq \lfloor x\rfloor .

Это справедливо, поскольку переменная $n$ ограничено целыми числами. Известные свойства функции пола, такие как $\lfloor x+n\rfloor =\lfloor x\rfloor +n,$ может быть выведено элементарными рассуждениями из этой связи Галуа.

Двойной порядок дает антитонную связь Галуа, теперь с функцией потолка :

x\leq n~\Leftrightarrow ~\lceil x\rceil \leq n.

Силовой набор; импликация и союз [ править ]

В качестве примера теории порядка пусть $—$ некоторое множество , а $A$ и $B$ — степенное множество U $U$ , упорядоченное по включению . Выберите фиксированное подмножество $L$ из $U$ . Тогда отображения $F$ и $G$ , где $F (M) = L \cap M$ и $G ( N ) = N ∪ ( U \ L )$ , образуют монотонную связность Галуа, причем $F$ является нижним сопряженным. Подобную связность Галуа, нижний сопряженный которой задается операцией встречи ( нижней границы ), можно найти в любой алгебре Гейтинга . В частности, оно присутствует в любой булевой алгебре , где два отображения могут быть описаны как $F (x) = (a \land x)$ и $G (y) = (y \lor \neg a) = (a \Rightarrow y)$ . Говоря логическим языком: «вывод из $a$ » является верхним сопряженным к «соединению с $a$ ».

Решетки [ править ]

Дальнейшие интересные примеры связностей Галуа описаны в статье о свойствах полноты . Грубо говоря, оказывается, что обычные функции ∨ и ∧ являются нижним и верхним сопряжениями к диагональному отображению $X \to X \times X$ . Наименьший и наибольший элементы частичного порядка задаются нижним и верхним сопряженными к единственной функции $X \to {1}.$ Идя дальше, даже полные решетки можно охарактеризовать наличием подходящих сопряженных. Эти соображения создают некоторое впечатление о повсеместном распространении связей Галуа в теории порядка.

Транзитивные групповые действия [ править ]

Пусть $G$ действует транзитивно на $X$ и выбирает некоторую точку $x$ в $X$ . Учитывать

{\mathcal {B}}=\{B\subseteq X:x\in B;\forall g\in G,gB=B\ \mathrm {or} \ gB\cap B=\emptyset \},

набор блоков, содержащих $x$ . Далее, пусть ${\mathcal {G}}$ состоят из подгрупп группы $G$ содержащих стабилизатор x $,$ .

Затем переписка ${\mathcal {B}}\to {\mathcal {G}}$ :

B\mapsto H_{B}=\{g\in G:gx\in B\}

является монотонной, взаимно однозначной связностью Галуа. ^[5]Как следствие , можно установить, что дважды транзитивные действия не имеют блоков, кроме тривиальных (одиночных элементов или всего $X$ стабилизаторы максимальны в $G.$ ): это следует из того, что в этом случае См. «Дважды транзитивная группа» дальнейшее обсуждение в разделе .

Изображение и обратное изображение [ править ]

Если $f : X \to Y$ — функция , то для любого подмножества $M$ из $X$ мы можем сформировать образ $F (M) = f M = {f (m) | m \in M}$ и для любого подмножества $N$ из $Y$ мы можем сформировать прообраз $G (N) = f -1 N знак равно {Икс \in Икс | ж (Икс) \in N}.$ Тогда $F$ и $G$ образуют монотонную связь Галуа между набором степеней $X$ и набором степеней $Y$ , упорядоченными по включению ⊆. В этой ситуации существует еще одна сопряженная пара: для подмножества $M$ из $X$ определите $H (M) = {y \in Y | ж -1 {у} \subseteq М}.$ Тогда $G$ и $H$ образуют монотонную связь Галуа между набором степеней $Y$ и набором степеней $X$ . В первой связности Галуа $G$ является верхним сопряженным, а во второй связности Галуа — нижним сопряженным.

В случае фактор-отображения между алгебраическими объектами (такими как группы ) эта связь называется теоремой о решетке : подгруппы $G$ соединяются с подгруппами $G / N$ , а оператор замыкания на подгруппах $G$ задается формулой $H = HN$ .

Пролет и замыкание [ править ]

Выберите некоторый математический объект $X$ , который имеет базовый набор , например, группу, , векторное пространство и т. д. Для любого подмножества $S$ X $кольцо$ пусть $F (S)$ будет наименьшим подобъектом X $S$ , который содержит $,$ т.е. подгруппу , подкольцо. или подпространство , порожденное $S$ . Для любого подобъекта $U$ в $X$ пусть $G (U)$ базовым множеством $U.$ будет (Мы можем даже считать $топологическим$ пространством , пусть $F (S)$ S — замыканием , $X.$ а в качестве «подобъектов $X$ » — подмножества X. $замкнутые$ ) Теперь $F$ и $G$ образуют монотонную связь Галуа между подмножествами $X$ и подобъекты $X$ , если оба упорядочены путем включения. $F$ – нижний сопряженный.

Синтаксис и семантика [ править ]

Очень общий комментарий Уильяма Ловера ^[6]заключается в том, что синтаксис и семантика сопряжены: возьмите $A$ за множество всех логических теорий (аксиоматизаций), обратно упорядоченных по силе, а $B -$ за степенное множество множества всех математических структур. Для теории $T \in A$ пусть $Mod(T)$ — множество всех структур, удовлетворяющих аксиомам $T$ ; для набора математических структур $S \in B$ пусть $Th(S)$ будет минимумом аксиоматизаций, аппроксимирующих $S$ (в логике первого порядка это набор предложений, которые истинны во всех структурах из $S$ ). Тогда мы можем сказать, что $S$ является подмножеством $Mod(T)$ тогда и только тогда, когда $Th(S)$ логически влечет за собой $T$ : «семантический функтор» $Mod$ и «синтаксический функтор» $Th$ образуют монотонную связь Галуа, причем семантика является верхней примыкающий.

Связи с Антитоном Галуа

Теория Галуа [ править ]

Мотивирующий пример взят из теории Галуа: предположим, что $L / K$ — расширение поля . Пусть $A$ — множество всех подполей $L$ , содержащих $K$ , упорядоченных по включению ⊆. Если $E$ такое подполе, напишите $Gal(L / E)$ для группы полевых автоморфизмов L $,$ которые $E.$ фиксируют Пусть $B$ — множество подгрупп $Gal(L / K)$ , упорядоченных по включению ⊆. Для такой подгруппы $G$ определите $Fix(G)$ как поле, состоящее из всех элементов $L$ , которые фиксируются всеми элементами $G$ . Тогда отображения $E \mapsto Gal(L / E)$ и $G \mapsto Fix(G)$ образуют антитонную связность Галуа.

Алгебраическая топология: покрытие пространств [ править ]

Аналогично, для связного топологического пространства $X$ существует антитонная связь Галуа между подгруппами фундаментальной группы $π 1 (X)$ и линейно-связными накрывающими пространствами X $.$ линейно - В частности, если $X$ , полулокально односвязно то для каждой подгруппы $G$ группы $π 1 (X)$ существует накрывающее пространство, $G.$ фундаментальной группой которого является

Линейная алгебра: аннуляторы дополнения ортогональные и

Учитывая внутреннее пространство $V$ мы можем сформировать ортогональное дополнение $F (X)$ любого подпространства $X$ из $V.$ , Это дает антитонную связь Галуа между множеством подпространств $V$ и самим собой, упорядоченную путем включения; обе полярности равны $F$ .

Учитывая векторное пространство $V$ и подмножество $X$ из $V,$ мы можем определить его аннулятор $F (X)$ , состоящий из всех элементов двойственного пространства $V. *$ V $,$ которые исчезают на $X$ . Аналогично, учитывая подмножество $Y$ из $V *$ , определим его аннулятор $G (Y) = {x \in V | φ (Икс) знак равно 0 \forall φ \in Y}.$ Это дает антитонную связь Галуа между подмножествами $V$ и подмножествами $V. *$ .

Алгебраическая геометрия [ править ]

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

Зафиксируйте натуральное число $n$ и поле $K$ , и пусть $A$ — множество всех подмножеств кольца полиномов $K [X 1, ..., X n]$ , упорядоченных включением ⊆, и пусть $B$ — множество всех подмножеств кольца $K н$ упорядочен по включению ⊆. Если $S$ — набор полиномов, определите многообразие нулей как

V(S)=\{x\in K^{n}:f(x)=0{\mbox{ for all }}f\in S\},

множество общих нулей многочленов из $S$ . Если $U$ — подмножество $K н$ , определим $I (U)$ как идеал многочленов, исчезающих на $U$ , то есть

I(U)=\{f\in K[X_{1},\dots ,X_{n}]:f(x)=0{\mbox{ for all }}x\in U\}.

Тогда $V$ и I образуют антитонную связь Галуа.

Замыкание на $К н$ является замыканием в топологии Зарисского , и если поле $K$ , алгебраически замкнуто то замыкание на кольце полиномов есть радикал идеала, $S.$ порожденный

В более общем смысле, учитывая коммутативное кольцо $R$ (не обязательно полиномиальное кольцо), существует антитонная связь Галуа между радикальными идеалами в кольце и замкнутыми по Зарисскому подмножествами аффинного многообразия $Spec (R)$ .

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

Связности на степенных множествах, возникающие бинарных из отношений

Предположим, что $X$ и $Y$ — произвольные множества и бинарное отношение $R$ над $X$ и $Y.$ задано Для любого подмножества $M$ из $X$ мы определяем $F (M) = {y \in Y | mRy \forall m \in M}.$ Аналогично, для любого подмножества $N$ из $Y$ определите $G (N) = {x \in X | xRn \forall n \in N}.$ Тогда $F$ и $G$ образуют антитонную связь Галуа между множествами степеней $X$ и $Y$ , упорядоченными по включению ⊆. ^[7]

с точностью до изоморфизма возникают все Таким образом антитонные связи Галуа между степенными множествами. Это следует из «Основной теоремы о концептуальных решетках». ^[8]Теория и приложения связей Галуа, возникающих из бинарных отношений, изучаются в анализе формальных понятий . Это поле использует связи Галуа для математического анализа данных. Многие алгоритмы связностей Галуа можно найти в соответствующей литературе, например, в. ^[9]

Общая решетка понятий в ее примитивной версии включает как монотонные, так и антитонные связи Галуа, чтобы обеспечить верхнюю и нижнюю границы узлов решетки понятий соответственно. ^[10]

Свойства [ править ]

Далее мы рассматриваем (монотонную) связность Галуа $f = (f *, f *)$ , где $f * : A \to B$ — нижний сопряженный, как указано выше. Некоторые полезные и поучительные основные свойства можно получить сразу. По определяющему свойству связностей Галуа $f * (Икс) \leq ж * (x)$ эквивалентно $x \leq f * (f * (x))$ для всех $x$ в $A$ . По аналогичным рассуждениям (или просто применив принцип двойственности для теории порядка ) находим, что $f * (ж * (y)) \leq y$ , для всех $y$ в $B$ . Эти свойства можно описать, сказав, что составной $f * \circ f *$ является дефляционным , а $f * \circ f *$ является инфляционным (или экстенсивным ).

Теперь рассмотрим $x, y \in A$ такие, что $x \leq y$ . Тогда, используя вышеизложенное, получаем $x \leq f * (f * (й))$ . Применяя основное свойство связностей Галуа, теперь можно заключить, что $f * (Икс) \leq ж * (у)$ . Но это всего лишь показывает, что $f *$ сохраняет порядок любых двух элементов, т. е. является монотонным. Опять же, аналогичные рассуждения приводят к монотонности $f *$ . Таким образом, монотонность не обязательно включать в определение явно. Однако упоминание монотонности помогает избежать путаницы в отношении двух альтернативных понятий связностей Галуа.

Еще одним основным свойством связностей Галуа является тот факт, что $f * (f * (ж * (Икс))) знак равно ж * (Икс)$ , для всех $Икс$ в $B$ . Очевидно, мы находим, что

f * (f * (ж * (Икс))) \geq ж * (Икс)

.

потому что $f * \circ f *$ является инфляционным, как показано выше. С другой стороны, поскольку $f * \circ f *$ является дефляционным, а $f *$ монотонным, то оказывается, что

f * (f * (ж * (Икс))) \leq ж * (Икс)

.

Это показывает желаемое равенство. Более того, мы можем использовать это свойство, чтобы заключить, что

ж * (ж * (ж * (ж * (Икс)))) знак равно ж * (ж * (Икс))

и

f * (f * (ж * (ж * (x)))) знак равно ж * (ж * (Икс))

то есть, $ж * \circ ж *$ и $ж * \circ ж *$ являются идемпотентными .

Можно показать (доказательства см. у Блита или Эрне), что функция $f$ является нижним (соответственно верхним) сопряженным тогда и только тогда, когда $f$ является остаточным отображением (соответственно остаточным отображением). Следовательно, понятия результирующего отображения и монотонной связности Галуа по существу совпадают.

замыкания и связи Галуа Операторы

Приведенные выше выводы можно резюмировать следующим образом: для связности Галуа композиция $f * \circ f *$ является монотонным (составляющим монотонные функции), инфляционным и идемпотентным. Это означает, что $f * \circ f *$ самом деле является оператором замыкания на $A$ . Двойственно, $f * \circ f *$ монотонно, дефляционно и идемпотентно. Такие отображения иногда называют операторами ядра . В контексте фреймов и локалей композиция $f * \circ f *$ называется ядром, индуцированным $f$ . Ядра индуцируют гомоморфизмы репера; подмножество локали называется сублокалем, если оно задано ядром.

И наоборот , любой оператор замыкания $c$ в некотором частично упорядоченном множестве $A$ порождает связность Галуа с нижним сопряженным $f *$ являясь просто коограничением $c$ на образ $c$ (т.е. как сюръективное отображение системы замыкания $c (A)$ ). Тогда верхнее сопряженное $f *$ задается включением c ( $которое отображает каждый замкнутый элемент в себя A) в$ A $,$ рассматриваемый как элемент $A.$ , Таким образом, операторы замыкания и связи Галуа кажутся тесно связанными, каждый из которых определяет экземпляр другого. Аналогичные выводы справедливы и для операторов ядра.

Приведенные выше соображения также показывают, что замкнутые элементы $A$ (элементы $x$ с $f * (f * (x)) = x$ ) отображаются в элементы в пределах диапазона оператора ядра $f * \circ f *$ и наоборот.

уникальность связей Галуа Существование и

Другое важное свойство связностей Галуа состоит в том, что нижние сопряженные сохраняют все верхние числа , существующие в пределах их области определения . Двойственным образом верхние сопряженные сохраняют все существующие infima . Из этих свойств можно также сразу сделать вывод о монотонности сопряженных. Теорема о присоединенном функторе для теории порядка утверждает, что обратная импликация также справедлива в некоторых случаях: в частности, любое отображение между полными решетками , сохраняющее все верхние точки, является нижним сопряженным связностью Галуа.

В этой ситуации важной особенностью связностей Галуа является то, что одно сопряженное однозначно определяет другое. Следовательно, можно усилить приведенное выше утверждение, чтобы гарантировать, что любое сохраняющее супремум отображение между полными решетками является нижним сопряженным к единственной связности Галуа. Основное свойство, позволяющее получить эту уникальность, заключается в следующем: для $x$ в $A$ f $каждого * (x)$ — наименьший элемент $y$ из $B$ такой, что $x \leq f * (y)$ . Двойственно, для каждого $y$ в $B$ , $f * (y)$ является наибольшим $x$ в $A$ таким, что $f * (Икс) \leq у$ . Существование определенной связи Галуа теперь подразумевает существование соответствующих наименьших или наибольших элементов, независимо от того, удовлетворяют ли соответствующие частично упорядоченные множества каким-либо свойствам полноты . Таким образом, когда дан один верхний сопряженный связности Галуа, другой верхний сопряженный может быть определен с помощью этого же свойства.

С другой стороны, некоторая монотонная функция $f$ является сопряженной снизу тогда и только тогда, когда каждое множество вида ${x \in A | f (x) \leq b}$ для $b$ в $B$ содержит наибольший элемент. Опять же, это можно дуализировать для верхнего сопряженного.

Галуа как морфизмы Связности

Связи Галуа также предоставляют интересный класс отображений между частично упорядоченными множествами, которые можно использовать для получения категорий частично упорядоченных множеств. В частности, можно составить связности Галуа: по заданным связностям Галуа $(f *, f *)$ между частично упорядоченными множествами $A$ и $B$ и $(g *, g *)$ между $B$ и $C$ , композиция $(g * \circ ж *, f * \circ g *)$ также является связностью Галуа. При рассмотрении категорий полных решеток это можно упростить до рассмотрения только отображений, сохраняющих все супремумы (или, альтернативно, инфимы). Сопоставляя полные решетки с их двойниками, эти категории демонстрируют автодвойственность , которая весьма важна для получения других теорем двойственности. Более специальные виды морфизмов , которые вызывают присоединенные отображения в другом направлении, — это морфизмы, обычно рассматриваемые для фреймов (или локалей).

теорией категорий Связь с

Каждое частично упорядоченное множество можно естественным образом рассматривать как категорию: существует уникальный морфизм x в y тогда и только тогда, когда $x ⩽ y$ . Тогда монотонная связность Галуа представляет собой не что иное, как пару сопряженных функторов между двумя категориями, возникающими из частично упорядоченных множеств. В этом контексте верхнее сопряженное является правым , а нижнее — левым . Однако этой терминологии избегают для связей Галуа, поскольку было время, когда ЧУПы трансформировались в категории двойным способом, т. е. с морфизмами, указывающими в противоположном направлении. Это привело к дополнительным обозначениям левого и правого сопряженных, которые сегодня неоднозначны.

Приложения в теории программирования [ править ]

Связи Галуа могут использоваться для описания многих форм абстракции в теории абстрактной интерпретации языков программирования . ^[11]^[12]

Примечания [ править ]

^ Монотонность следует из следующего условия. Смотрите обсуждение свойств . В определении четко указано только отличие его от альтернативного определения антитона . Можно также определить связи Галуа как пару монотонных функций, которые удовлетворяют более мягкому условию, что для всех $x$ в $A$ , $x ⩽ g (f (x))$ и для всех $y$ в $B$ , $f (g (y)) ⩽ y$ .
^ Гирц, с. 23
^ Бистарелли, Стефано (2004). Полукольца для решения и программирования мягких ограничений . Конспекты лекций по информатике. Том. 2962. Шпрингер-Верлаг . п. 102. arXiv : cs/0208008 . дои : 10.1007/978-3-540-25925-1_8 . ISBN 3-540-21181-0 . ISSN 0302-9743 .
^ Галатам, с. 145
^ См. Альперин, Белл, Группы и представления (GTM 162), с. 32
^ Уильям Ловер , Сопряженность в основаниях, Диалектика, 1969, доступно здесь . Сегодня обозначения другие; более простое введение Питера Смита в этих конспектах лекций , которые также приписывают эту концепцию цитируемой статье.
^ Биркгоф, 1-е издание (1940): §32, 3-е издание (1967): Гл. V, §7 и §8
^ Гантер, Б. и Вилле, Р. Анализ формальных концепций - математические основы , Springer (1999), ISBN 978-3-540-627715
^ Гантер, Б. и Объедков, С. Концептуальное исследование , Springer (2016), ISBN 978-3-662-49290-1
^ Лиау, Цон-Минг; Лин, Саймон К. (12 октября 2020 г.). «Общая теория решетки понятий с понятным исследованием последствий» . Теоретическая информатика . 837 : 84–114. дои : 10.1016/j.tcs.2020.05.014 . ISSN 0304-3975 . S2CID 219514253 . Архивировано из оригинала 28 мая 2020 г. Проверено 19 июля 2023 г.
^ Патрик Кузо; Радия Кусо (январь 1977 г.). «Абстрактная интерпретация: унифицированная решетчатая модель для статического анализа программ путем построения или аппроксимации фиксированных точек» (PDF) . Учеб. 4-й симпозиум ACM по принципам языков программирования (POPL) . стр. 238–252.
Контрпример для ложной теоремы в разделе 7 (стр. 243 вверху справа) см.: Йохен Бургхардт; Флориан Каммюллер; Джефф В. Сандерс (декабрь 2000 г.). Изоморфизм вложений Галуа (Технический отчет). Том. 122. ГМД . п. 9-14. ISSN 1435-2702 . (Однако в исходной статье рассматриваются только полные решетки)
^ Патрик Кузо; Радия Кусо (январь 1979 г.). «Систематическое проектирование структур программного анализа» (PDF) . Учеб. 6-й симпозиум ACM. по принципам языков программирования (POPL) . АКМ Пресс. стр. 269–282.

Ссылки [ править ]

Следующие книги и обзорные статьи включают связи Галуа с использованием монотонного определения:

Брайан А. Дэйви и Хилари А. Пристли : Введение в решетки и порядок , Cambridge University Press, 2002.
Герхард Гирц, Карл Х. Хофманн, Клаус Кеймель, Джимми Д. Лоусон, Майкл В. Мислов, Дана С. Скотт : Непрерывные решетки и области , Cambridge University Press, 2003.
Марсель Эрне, Юрген Козловски, Остин Мелтон, Джордж Э. Стрекер, Букварь по связям Галуа , в: Материалы летней конференции 1991 года по общей топологии и приложениям в честь Мэри Эллен Рудин и ее работ, Анналы Нью-Йоркской академии наук. наук, Том. 704, 1993, стр. 103–125. (Свободно доступен в Интернете в различных форматах файлов PS.GZ PS , в нем представлено множество примеров и результатов, а также примечания к различным обозначениям и определениям, возникшим в этой области.)

Некоторые публикации, использующие оригинальное (антитоновое) определение:

Мак Лейн, Сондерс (сентябрь 1998 г.). Категории для работающего математика (второе изд.). Спрингер. ISBN 0-387-98403-8 .
Томас Скотт Блит, Решетки и упорядоченные алгебраические структуры , Springer, 2005, ISBN 1-85233-905-5 .
Николаос Галатос, Питер Джипсен, Томаш Ковальски и Хироакира Оно (2007), Остаточные решетки. Алгебраический взгляд на субструктурную логику , Elsevier, ISBN 978-0-444-52141-5 .
Гаррет Биркгоф : Теория решеток , Амер. Математика. Соц. Колл. Паб., Том 25, 1940 г.
Оре, Эйстейн (1944), «Связи Галуа», Труды Американского математического общества , 55 (3): 493–513, doi : 10.2307/1990305 , JSTOR 1990305

[1] Монотонность следует из следующего условия. Смотрите обсуждение свойств . В определении четко указано только отличие его от альтернативного определения антитона . Можно также определить связи Галуа как пару монотонных функций, которые удовлетворяют более мягкому условию, что для всех $x$ в $A$ , $x ⩽ g (f (x))$ и для всех $y$ в $B$ , $f (g (y)) ⩽ y$ .

[2] Гирц, с. 23

[3] Бистарелли, Стефано (2004). Полукольца для решения и программирования мягких ограничений . Конспекты лекций по информатике. Том. 2962. Шпрингер-Верлаг . п. 102. arXiv : cs/0208008 . дои : 10.1007/978-3-540-25925-1_8 . ISBN 3-540-21181-0 . ISSN 0302-9743 .

[4] Галатам, с. 145

[5] См. Альперин, Белл, Группы и представления (GTM 162), с. 32

[6] Уильям Ловер , Сопряженность в основаниях, Диалектика, 1969, доступно здесь . Сегодня обозначения другие; более простое введение Питера Смита в этих конспектах лекций , которые также приписывают эту концепцию цитируемой статье.

[7] Биркгоф, 1-е издание (1940): §32, 3-е издание (1967): Гл. V, §7 и §8

[8] Гантер, Б. и Вилле, Р. Анализ формальных концепций - математические основы , Springer (1999), ISBN 978-3-540-627715

[9] Гантер, Б. и Объедков, С. Концептуальное исследование , Springer (2016), ISBN 978-3-662-49290-1

[:1-10] Лиау, Цон-Минг; Лин, Саймон К. (12 октября 2020 г.). «Общая теория решетки понятий с понятным исследованием последствий» . Теоретическая информатика . 837 : 84–114. дои : 10.1016/j.tcs.2020.05.014 . ISSN 0304-3975 . S2CID 219514253 . Архивировано из оригинала 28 мая 2020 г. Проверено 19 июля 2023 г.

[11] Патрик Кузо; Радия Кусо (январь 1977 г.). «Абстрактная интерпретация: унифицированная решетчатая модель для статического анализа программ путем построения или аппроксимации фиксированных точек» (PDF) . Учеб. 4-й симпозиум ACM по принципам языков программирования (POPL) . стр. 238–252.
Контрпример для ложной теоремы в разделе 7 (стр. 243 вверху справа) см.: Йохен Бургхардт; Флориан Каммюллер; Джефф В. Сандерс (декабрь 2000 г.). Изоморфизм вложений Галуа (Технический отчет). Том. 122. ГМД . п. 9-14. ISSN 1435-2702 . (Однако в исходной статье рассматриваются только полные решетки)

[12] Патрик Кузо; Радия Кусо (январь 1979 г.). «Систематическое проектирование структур программного анализа» (PDF) . Учеб. 6-й симпозиум ACM. по принципам языков программирования (POPL) . АКМ Пресс. стр. 269–282.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]