Galois theory: Hilbert's theorem 90

Galois theory: Hilbert's theorem 90

by Richard E Borcherds

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

Keywords

Hilbert's theorem 90Galois cohomologyArtin's lemmaNoether's theoremcyclic extensions

Summary

This graduate-level lecture on Galois theory focuses on Hilbert’s theorem 90 and its generalization by Emmy Noether. The lecturer begins by explaining the historical origin of the theorem’s name, noting that it was not first proved by Hilbert but appears in earlier work of Kummer. He then states the original version for cyclic extensions: if the norm of an element alpha is 1, then alpha can be expressed as beta divided by sigma(beta) for some beta, where sigma generates the Galois group. The proof uses a clever averaging argument over the group generated by alpha times sigma, and relies on Artin’s lemma on the linear independence of characters. The lecturer proves Artin’s lemma in detail. He then gives an application to Kummer extensions, showing how the theorem recovers the fact that cyclic extensions containing a primitive p-th root of unity are generated by a p-th root. He also shows how Artin’s lemma gives a short proof that the trace is non-zero for Galois extensions, implying the non-degeneracy of the trace bilinear form. The second half of the lecture introduces Noether’s generalization for arbitrary finite Galois extensions, which states that every 1-cocycle is a 1-coboundary. The lecturer explains the motivation for the cocycle condition, interpreting it as a twisted action of the Galois group on the multiplicative group of the field. He proves Noether’s theorem using the same averaging technique and Artin’s lemma. He then shows that Noether’s theorem implies the original Hilbert theorem 90. Finally, he discusses the broader significance of 1-cocycles in classifying algebraic structures over non-algebraically closed fields, such as Lie algebras and elliptic curves.

267 words

Critical Evaluation

Value of the Information & Strength of the Argument

The lecture provides deep insights into Hilbert’s theorem 90, presenting both the original cyclic version and Noether’s general version. The argumentation is rigorous and well-structured, with complete proofs. The lecturer motivates each step and clarifies potential ambiguities, such as the distinction between pointwise multiplication and composition of characters. The use of Artin’s lemma is elegantly demonstrated, and the applications to Kummer extensions and the trace form illustrate the theorem’s power. The explanation of 1-cocycles as twisted actions is particularly illuminating, and the discussion of their role in classification problems adds significant value.

Scientific Rigor, Source Quality, Title Accuracy

The lecture is mathematically rigorous, with precise definitions and proofs. The sources cited are the original works of Hilbert and Noether, as well as Artin’s lemma, which are standard references in the field. The title accurately reflects the content, focusing on Hilbert’s theorem 90 and its generalization. The lecturer also mentions Kummer’s earlier work, providing historical context. The presentation is suitable for a graduate-level audience, and the proofs are complete and correct.

179 words

Title / Content Match

The title accurately reflects the content, which focuses on Hilbert's theorem 90 and its generalization by Noether.

Quality & Reliability

9/10

The lecture is mathematically rigorous, with complete proofs and clear explanations. The content is accurate and well-structured, appropriate for a graduate-level course.

Key Moments

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

Cited Sources

  • Hilbert's Zahlbericht — Original report by Hilbert containing theorem 90
  • Noether's generalization of Hilbert's theorem 90 — Generalization to arbitrary finite Galois extensions
  • Artin's lemma on linear independence of characters — Key lemma used in the proof

Concurring Sources

Contribution & Novelties

The lecture provides a clear and rigorous exposition of Hilbert’s theorem 90 and its generalization by Noether, with a focus on the underlying techniques and motivations. The use of Artin’s lemma is elegantly demonstrated, and the interpretation of 1-cocycles as twisted actions is particularly insightful. The discussion of applications to Kummer extensions and classification problems adds depth.

Pour aller plus loin :

  • Group cohomology — Provides the general framework for cocycles and coboundaries.
  • Kummer theory — Related to cyclic extensions and roots of unity.
  • Noether’s theorem — Background on Emmy Noether and her contributions.
  • Artin’s lemma — The lemma on linear independence of characters.

104 words

Radar Profile

The radar profile shows high scores across all dimensions, indicating a well-balanced and rigorous lecture. The quantitative and qualitative information are both strong, and the technical level is appropriate for a graduate course. The overall reliability is high, reflecting the accuracy and completeness of the content.

Reliability 9/10