Hilbert Theorem 90
Let be a finite Galois extension with Galois group
. The modern formulation of Hilbert’s Theorem 90 states that the first Galois cohomology group is 0.
The original statement of Hilbert’s Theorem 90 differs somewhat from the modern formulation given above, and is nowadays regarded as a corollary of the above fact. In its original form, Hilbert’s Theorem 90 says that if is cyclic with generator , then an element has norm 1 if and only if
for some . Note that elements of the form are obviously contained within the kernel of the norm map; it is the converse that forms the content of the theorem.