The Grand Unification: A Guide to the Galois Correspondence

Galois Correspondence is a cornerstone of abstract algebra that reveals a deep and elegant connection between two seemingly disparate structures: field extensions and groups. At its heart, the theory, formalized by the Fundamental Theorem of Galois Theory, establishes a perfect, one-to-one, inclusion-reversing dictionary. This dictionary translates the set of all intermediate fields of a given Galois extension into the set of all subgroups of its associated Galois group, which is the group of symmetries of the extension. This correspondence is remarkably precise: the degree of a field extension is equal to the order of its corresponding group, and most significantly, normal field extensions correspond exactly to normal subgroups. This powerful link allows complex problems about fields and polynomials to be rephrased and solved using the more structured and intuitive tools of group theory. The historical triumph of this theory was its definitive answer to the ancient problem of solving polynomial equations. By showing that a polynomial is solvable by radicals if and only if its Galois group is a solvable group, it explained why formulas for cubic and quartic equations exist, but why a general formula for the quintic is impossible.

1. Introduction: From Polynomials to Symmetries

For centuries, mathematicians sought a general formula, using only basic arithmetic and radicals (square roots, cube roots, etc.), to solve polynomial equations of any degree. Formulas for quadratic, cubic, and even quartic equations were discovered, but the quintic (degree 5) equation stubbornly resisted all attempts. The mystery was finally solved in the early 19th century by the brilliant young mathematician Évariste Galois. His revolutionary idea was to associate a group of symmetries—now called a Galois group—with every polynomial equation. The properties of this group, he discovered, hold the key to the nature of the polynomial's roots. The Galois Correspondence, the heart of Galois Theory, provides a precise and beautiful dictionary that translates questions about fields and polynomials into the language of group theory, and vice-versa.

2. The Building Blocks: Fields, Extensions, and Automorphisms

To understand the correspondence, we must first define its key players.

• Field and Field Extension: A field is a set (like the rational numbers Q or real numbers R) where you can add, subtract, multiply, and divide (except by zero). A field extension, denoted L/K, is a pair of fields where K is a subfield of L. For example, C/R is a field extension. We can think of L as a vector space over K, and its dimension is called the degree of the extension, written [L:K]. For example, Q(√2), the smallest field containing Q and √2, has elements of the form a + b√2 where a, b are in Q. The basis is {1, √2}, so [Q(√2):Q] = 2.

• K-Automorphism and the Galois Group: An automorphism of a field L is an isomorphism from L to itself—a bijection σ: L → L that preserves addition and multiplication. A K-automorphism is an automorphism of L that leaves every element of the subfield K unchanged (i.e., σ(k) = k for all k in K). These K-automorphisms are the 'symmetries' of the extension L/K. The set of all K-automorphisms of L forms a group under composition, called the Galois group of L/K, denoted Gal(L/K).

• Galois Extension: The full power of the theory applies to a special type of extension called a Galois extension. An extension L/K is a Galois extension if it is both normal (every irreducible polynomial in K[x] that has one root in L has all its roots in L) and separable (the minimal polynomial of every element in L over K has distinct roots). For our purposes, in characteristic zero (like extensions of Q), every extension is separable. The size of the Galois group is directly related to the degree of the extension: L/K is Galois if and only if |Gal(L/K)| = [L:K].

3. The Fundamental Theorem of Galois Theory

This theorem establishes a profound, one-to-one correspondence for any finite Galois extension L/K.

The correspondence is between:

1. The set of all intermediate fields E such that K ⊆ E ⊆ L.
2. The set of all subgroups H of the Galois group Gal(L/K).

The mappings are defined as follows:

• From Field to Group: To an intermediate field E, we associate the subgroup Gal(L/E). This is the group of automorphisms in Gal(L/K) that fix every element of E.
• From Group to Field: To a subgroup H, we associate the fixed field L^H. This is the set of all elements in L that are left unchanged by every automorphism in H.

Key Properties of the Correspondence:

1. Inclusion-Reversing: It's a reverse-order mapping. If E₁ ⊆ E₂ are two intermediate fields, then their corresponding subgroups are related by Gal(L/E₂) ⊆ Gal(L/E₁). A larger field is fixed by fewer automorphisms.
2. Degree and Index: The sizes match up perfectly. The degree of an extension corresponds to the index of the groups: [E:K] = [Gal(L/K) : Gal(L/E)], and the degree of the top part of the extension corresponds to the order of the subgroup: [L:E] = |Gal(L/E)|.
3. Normality: This is the most powerful part. An intermediate extension E/K is a normal extension if and only if its corresponding subgroup Gal(L/E) is a normal subgroup of Gal(L/K). If this is the case, we get a beautiful result about the Galois group of the smaller extension: Gal(E/K) ≅ Gal(L/K) / Gal(L/E) (the quotient group).

4. A Concrete Example: Q(√2, √3) / Q

Let's make this tangible. Consider the base field K = Q and the extension field L = Q(√2, √3), which is the splitting field for the polynomial (x² - 2)(x² - 3). This is a Galois extension of degree 4.

• The Galois Group: An automorphism σ in Gal(L/Q) is determined by where it sends √2 and √3. Since σ(√2)² = σ(2) = 2, σ(√2) must be ±√2. Similarly, σ(√3) must be ±√3. This gives us four possible automorphisms:

e: The identity (√2 → √2, √3 → √3) σ: √2 → -√2, √3 → √3 τ: √2 → √2, √3 → -√3 στ: √2 → -√2, √3 → -√3 The group Gal(L/Q) = {e, σ, τ, στ} is isomorphic to the Klein four-group Z₂ × Z₂.

• The Correspondence:

Subgroup {e}: The fixed field is L^{{e}} = Q(√2, √3). (Only the identity fixes everything). Subgroup {e, σ}: We need elements a + b√2 + c√3 + d√6 fixed by σ. This happens when b=0 and d=0. The fixed field is Q(√3). Subgroup {e, τ}: Similarly, the fixed field is Q(√2). Subgroup {e, στ}: We need elements fixed by στ. στ(√6) = στ(√2√3) = (-√2)(-√3) = √6. The fixed field is Q(√6). * Subgroup Gal(L/Q): The field fixed by all automorphisms is the base field, Q.

We can visualize this with two lattice diagrams. Notice how the inclusion is perfectly reversed:

Subgroup Lattice Intermediate Field Lattice

Gal(L/Q) Q / | \ / | \ <σ> <τ> <στ> Q(√2) Q(√3) Q(√6) \ | / \ | / {e} Q(√2,√3)

5. Application: Solvability of Polynomials

The historical motivation for Galois theory was solving polynomials. The Galois Correspondence provides the definitive answer.

A polynomial is solvable by radicals if its roots can be expressed using only the coefficients and the operations of addition, subtraction, multiplication, division, and taking nth roots. Galois showed that this is possible if and only if the Galois group of the polynomial's splitting field is a solvable group. A solvable group is one that can be broken down into a series of normal subgroups with abelian quotients.

• For degrees 2, 3, and 4, the possible Galois groups are all solvable. This is why general formulas exist.
• For degree 5, a general polynomial can have the symmetric group S₅ as its Galois group. S₅ is famously not a solvable group. Therefore, no general formula using radicals can exist for the quintic equation. This stunning result transformed algebra from a science of computation and formulas to a science of structure and symmetry.

Browse public study notes