Galois theory: Separable extensions

Galois theory: Separable extensions

by Richard E Borcherds

Formal & Physical Sciences Mathematics PBMathematicsPBFAlgebra
🎙 Richard E Borcherds 👥 82K 📅 January 1, 2021 ⏱ 13 min 👁 14K 📄 lecture 🧭 2026-08-17
Available in: English (current) Français

Keywords

separableinseparablepurely inseparablecharacteristic pGalois group

Summary

This lecture, part of a graduate course on Galois theory, defines separable extensions of fields. A polynomial is separable if it has no multiple roots in an algebraic closure, equivalent to being coprime with its derivative. An element is separable over a field if it is a root of a separable polynomial, and an extension is separable if all its elements are. The lecture contrasts separable and normal extensions, noting that Galois extensions are both. Examples of separable extensions include those over characteristic zero and finite fields. Non-separable extensions occur in characteristic p, with an example involving rational functions over a field of characteristic p. Purely inseparable extensions are introduced as the opposite, where every element is a root of a polynomial of the form x^{p^n} - a. Any algebraic extension can be decomposed into a separable and a purely inseparable part. The lecture concludes that Galois theory typically focuses on separable extensions, as purely inseparable extensions have trivial Galois groups.

161 words

Critical Evaluation

Value of the Information & Strength of the Argument

The lecture provides a clear and rigorous introduction to separable extensions, a fundamental concept in Galois theory. The argumentation is solid: definitions are precise, and key results are stated with proofs or convincing justifications. The example of a non-separable extension in characteristic p is particularly illuminating, as it illustrates the subtlety that arises in positive characteristic. The discussion of purely inseparable extensions and the decomposition of algebraic extensions adds depth, showing how separable extensions fit into the broader theory. The lecturer’s expertise is evident, and the content is well-suited for a graduate-level audience.

Scientific Rigor, Source Quality, Title Accuracy

The lecture is mathematically rigorous, with careful definitions and proofs. The content is self-contained, building on previous lectures in the series. The title accurately reflects the content, which is specifically about separable extensions. The lecture does not cite external sources, but this is typical for a lecture; the material is standard and presented accurately. The lecturer is a well-known mathematician, adding to the credibility. The structure is logical, progressing from definitions to examples and then to the role of separability in Galois theory.

191 words

Title / Content Match

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

Quality & Reliability

9/10

The lecture is part of a graduate course by a renowned mathematician, providing rigorous definitions and examples. The content is mathematically sound and well-structured, with clear explanations and proofs.

Key Moments

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

Contribution & Novelties

This lecture provides a clear and rigorous exposition of separable extensions, a key concept in Galois theory. It is particularly valuable for its explanation of why non-separable extensions are rare and its introduction of purely inseparable extensions. The lecture is part of a comprehensive graduate course, making it a useful resource for students.

Pour aller plus loin :

90 words

Radar Profile

The radar profile shows high scores across all dimensions, reflecting the lecture's strong technical depth, clear presentation, and reliable content. The balance between information quantity and quality is excellent, making it a valuable resource for advanced students.

Reliability 9/10