Galois theory: Infinite Galois extensions

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

by Richard E Borcherds

Formal & Physical Sciences Mathematics PBMathematics PBFAlgebra

🎙 Richard E Borcherds 👥 82K 📅 January 18, 2021 ⏱ 36 min 👁 5K 📄 lecture 🧭 2026-08-17

Available in: English (current) Français

Keywords

Galois theoryinfinite extensionsprofinite groupsKrul topologyabsolute Galois group

Summary

This lecture, part of a graduate course on Galois theory, extends the classical Galois correspondence to infinite algebraic extensions. The speaker defines infinite Galois extensions as separable and normal algebraic extensions, equivalent to being the splitting field of a set of separable polynomials. The main challenge is that the Galois group is no longer finite, so it is equipped with the Krull topology, making it a profinite group (an inverse limit of finite groups). The fundamental theorem of Galois theory is then adapted: intermediate fields correspond to closed subgroups of the Galois group. The lecture provides two key examples: the absolute Galois group of a finite field, which is the profinite completion of the integers, isomorphic to the product of all p-adic integers; and the Galois group of the cyclotomic extension of the rationals, which decomposes into units of p-adic integers. The speaker also discusses the obstruction to lifting extensions, illustrating with the impossibility of a cyclic extension of order 4 containing the Gaussian integers. This leads to the open problem of the absolute Galois group of the rationals and the Shafarevich conjecture.

183 words

Critical Evaluation

Value of the Information & Strength of the Argument

The lecture provides a rigorous and comprehensive treatment of infinite Galois extensions, building on finite case and introducing the Krull topology. The argumentation is solid, with clear proofs of the main theorems and illustrative examples. The value lies in its clarity and depth, making advanced concepts accessible to graduate students. The speaker’s expertise ensures accuracy and relevance.

Scientific Rigor, Source Quality, Title Accuracy

The lecture is scientifically rigorous, with precise definitions and proofs. No external sources are cited, but the content is standard and well-established. The title accurately reflects the content, which is a focused exposition on infinite Galois extensions. The lecture is part of a structured course, indicating careful preparation.

120 words

Title / Content Match

The title accurately reflects the content, which focuses on extending Galois theory to infinite extensions.

Quality & Reliability

9/10

Lecture by a renowned mathematician, rigorous and well-structured, with clear definitions and proofs. The content is standard and accurate, though no external sources are cited.

Key Moments

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

Contribution & Novelties

The lecture provides a clear and rigorous introduction to infinite Galois extensions, emphasizing the role of the Krull topology and profinite groups. It offers concrete examples that illustrate the theory and highlights open problems, making it valuable for graduate students and researchers.

Pour aller plus loin :

Profinite group — Definition and properties of profinite groups.
Krul topology — The topology on Galois groups.
Inverse limit — Construction used to define profinite groups.
Iwasawa theory — Study of Z_p extensions.
Shafarevich conjecture — Conjecture about the absolute Galois group of Q.

91 words

Radar Profile

The radar profile shows high scores across all dimensions, indicating a well-balanced and reliable lecture with substantial information, strong technical depth, and high credibility.

Reliability 9/10