Galois theory: Primitive elements

Item: Galois theory: Primitive elements
Rating: 5
Author: PostSingularity Institute

by Richard E Borcherds

Formal & Physical Sciences Mathematics PBMathematics PBFAlgebra

🎙 Richard E Borcherds 👥 82K 📅 January 7, 2021 ⏱ 15 min 👁 11K 📄 lecture 🧭 2026-08-17

Available in: English (current) Français

Keywords

primitive elementseparable extensionfinite fieldGalois groupFrobenius

Summary

This lecture from a graduate course on Galois theory addresses the existence of primitive elements in finite field extensions. The speaker defines a primitive element as a single generator of a field extension over a base field. The main theorem states that every finite separable extension has a primitive element, while inseparable extensions may not. The proof for infinite fields uses the fact that a finite-dimensional vector space over an infinite field cannot be the union of finitely many proper subspaces, combined with the finiteness of intermediate extensions in a separable extension. For finite fields, the proof relies on the cyclicity of the multiplicative group of a finite field. The lecture also provides an example of a separable extension (Q(√2,√3) over Q) and a counterexample of an inseparable extension (F_p(t,u) over F_p(t^p,u^p)) that lacks a primitive element. The presentation is rigorous and assumes prior knowledge of Galois theory, including normal extensions and Galois groups.

154 words

Critical Evaluation

Value of the Information & Strength of the Argument

The lecture provides a clear and rigorous proof of the primitive element theorem, distinguishing between the infinite and finite field cases. The argumentation is solid, building on previously established results in Galois theory. The counterexample for inseparable extensions effectively illustrates the necessity of separability. The value lies in the completeness of the proof and the pedagogical clarity, though it assumes a strong background in algebra.

Scientific Rigor, Source Quality, Title Accuracy

The lecture is mathematically rigorous, with no reliance on external sources; it is based on standard algebraic results. The title accurately reflects the content. The presentation is well-structured, with a logical flow from definitions to proofs and examples. No comments were provided for analysis.

124 words

Title / Content Match

The title accurately reflects the content, which focuses on primitive elements in field extensions.

Quality & Reliability

9/10

The lecture is mathematically rigorous, presenting a complete proof of the primitive element theorem for separable extensions and a counterexample for inseparable extensions. The reasoning is clear and follows standard algebraic methods.

Key Moments

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

Contribution & Novelties

The lecture provides a self-contained proof of the primitive element theorem, clearly separating the infinite and finite field cases. It also highlights the failure for inseparable extensions with a concrete example. The pedagogical approach is effective for graduate students.

Pour aller plus loin :

Primitive element theorem — General reference for the theorem.
Separable extension — Definition and properties.
Finite field — Cyclicity of multiplicative group.

66 words

Radar Profile

The radar profile shows high scores in technical level and reliability, with slightly lower but still strong scores in information quantity and quality. This indicates a dense, rigorous lecture suitable for advanced students.

Reliability 9/10