Galois Extension¶
An algebraic field extension that is both normal and separable over its stated base field.
Core Idea¶
A Galois extension is an algebraic field extension \(E/F\) that is both normal and separable over its stated base field \(F\). Normality requires every irreducible polynomial over \(F\) with one root in \(E\) to split in \(E\). Separability requires the relevant minimal polynomials to have distinct roots. These conditions classify the extension itself, not the entire framework of Galois Theory.[ref-0c60951d7b48][ref-abaae3624799]
For a finite extension, the conditions are equivalent to \(|\operatorname{Aut}(E/F)|=[E:F]\); the group of base-fixing automorphisms is \(\operatorname{Gal}(E/F)\). That equality is a finite test. Infinite Galois extensions use a topological group when their intermediate fields are studied through subgroups.[ref-0c60951d7b48][ref-abaae3624799]
Scope of Application¶
The literal scope is algebraic field theory, including cyclotomic extensions \(\mathbb Q(\zeta_n)/\mathbb Q\), finite-field extensions \(\mathbb F_{q^n}/\mathbb F_q\), and splitting fields of separable polynomials. Infinite algebraic normal separable extensions also satisfy the definition, with distinct topological qualifications for their correspondence theorems. The base must be stated: the cyclotomic group \((\mathbb Z/n\mathbb Z)^\times\) is asserted here over \(\mathbb Q\), not an arbitrary coefficient field.[ref-7d3071c0783c][ref-6222a7c08275][^ref-0c60951d7b48]
Clarity¶
State \(F\subseteq E\), then test algebraicity, normality and separability relative to that base. A field generated by one root need not contain the other conjugate roots. A splitting field is normal, but an arbitrary polynomial's splitting field may be inseparable; a separable polynomial's splitting field is Galois. Do not use the finite automorphism-count criterion for an infinite extension or omit the closed-subgroup condition in its correspondence theorem.[ref-abaae3624799][ref-0c60951d7b48]
Manages Complexity¶
The two defining field properties tell the analyst whether base-fixing automorphisms can recover the expected extension structure. A nonnormal extension can lack conjugate roots, and an inseparable extension can lack distinct-root information. Testing these before counting automorphisms prevents misapplying finite Galois theorems to a merely related field extension. Classification does not itself compute a Galois group.[ref-abaae3624799][ref-0c60951d7b48]
Abstract Reasoning¶
Fix the base and extension. Verify that the relation is algebraic, that every required conjugate lies in the upper field, and that minimal polynomials are separable. Only then classify the extension as Galois. For finite \(E/F\), compare the automorphism count with the degree or use the fixed-field criterion as a cross-check. For an infinite extension, qualify any subgroup correspondence topologically. Keep these later results separate from the definition.[ref-0c60951d7b48][ref-abaae3624799]
Knowledge Transfer¶
Cyclotomic number fields and finite-field towers use different automorphisms but share the same base/extension, normality and separability test.[ref-7d3071c0783c][ref-6222a7c08275] The broader idea of structure-preserving transformations relates to the Symmetry Prime, and the subfield inclusion relates to Embedding. Those broad patterns do not replace the field-theoretic conditions; neither is asserted as a strict parent of this whole extension type.
Example¶
For \(\mathbb Q(\zeta_5)/\mathbb Q\), the upper field splits \(X^5-1\) and characteristic zero supplies separability; the Galois group is \((\mathbb Z/5\mathbb Z)^\times\) of order four. For \(\mathbb F_8/\mathbb F_2\), the upper field splits \(X^8-X\), whose derivative is \(-1\); Frobenius \(x\mapsto x^2\) generates the order-three Galois group. Mapped back: each case specifies an algebraic upper field and base, has complete splitting and distinct roots, and yields a finite automorphism diagnostic, although the fields and groups differ.[ref-7d3071c0783c][ref-6222a7c08275]
Relationships to Other Abstractions¶
Current abstraction Galois Extension Domain-specific
Parents (1) — more general patterns this builds on
-
Galois Extension is a kind of Field Extension Domain-specific
Every Galois extension is a field extension, with normality and separability adding strict conditions relative to its base.
Hierarchy path (1) — routes to 1 parentless root
- Galois Extension → Field Extension
Neighborhood in Abstraction Space¶
Galois Extension sits in a sparse region of the domain-specific corpus (78th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Field Extensions & Galois-Theoretic Structures (19 abstractions)
Nearest neighbors
- Galois Theory — 0.84
- Algebraic Extension — 0.84
- Norm Form — 0.83
- Cyclic Algebra — 0.82
- Ternary Quartic — 0.82
Computed from structural-signature embeddings · 2026-10-17
Not to Be Confused With¶
- Field Extension: the broader relation, which need not be normal or separable.[^ref-0c60951d7b48]
- Splitting Field: normal, but not automatically separable when the defining polynomial is inseparable.[^ref-abaae3624799]
- Galois Theory: the framework of automorphism groups and correspondence theorems.[^ref-abaae3624799] This entry classifies the extension type.
- Separable but nonnormal: \(\mathbb Q(\sqrt[3]{2})/\mathbb Q\) is excluded because it lacks the nonreal conjugate roots.[^ref-abaae3624799]
- Normal but inseparable: \(\mathbb F_p(T)/\mathbb F_p(T^p)\) is excluded by inseparability.[^ref-abaae3624799]
References¶
[^ref-0c60951d7b48]: The Stacks Project, Fields Section 9.21 Galois theory, Definition 9.21.1, Lemma 9.21.2, Definition 9.21.3, Lemma 9.21.6 and Theorem 9.21.7. The printed page heading is “9.21 Galois theory” within Fields. Author-maintained mathematical reference. Definition and finite theorems are cited at their respective scopes; its note after Definition 9.21.3 flags the topology needed for infinite extensions. [^ref-abaae3624799]: Milne, J. S. (2022), Fields and Galois Theory, version 5.10 dated September 2022, Example 3.8, Definition 3.9, Theorem 3.10, Proposition 4.23, Lemma 5.9, Theorem 5.10 and Theorem 7.13. Author-maintained full course monograph. Definition 3.9 is finite-scope; Theorem 7.13 concerns infinite extensions and closed subgroups. [^ref-7d3071c0783c]: Brian Conrad, Math 210B Galois group of cyclotomic fields over Q, §1 opening remarks and §2 Theorem 2.1. The printed heading is “Math 210B. Galois group of cyclotomic fields over Q”. Original Stanford mathematics handout; its group identification is over \(\mathbb Q\). [^ref-6222a7c08275]: Andrew V. Sutherland, MIT 18.782 Introduction to Arithmetic Geometry, Fall 2013 Lecture 3, §3.2, printed and PDF p.2. Original lecture notes for the finite-field splitting-field and Frobenius example.