Hilbert's Theorem 90

Let L/K be the quadratic extension ${\displaystyle \mathbb {Q} (i)/\mathbb {Q} .}$ The Galois group is cyclic of order 2, its generator ${\displaystyle s}$ acting via conjugation:

${\displaystyle s:c+di\mapsto c-di.}$

An element ${\displaystyle x=a+bi}$ in L has norm ${\displaystyle x}$, i.e. ${\displaystyle x^{2}=a^{2}+b^{2}}$. An element of norm one corresponds to a rational solution of the equation ${\displaystyle a^{2}+b^{2}=1}$ or in other words, a point with rational coordinates on the unit circle. Hilbert's Theorem 90 then states that every such element y of norm one can be parametrized (with integral c, d) as

${\displaystyle y={\frac {c+di}{c-di}}={\frac {c^{2}-d^{2}}{c^{2}+d^{2}}}+{\frac {2cd}{c^{2}+d^{2}}}i}$

which may be viewed as a rational parametrization of the rational points on the unit circle. Rational points ${\displaystyle (x,y)=(a/c,b/c)}$ on the unit circle ${\displaystyle x^{2}+y^{2}=1}$ correspond to Pythagorean triples, i.e. triples ${\displaystyle (a,b,c)}$ of integers satisfying ${\displaystyle a^{2}+b^{2}=c^{2}.}$

The theorem can be stated in terms of group cohomology: if L^× is the multiplicative group of any (not necessarily finite) Galois extension L of a field K with corresponding Galois group G, then

${\displaystyle H^{1}(G,L^{\times })=\{1\}.}$

Specifically, group cohomology is the cohomology of the complex whose i-cochains are arbitrary functions from i-tuples of group elements to the multiplicative coefficient group, ${\displaystyle C^{i}(G,L^{\times })=\{\varphi :G^{i}\to L^{\times }\}}$, with differentials ${\displaystyle d^{i}:C^{i}\to C^{i+1}}$ given by:

${\displaystyle d^{0}(b)=\phi \ {\text{ with }}\ \phi (\sigma )=b\,\sigma (b)^{-1},\quad d^{1}(\phi )=\psi \ {\text{ with }}\ \psi (\sigma ,\tau )\,=\,\sigma \phi (\tau )\,\phi (\sigma \tau )^{-1}\phi (\sigma ).}$

The triviality of the first cohomology group is equivalent to the 1-cocycles being equal to the 1-coboundaries:

${\displaystyle {\begin{array}{rcl}Z^{1}&=&\{\phi \in C^{1}{\text{ with }}\phi (\sigma \tau )=\phi (\sigma )\,\sigma \phi (\tau )\}\ =\\B^{1}&=&\{\phi \in C^{1}{\text{ with }}\phi (\sigma )=b\,\sigma (b)^{-1},\exists \,b\in L^{\times }\}.\end{array}}}$

For cyclic ${\displaystyle G=\{1,\sigma ,\ldots ,\sigma ^{n-1}\}}$, a 1-cocycle is determined by ${\displaystyle \phi (\sigma )=a\in L^{\times }}$, with ${\displaystyle \varphi (\sigma ^{i})=a\,\sigma (a)\cdots \sigma ^{i-1}(a)}$ and:

${\displaystyle 1=\phi (1)=\phi (\sigma ^{n})=a\,\sigma (a)\cdots \sigma ^{n-1}(a)=N(a).}$

On the other hand, a 1-coboundary is determined by ${\displaystyle \phi (\sigma )=b\,\sigma (b)^{-1}}$. Equating these gives the original version of the Theorem.

A further generalization is to cohomology with non-abelian coefficients: that if H is either the general or special linear group over L, including ${\displaystyle \operatorname {GL} _{1}(L)=L^{\times }}$, then

${\displaystyle H^{1}(G,H)=\{1\}.}$

Another generalization is to a scheme X:

${\displaystyle H_{\text{et}}^{1}(X,\mathbb {G} _{m})=H^{1}(X,{\mathcal {O}}_{X}^{\times })=\operatorname {Pic} (X).}$

There is yet another generalization to Milnor K-theory which plays a role in Voevodsky's proof of the Milnor conjecture.

Let ${\displaystyle L/K}$ be cyclic of degree ${\displaystyle n,}$ and ${\displaystyle \sigma }$ generate ${\displaystyle \operatorname {Gal} (L/K)}$. Pick any ${\displaystyle a\in L}$ of norm

${\displaystyle N(a):=a\sigma (a)\sigma ^{2}(a)\cdots \sigma ^{n-1}(a)=1.}$

By clearing denominators, solving ${\displaystyle a=x/\sigma (x)\in L}$ is the same as showing that ${\displaystyle a\sigma (\cdot ):L\to L}$ has eigenvalue ${\displaystyle 1}$. Extend this to a map of ${\displaystyle L}$-vector spaces

${\displaystyle {\begin{cases}1_{L}\otimes a\sigma (\cdot ):L\otimes _{K}L\to L\otimes _{K}L\\\ell \otimes \ell '\mapsto \ell \otimes a\sigma (\ell ')\end{cases}}}$

The primitive element theorem gives ${\displaystyle L=K(\alpha )}$ for some ${\displaystyle \alpha }$. Since ${\displaystyle \alpha }$ has minimal polynomial

${\displaystyle f(t)=(t-\alpha )(t-\sigma (\alpha ))\cdots \left(t-\sigma ^{n-1}(\alpha )\right)\in K[t],}$

we identify

${\displaystyle L\otimes _{K}L{\stackrel {\sim }{\to }}L\otimes _{K}K[t]/f(t){\stackrel {\sim }{\to }}L[t]/f(t){\stackrel {\sim }{\to }}L^{n}}$

via

${\displaystyle \ell \otimes p(\alpha )\mapsto \ell \left(p(\alpha ),p(\sigma \alpha ),\ldots ,p(\sigma ^{n-1}\alpha )\right).}$

Here we wrote the second factor as a ${\displaystyle K}$-polynomial in ${\displaystyle \alpha }$.

Under this identification, our map

${\displaystyle {\begin{cases}a\sigma (\cdot ):L^{n}\to L^{n}\\\ell \left(p(\alpha ),\ldots ,p(\sigma ^{n-1}\alpha ))\mapsto \ell (ap(\sigma \alpha ),\ldots ,\sigma ^{n-1}ap(\sigma ^{n}\alpha )\right)\end{cases}}}$

That is to say under this map

${\displaystyle (\ell _{1},\ldots ,\ell _{n})\mapsto (a\ell _{n},\sigma a\ell _{1},\ldots ,\sigma ^{n-1}a\ell _{n-1}).}$

${\displaystyle (1,\sigma a,\sigma a\sigma ^{2}a,\ldots ,\sigma a\cdots \sigma ^{n-1}a)}$ is an eigenvector with eigenvalue ${\displaystyle 1}$ iff ${\displaystyle a}$ has norm ${\displaystyle 1}$.

• Hilbert, David (1897), "Die Theorie der algebraischen Zahlkörper", Jahresbericht der Deutschen Mathematiker-Vereinigung (in German), 4: 175–546, ISSN 0012-0456
• Hilbert, David (1998), The theory of algebraic number fields, Berlin, New York: Springer-Verlag, ISBN 978-3-540-62779-1, MR 1646901
• Kummer, Ernst Eduard (1855), "Über eine besondere Art, aus complexen Einheiten gebildeter Ausdrücke.", Journal für die reine und angewandte Mathematik (in German), 50: 212–232, doi:10.1515/crll.1855.50.212, ISSN 0075-4102
• Kummer, Ernst Eduard (1861), "Zwei neue Beweise der allgemeinen Reciprocitätsgesetze unter den Resten und Nichtresten der Potenzen, deren Grad eine Primzahl ist", Abdruck aus den Abhandlungen der Kgl. Akademie der Wissenschaften zu Berlin (in German), Reprinted in volume 1 of his collected works, pages 699–839
• Chapter II of J.S. Milne, Class Field Theory, available at his website .
• Neukirch, Jürgen; Schmidt, Alexander; Wingberg, Kay (2000), Cohomology of Number Fields, Grundlehren der Mathematischen Wissenschaften, 323, Berlin: Springer-Verlag, ISBN 978-3-540-66671-4, MR 1737196, Zbl 0948.11001
• Noether, Emmy (1933), "Der Hauptgeschlechtssatz für relativ-galoissche Zahlkörper.", Mathematische Annalen (in German), 108 (1): 411–419, doi:10.1007/BF01452845, ISSN 0025-5831, Zbl 0007.29501
• Snaith, Victor P. (1994), Galois module structure, Fields Institute monographs, Providence, RI: American Mathematical Society, ISBN 0-8218-0264-X, Zbl 0830.11042