PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Revision difference : Hilbert Theorem 90
Version 2 Version 1
Let $L/K$ be a finite Galois extension with Galois group $G = \operatorname{Gal}(L/K)$. Then the first Galois cohomology group $H^1(G, L^*)$ is 0. Let $L/K$ be a finite Galois extension with Galois group $G = \operatorname{Gal}(L/K)$. Then the first Galois cohomology group $H^1(G, L^*)$ is 0.
A corollary (and the actual result that Hilbert called his Theorem 90) is that, if $G$ is cyclic with generator $\sigma$, then $x \in L$ has norm 1 if and only if A corollary (and the actual result that Hilbert called his Theorem 90) is that, if $G$ is cyclic with generator $\sigma$, then $x \in L$ has norm 1 if and only if
$$
x = y/\sigma(y) x = y/\sigma(y)
$$
for some $y \in L$. for some $y \in L$.