Ať X a Y jsou množiny. Ať
A
:
P
(
X
)
⟶
P
(
Y
)
{\displaystyle {\mathcal {A}}:{\mathcal {P}}(X)\longrightarrow {\mathcal {P}}(Y)}
a
B
:
P
(
Y
)
⟶
P
(
X
)
{\displaystyle {\mathcal {B}}:{\mathcal {P}}(Y)\longrightarrow {\mathcal {P}}(X)}
. Pak
(
A
,
B
)
{\displaystyle ({\mathcal {A}},{\mathcal {B}})}
nazveme Galoisovou koresponencí , platí-li:
A
1
⊆
A
2
∈
P
(
X
)
⇒
A
(
A
1
)
⊇
A
(
A
2
)
,
{\displaystyle A_{1}\subseteq A_{2}\in {\mathcal {P}}(X)\Rightarrow {\mathcal {A}}(A_{1})\supseteq {\mathcal {A}}(A_{2}),}
B
1
⊆
B
2
∈
P
(
Y
)
⇒
B
(
B
1
)
⊇
B
(
B
2
)
,
{\displaystyle B_{1}\subseteq B_{2}\in {\mathcal {P}}(Y)\Rightarrow {\mathcal {B}}(B_{1})\supseteq {\mathcal {B}}(B_{2}),}
B
A
(
A
)
⊇
A
{\displaystyle {\mathcal {B}}{\mathcal {A}}(A)\supseteq A}
pro
∀
A
∈
X
,
{\displaystyle \forall A\in X,}
A
B
(
B
)
⊇
B
{\displaystyle {\mathcal {A}}{\mathcal {B}}(B)\supseteq B}
pro
∀
B
∈
Y
.
{\displaystyle \forall B\in Y.}
Někdy se definuje Galoisova korespondence alternativně následujícím způsobem:
Buď
ϕ
⊆
X
×
Y
{\displaystyle \phi \subseteq X\times Y}
. Definujeme zobrazení
P
(
X
)
⟶
P
(
Y
)
{\displaystyle {\mathcal {P}}(X)\longrightarrow {\mathcal {P}}(Y)}
takto:
A
⟼
A
→
=
{
b
∈
Y
|
(
a
,
b
)
∈
ϕ
,
∀
a
∈
A
}
{\displaystyle A\longmapsto A^{\rightarrow }=\lbrace b\in Y|(a,b)\in \phi ,\forall a\in A\rbrace }
B
⟼
B
←
=
{
a
∈
Y
|
(
a
,
b
)
∈
ϕ
,
∀
b
∈
B
}
{\displaystyle B\longmapsto B^{\leftarrow }=\lbrace a\in Y|(a,b)\in \phi ,\forall b\in B\rbrace }
.
Podotýkáme, že v anglické literatuře je pojem Galoisova korespondence [ujasnit ] vymezen pro pár vzájemně bijektivních zobrazení , zatímco Galoisově korespondenci v širším smyslu odpovídá pojem Galois connection.
Je-li
(
A
,
B
)
{\displaystyle ({\mathcal {A}},{\mathcal {B}})}
Galoisova korespondence množin X a Y , pak platí:
A
B
A
(
A
)
=
A
(
A
)
{\displaystyle {\mathcal {A}}{\mathcal {B}}{\mathcal {A}}(A)={\mathcal {A}}(A)}
pro
∀
A
∈
X
,
{\displaystyle \forall A\in X,}
a symetricky
B
A
B
(
B
)
=
B
(
B
)
{\displaystyle {\mathcal {B}}{\mathcal {A}}{\mathcal {B}}(B)={\mathcal {B}}(B)}
pro
∀
B
∈
Y
.
{\displaystyle \forall B\in Y.}
Složená zobrazení
B
A
{\displaystyle {\mathcal {B}}{\mathcal {A}}}
a
A
B
{\displaystyle {\mathcal {A}}{\mathcal {B}}}
jsou uzávěrovými operátory na X a Y .
Galoisova korespondence poskytuje vzájemně inverzní bijekce
A
{\displaystyle {\mathcal {A}}}
a
B
{\displaystyle {\mathcal {B}}}
množin
X
=
{
A
(
A
)
|
A
∈
X
}
{\displaystyle {\mathcal {X}}=\lbrace {\mathcal {A}}(A)|A\in X\rbrace }
a
Y
=
{
B
(
B
)
|
B
∈
Y
}
{\displaystyle {\mathcal {Y}}=\lbrace {\mathcal {B}}(B)|B\in Y\rbrace }
.
Korespondence
(
I
,
V
)
{\displaystyle (\mathbb {I} ,\mathbb {V} )}
mezi algebraickými množinami , tj. podmnožinami
A
n
=
K
×
K
×
.
.
.
×
K
,
{\displaystyle \mathbb {A} ^{n}=K\times K\times ...\times K,}
kde
K
{\displaystyle K}
je těleso, a ideály okruhu polynomů
K
[
x
1
,
x
2
,
.
.
.
,
x
n
]
{\displaystyle K[x_{1},x_{2},...,x_{n}]}
, taková, že
I
(
X
)
=
{
p
∈
K
[
x
1
,
x
2
,
.
.
.
,
x
n
]
|
p
(
a
)
=
0
,
∀
a
∈
X
}
,
{\displaystyle \mathbb {I} (X)=\lbrace p\in K[x_{1},x_{2},...,x_{n}]|p(a)=0,\forall a\in X\rbrace ,}
V
(
S
)
=
{
a
∈
A
n
|
p
(
a
)
=
0
,
∀
p
∈
S
}
,
{\displaystyle \mathbb {V} (S)=\lbrace a\in \mathbb {A} ^{n}|p(a)=0,\forall p\in S\rbrace ,}
.
S touto Galoisovou korespondencí je těsně spjatá Hilbertova věta o nulách .
V univerzální algebře se vyskytuje několik důležitých Galoisovych korespondencí:
Nechť
A
l
g
{\displaystyle Alg}
je množina všech
Σ
{\displaystyle \Sigma }
-algeber ,
E
q
{\displaystyle Eq}
je množina všech
Σ
{\displaystyle \Sigma }
-identit,
ϕ
⊆
A
l
g
×
E
q
{\displaystyle \phi \subseteq Alg\times Eq}
je relace taková, že
(
A
_
,
s
≈
t
)
↔
A
_
⊨
s
≈
t
{\displaystyle ({\underline {A}},s\approx t)\leftrightarrow {\underline {A}}\models s\approx t}
. Pak dvojice zobrazení
K
↦
I
d
(
K
)
{\displaystyle {\mathcal {K}}\mapsto Id({\mathcal {K}})}
a
E
↦
M
o
d
(
E
)
{\displaystyle {\mathcal {E}}\mapsto Mod({\mathcal {E}})}
, kde
K
∈
A
l
g
{\displaystyle {\mathcal {K}}\in Alg}
a
E
∈
E
q
{\displaystyle {\mathcal {E}}\in Eq}
, je Galoisovou korespondencí indukovanou relací
ϕ
{\displaystyle \phi }
.
Máme-li nějakou množinu
A
{\displaystyle A}
, označíme
O
p
(
A
)
{\displaystyle Op(A)}
množinu všech operací na
A
{\displaystyle A}
,
R
e
l
(
A
)
{\displaystyle Rel(A)}
množinu všech relací na
A
{\displaystyle A}
a nechť je
ϕ
⊆
O
p
×
R
e
l
{\displaystyle \phi \subseteq Op\times Rel}
kompatibilita, tj.
(
f
,
R
)
⇔
{\displaystyle (f,R)\Leftrightarrow }
f
{\displaystyle f}
je kompatibilní s
R
{\displaystyle R}
. Pak Galoisova korespondence indukovaná touto relací poskytuje dvojice zobrazení. Obraz množiny
F
∈
O
p
(
A
)
{\displaystyle F\in Op(A)}
nazýváme invariantem F a značíme
I
n
v
(
F
)
{\displaystyle Inv(F)}
, obraz
Θ
∈
R
e
l
(
A
)
{\displaystyle \Theta \in Rel(A)}
nazýváme polymorfismy
Θ
{\displaystyle \Theta }
a značíme
P
o
l
(
Θ
)
{\displaystyle Pol(\Theta )}
.
Bergman C.: Universal algebra. Fundamentals and Selected Topics , CRC press, 2012.
Fulton W.: Algebraic Curves , Addison-Wesley, 1989.