Galois theory: Discriminants

Item: Galois theory: Discriminants
Rating: 5
Author: PostSingularity Institute

by Richard E Borcherds

Formal & Physical Sciences Mathematics PBMathematics PBFAlgebra

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

Available in: English (current) Français

Keywords

discriminantfield extensiontracebilinear formseparable extension

Summary

This lecture, part of a graduate course on Galois theory, defines the discriminant of a finite field extension and explores its properties and applications. The speaker begins by recalling the discriminant of a symmetric bilinear form on a finite-dimensional vector space, noting that it is well-defined up to multiplication by squares of nonzero elements of the base field. He then applies this to the field extension by using the trace form, which pairs elements a and b as the trace of their product. The main theorem shows that for a separable extension, the discriminant of the extension equals the discriminant of the minimal polynomial of a primitive element, up to squares. This is proven by choosing the basis 1, alpha, …, alpha^(n-1) and expressing the trace matrix as a product of Vandermonde matrices. The lecture then gives applications: using discriminants to show that two cubic fields are not isomorphic (e.g., discriminants -31 and 23), and using the discriminant to determine the ring of algebraic integers in a number field. Specifically, if the discriminant is square-free, the ring generated by the primitive element is the full ring of integers. The lecture concludes with a preview of Hilbert’s Theorem 90.

198 words

Critical Evaluation

Value of the Information & Strength of the Argument

The lecture provides a clear and rigorous exposition of the discriminant of a field extension, connecting it to the discriminant of a polynomial. The argumentation is solid: the speaker defines the discriminant of a bilinear form, shows its dependence on basis, and then proves the key identity for field extensions. The applications illustrate the utility of the concept in distinguishing fields and determining rings of integers. The presentation is logical and builds on previous lectures, making it valuable for students of Galois theory.

Scientific Rigor, Source Quality, Title Accuracy

The lecture is mathematically rigorous, with precise definitions and proofs. The speaker acknowledges and corrects errors in the accompanying notes. No external sources are cited, but the content is based on standard results in algebra. The title accurately reflects the content, focusing on discriminants in the context of Galois theory. The lecture is suitable for a graduate-level audience and does not oversimplify the material.

162 words

Title / Content Match

The title accurately reflects the content, focusing on discriminants in Galois theory.

Quality & Reliability

9/10

Lecture by a renowned mathematician, rigorous definitions and proofs, corrections provided, but no external sources cited.

Key Moments

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

Contribution & Novelties

The lecture provides a clear and self-contained treatment of the discriminant of a field extension, linking it to the discriminant of a polynomial and demonstrating its applications in algebraic number theory. It is particularly useful for students learning Galois theory.

Pour aller plus loin :

Discriminant (Wikipedia) — General concept of discriminant for polynomials and forms.
Algebraic number field (Wikipedia) — Background on number fields and their discriminants.
Hilbert’s Theorem 90 (Wikipedia) — The theorem previewed at the end of the lecture.

82 words

Radar Profile

The radar profile shows high scores in quality, technical level, and reliability, with slightly lower quantity of information due to the focused scope. This indicates a highly rigorous and specialized lecture.

Reliability 9/10