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
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] proof of additive form of Hilbert's theorem 90 (Proof)

Set $n=[L:K]$

First, let there be $x\in L$ such that $y=x-\sigma(x)$ Then $$\operatorname{Tr}(y)=(x-\sigma(x))+(\sigma(x)-\sigma^2(x))+\cdots +(\sigma^{n-1}(x)-\sigma^n(x))=0$$ because $x=\sigma^n(x)$

Now, let $\operatorname{Tr}(y)=0$ Choose $z\in L$ with $\operatorname{Tr}(z)\neq 0$ Then there exists $x\in L$ with $$x\operatorname{Tr}(z)=y\sigma(z)+(y+\sigma(y))\sigma^2(z)+\cdots +(y+\sigma(y)+\cdots+\sigma^{n-1}(y))\sigma^{n-1}(z).$$ Since $\operatorname{Tr}(z)\in K$ we have $$\sigma(x)\operatorname{Tr}(z)= \sigma(y)\sigma^2(z)+(\sigma(y)+\sigma^2(y))\sigma^3(z)+\cdots +(\sigma(y)+\cdots +\sigma^{n-2})\sigma^{n-1}(z)+(\sigma(y)+\cdots +\sigma^{n-1}(y))\sigma^n(z).$$ Now remember that $\operatorname{Tr}(y)=0$ We obtain \begin{eqnarray*} (x-\sigma(x))\operatorname{Tr}(z)&=&y\sigma(z)+ (y+\sigma(y))\sigma^2(z)+\cdots +(y+\sigma(y)+\cdots+\sigma^{n-1}(y))\sigma^{n-1}(z)\\ &&-\sigma(y)\sigma^2(z)-(\sigma(y)+\sigma^2(y))\sigma^3(z)-\cdots -(\sigma(y)+\cdots +\sigma^{n-2})\sigma^{n-1}(z)+yz\\ &=&y\operatorname{Tr}(z), \end{eqnarray*}so $y=x-\sigma(x)$ as we wanted to show.




"proof of additive form of Hilbert's theorem 90" is owned by mathwizard.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

This is version 1 of proof of additive form of Hilbert's theorem 90, born on 2005-06-21.
Object id is 7179, canonical name is ProofOfAdditiveFormOfHilbertsTheorem90.
Accessed 1440 times total.

Classification:
AMS MSC12F10 (Field theory and polynomials :: Field extensions :: Separable extensions, Galois theory)
 11R32 (Number theory :: Algebraic number theory: global fields :: Galois theory)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)