Galois theory: Normal extensions

Item: Galois theory: Normal extensions
Rating: 5
Author: PostSingularity Institute

by Richard E Borcherds

Formal & Physical Sciences Mathematics PBMathematics PBFAlgebra

🎙 Richard E Borcherds 👥 82K 📅 December 31, 2020 ⏱ 19 min 👁 18K 📄 lecture 🧭 2026-08-17

Available in: English (current) Français

Keywords

normal extensionsplitting fieldalgebraic closureautomorphismGalois group

Summary

This graduate-level lecture on Galois theory defines normal extensions of fields. The lecturer presents three equivalent conditions for an algebraic extension to be normal: (1) every irreducible polynomial over the base field that has one root in the extension splits completely into linear factors there; (2) the extension is the splitting field of some set of polynomials over the base field; (3) the extension is invariant under all automorphisms of an algebraic closure that fix the base field. He proves the equivalence of these conditions. He then provides examples: the extension Q(∛2)/Q is not normal, while Q(∛2, ω)/Q (where ω is a primitive cube root of unity) is normal. He also shows that any degree-2 extension is normal. Finally, he addresses the question of whether normality is transitive, demonstrating with a counterexample (Q ⊂ Q(√2) ⊂ Q(⁴√2)) that a normal extension of a normal extension need not be normal. He explains the subtlety in the proof attempt, distinguishing between an automorphism mapping a field to itself versus fixing it pointwise.

170 words

Critical Evaluation

Value of the Information & Strength of the Argument

The lecture provides a clear and rigorous introduction to normal extensions, a fundamental concept in Galois theory. The value lies in its precise definitions and the careful proof of equivalence of three characterizations, which deepens understanding. The argumentation is solid: each implication is proved logically, and the counterexample to transitivity is well-chosen and thoroughly explained. The lecturer also highlights a common pitfall in reasoning about automorphisms, which is pedagogically valuable.

Scientific Rigor, Source Quality, Title Accuracy

The lecture is mathematically rigorous, with no reliance on external sources; it is based on standard textbook material. The title accurately reflects the content. The presentation is clear and well-structured, suitable for a graduate audience. No comments were provided for analysis.

126 words

Title / Content Match

The title accurately reflects the content, which focuses on normal extensions in Galois theory.

Quality & Reliability

9/10

The lecture is mathematically rigorous, with clear definitions, proofs of equivalence, and a counterexample to a common misconception. The content is standard and accurate.

Key Moments

Markers derived by PSI from the transcript: the creator did not define chapters.

Contribution & Novelties

The lecture provides a clear and rigorous exposition of normal extensions, emphasizing the equivalence of three definitions and the subtlety of transitivity. It is a standard topic, but the presentation is particularly clear and the counterexample is instructive.

Pour aller plus loin :

Galois theory (Wikipedia) — Provides background and context for the lecture.
Splitting field (Wikipedia) — Relevant to the second condition for normality.
Algebraic closure (Wikipedia) — Relevant to the third condition and the proof of equivalence.

79 words

Radar Profile

The radar profile shows high scores across all dimensions, with particularly strong performance in information quality and technical level, reflecting the lecture's rigorous mathematical content and clear exposition.

Reliability 9/10