Galois connections link two partially ordered sets through monotone functions , establishing a correspondence between their elements. This powerful concept finds applications in various mathematical fields, from algebra to topology, allowing for the transfer of properties between different structures.
In Galois theory, these connections relate field extensions to subgroups of the Galois group . This relationship forms the foundation for the Fundamental Theorem of Galois Theory , providing a deep insight into the structure of field extensions and their symmetries .
Galois Connections and Galois Theory
Definition of Galois connections
Top images from around the web for Definition of Galois connections Monotonic function - Wikipedia View original
Is this image relevant?
Partially ordered set - Wikipedia View original
Is this image relevant?
Monotonic function - Wikipedia View original
Is this image relevant?
Partially ordered set - Wikipedia View original
Is this image relevant?
1 of 2
Top images from around the web for Definition of Galois connections Monotonic function - Wikipedia View original
Is this image relevant?
Partially ordered set - Wikipedia View original
Is this image relevant?
Monotonic function - Wikipedia View original
Is this image relevant?
Partially ordered set - Wikipedia View original
Is this image relevant?
1 of 2
Pair of monotone functions between two partially ordered sets establishes correspondence between their elements
Given partially ordered sets ( A , ≤ ) (A, \leq) ( A , ≤ ) and ( B , ≤ ) (B, \leq) ( B , ≤ ) , Galois connection consists of two monotone functions f : A → B f: A \to B f : A → B and g : B → A g: B \to A g : B → A
For all a ∈ A a \in A a ∈ A and b ∈ B b \in B b ∈ B , f ( a ) ≤ b ⟺ a ≤ g ( b ) f(a) \leq b \iff a \leq g(b) f ( a ) ≤ b ⟺ a ≤ g ( b ) holds
Relates elements of one partially ordered set to elements of another
Allows transfer of properties and structures between the two sets (lattices , algebras)
Can establish isomorphisms between certain subsets of the partially ordered sets (closure operators, fixed points )
Applications in Galois theory
Relates field extensions and subgroups of the Galois group
Given field extension L / K L/K L / K , Galois group Gal ( L / K ) \text{Gal}(L/K) Gal ( L / K ) is group of automorphisms of L L L that fix K K K (symmetries, permutations)
Galois connection between partially ordered sets of subfields of L L L containing K K K and subgroups of Gal ( L / K ) \text{Gal}(L/K) Gal ( L / K )
Monotone functions:
f : Subfields ( L / K ) → Subgroups ( Gal ( L / K ) ) f: \text{Subfields}(L/K) \to \text{Subgroups}(\text{Gal}(L/K)) f : Subfields ( L / K ) → Subgroups ( Gal ( L / K )) , f ( E ) = { σ ∈ Gal ( L / K ) : σ ( x ) = x , ∀ x ∈ E } f(E) = \{\sigma \in \text{Gal}(L/K) : \sigma(x) = x, \forall x \in E\} f ( E ) = { σ ∈ Gal ( L / K ) : σ ( x ) = x , ∀ x ∈ E } (fixed field )
g : Subgroups ( Gal ( L / K ) ) → Subfields ( L / K ) g: \text{Subgroups}(\text{Gal}(L/K)) \to \text{Subfields}(L/K) g : Subgroups ( Gal ( L / K )) → Subfields ( L / K ) , g ( H ) = { x ∈ L : σ ( x ) = x , ∀ σ ∈ H } g(H) = \{x \in L : \sigma(x) = x, \forall \sigma \in H\} g ( H ) = { x ∈ L : σ ( x ) = x , ∀ σ ∈ H } (invariant subfield )
Establishes one-to-one correspondence between subfields of L L L containing K K K and subgroups of Gal ( L / K ) \text{Gal}(L/K) Gal ( L / K ) (intermediate fields , normal subgroups )
Fundamental theorem proof
Using language of category theory:
For Galois extension L / K L/K L / K with Galois group G G G , equivalence of categories between category of intermediate fields of L / K L/K L / K and category of G G G -sets
Proof relies on Galois connection between subfields of L L L containing K K K and subgroups of G G G
Functor from intermediate fields to G G G -sets sends subfield E E E to set G / H G/H G / H , where H = { σ ∈ G : σ ( x ) = x , ∀ x ∈ E } H = \{\sigma \in G : \sigma(x) = x, \forall x \in E\} H = { σ ∈ G : σ ( x ) = x , ∀ x ∈ E } (cosets, orbits)
Functor from G G G -sets to intermediate fields sends G G G -set X X X to field L G x L^{G_x} L G x , where G x = { σ ∈ G : σ ( x ) = x } G_x = \{\sigma \in G : \sigma(x) = x\} G x = { σ ∈ G : σ ( x ) = x } is stabilizer of element x ∈ X x \in X x ∈ X (fixed points)
Natural isomorphisms between the two functors constructed using Galois connection prove equivalence of categories (adjunctions , unit and counit )
Examples in algebra and geometry
Galois connections appear in various algebraic and geometric contexts:
Between subgroups of a group and subsets of group closed under conjugation (normal subgroups, conjugacy classes )
Between submodules of a module and subsets of endomorphism ring (annihilators , centralizers )
Between subspaces of vector space and subspaces of its dual space (orthogonal complements , annihilators)
Between closed subsets of topological space and ideals of its ring of continuous functions (zero sets , vanishing ideals )
Example in group theory:
In group G G G , Galois connection between subgroups of G G G and subsets of G G G closed under conjugation
Monotone functions:
f : Subgroups ( G ) → ConjugationClosedSubsets ( G ) f: \text{Subgroups}(G) \to \text{ConjugationClosedSubsets}(G) f : Subgroups ( G ) → ConjugationClosedSubsets ( G ) , f ( H ) = ⋃ g ∈ G g H g − 1 f(H) = \bigcup_{g \in G} gHg^{-1} f ( H ) = ⋃ g ∈ G g H g − 1 (normal closure )
g : ConjugationClosedSubsets ( G ) → Subgroups ( G ) g: \text{ConjugationClosedSubsets}(G) \to \text{Subgroups}(G) g : ConjugationClosedSubsets ( G ) → Subgroups ( G ) , g ( S ) g(S) g ( S ) is subgroup generated by S S S (normal core )