---
title: "The Galois Correspondence"
description: "The symmetries of a field extension form a group whose subgroups match the intermediate fields, in reverse order. Whether that group can be built from abelian pieces is what decides if the roots can b"
canonical: https://lightmysky.com/learn/mathematics/the-galois-correspondence-mt_30kyliQR_L
source: https://lightmysky.com/learn/mathematics/the-galois-correspondence-mt_30kyliQR_L.md
retrieved: 2026-09-12
---

> **Agent view.** This is the Markdown twin of the page, for tools and assistants.
> When to use this site, and the call that answers each job: https://lightmysky.com/agent-instructions.md
> API description (OpenAPI 3.1): https://lightmysky.com/openapi.json · Authentication: https://lightmysky.com/auth.md
> Pricing: https://lightmysky.com/pricing.md · Catalog: https://lightmysky.com/llms.txt · Full catalog: https://lightmysky.com/llms-full.txt
> Every machine-readable file on this domain: https://lightmysky.com/.well-known/ai-catalog.json
> Ask for Markdown with `Accept: text/markdown`, a `.md` address, or `?mode=agent`.

# The Galois Correspondence

The symmetries of a field extension form a group whose subgroups match the intermediate fields, in reverse order. Whether that group can be built from abelian pieces is what decides if the roots can be written with radicals.

Subject: Mathematics · Area: Abstract Algebra · Ages 22 to 24
Page: https://lightmysky.com/learn/mathematics/the-galois-correspondence-mt_30kyliQR_L

## Ready when they can

- List the automorphisms of a small splitting field
- Match subgroups to intermediate fields in a concrete degree-four example
- State what solvability of the group says about a general quintic

## Lesson: Symmetries of fields and the groups that mirror them

Start with a polynomial and adjoin all its roots at once. The result is called a splitting field. An automorphism is a relabeling of that field that fixes every rational number and preserves all arithmetic. Each automorphism permutes the roots, so the whole symmetry group acts as permutations of the roots. For a Galois extension, the number of automorphisms equals the degree of the extension.

**Example.** Take the rationals with square roots of 2 and 3 adjoined. The total degree is 2 times 2, which is 4, so the group has order 4. It is the Klein four group. Strictly between the rationals and the whole field sit exactly three quadratic fields: the rationals with root 2, with root 3, and with root 6. Each one is fixed by a subgroup of order 2. Notice the reversal: the bigger the subgroup, the smaller the field it fixes.

The splitting field of x cubed minus 2 needs the real cube root plus the complex roots of unity. Adjoining the real root gives degree 3, and adjoining the unity roots doubles it to 6. So there are 6 automorphisms, forming the full symmetric group S3. Every subgroup of S3 matches one intermediate field, and inclusions run in opposite directions: a larger subgroup fixes a smaller field.

**Tip.** A group is solvable when it can be broken into abelian pieces. When the Galois group is solvable, the roots can be expressed with radicals. The symmetric group S5 has no such breakdown, so the general quintic admits no formula with radicals. To settle solvability questions, examine the group rather than the size of the roots.

**Recap.** Subgroups match intermediate fields in reverse order, and a solvable group means radical formulas exist.

## Practice

17 questions on this page, each with its working shown.

## Needs first

- [Field Extensions and Their Degrees](https://lightmysky.com/learn/mathematics/field-extensions-and-their-degrees-mt_CjOMNt5_i0)
- [Normal Subgroups and Quotient Groups](https://lightmysky.com/learn/mathematics/normal-subgroups-and-quotient-groups-mt_RU7A-t7wQ5)

## Opens up

- [Topological Spaces: Continuity Without Distance](https://lightmysky.com/learn/mathematics/topological-spaces-continuity-without-distance-mt_D2oPq0AVhI)
- [The Fundamental Group and Loops on a Circle](https://lightmysky.com/learn/mathematics/the-fundamental-group-and-loops-on-a-circle-mt_zH50_L0nu4)