I only know of one proof of Hilbert 90, which is very smart if not magical. See for example <http://hilbertthm90.wordpress.com/2008/12/11/hilberts-theorem-90the-math/>


Does anyone know of a more intuitive proof or know a good way to view the proof?


I have accepted the answer by Emerton, great thanks as well to David Speyer and Brian Conrad.



Is there a natural way to view the proof of Hilbert 90?
Here is a proof of Hilbert's Theorem 90 in the case of cyclic extensions which
I think is fairly conceptual. The key point (which is also at the heart of Grothendieck's 
very general version in terms of flat descent) is that if we want to verify that
a linear transformation has a certain eigenvalue (in our particular case, the eigenvalue
 of interest will be 1), we can do so after extending scalars.


The set-up: we have a cyclic extension $L/K$, with Galois group generated by $\sigma$,
and an element $a \in L$ of norm 1. We want to find $b \in L$ such that $a = b/\sigma(b)$.
As in David Speyer's answer, rewrite this as the equation $a\sigma(b) = b$.


The map $b \mapsto a\sigma(b)$ is a $K$-linear transformation of the $K$-vector space
$L$, and we want to show that it has a fixed point, i.e. that it has $1$ as an eigenvector.
Well, we can verify this after extending scalars (the eigenvectors of a matrix don't 
change if we enlarge the ground field), and so we tensor up with $L$ over $K$.


Now $L\otimes\_K L \cong L\times\cdots \times L$, an isomorphism of $L$-algebras,
and under this isomorphism the action of $\sigma$ on the left just becomes the cyclic permutation of factors on the right. (To see the isomorphism, write $L = K(\alpha),$
as we may by the primitive element theorem. If $f(X)$ is a minimal polynomial of 
$\alpha$ over $K$, then $L \cong K[X]/f(X),$ and so $L\otimes\_K L \cong L[X]/f(X).$
But over $L$, the polynomial $f(X)$ splits as $f(X) = (X-\alpha\_1)\cdots (X-\alpha\_n),$
where the $\alpha\_i$ are all the conjugates of $\alpha$. Choosing the labelling
appropriately, we may assume that $\alpha\_i = \sigma^{i-1}(\alpha)$. Then
$L[X]/f(X) = L[X]/(X-\alpha\_1)\cdots (X-\alpha\_n) \cong L\times\cdots \times L,$
and $\sigma$ does indeed just permute the factors.)


Under the isomorphism $L\otimes\_K L \cong L\times\cdots \times L,$
the base-change of our linear transformation $b \mapsto a \sigma(b)$ is given by
$(b\_1,\ldots,b\_n) \mapsto (a b\_n, \sigma(a) b\_1, \ldots, \sigma^{n-1}(a) b\_{n-1}).$
This transformation has the obvious non-zero fixed vector
$(1,\sigma(a),\sigma(a)\sigma^2(a),\ldots,\sigma(a)\ldots\sigma^{n-1}(a)).$
(Remember that Norm$(a) = 1$, and so the last entry is also just $a^{-1}$.)


Thus our original linear transformation (before extending scalars) has a non-zero fixed vector as well,
as required.


How does this relate to Brian Conrad's comment? Well, the preceding argument
generalizes massively to Grothendieck's theory of faithfully flat descent, which
in particular shows that any quasi-coherent sheaf in the flat topology in fact
arises from a Zariski sheaf. That may sound quite complicated, but what the argument
amounts to is precisely what we used in the preceding argument: If $A \rightarrow B$
is a faithfully flat map of rings, and we want to study the "spectral theory"
of a linear operator on an $A$-module, we can do so after extending scalars to $B$.
(Of course, one has to be precise about what "spectral theory" means when we are
working over rings that aren't fields. This is where faithfully flat comes in:
it is the condition that extending scalars from $A$ to $B$ is exact, and takes 
non-zero modules to non-zero modules; this turns out to be exactly the right
generalization of the more naive notion we used above, that extending scalars
preserves the eigenvalues of a matrix.)


Finally, here is an aside about the relation with Galois cohomology:


In cohomological language, Hilbert's Theorem 90 is the statement that $H^1(Gal(L/K), L^{\times}) = 0$
for any finite Galois extension of fields $L/K$. To recover the statement involving
norms, one proceeds as follows: if $Gal(L/K)$ is cyclic, with generator $\sigma$, 
and the norm of $a \in L$ equals 1, 
then $\sigma \mapsto a$ determines a $1$-cocyle on $Gal(L/K)$ with values in $L^{\times}$.
By the vanishing of $H^1$, this must be a coboundary, which means that there exists $b$
such that $a = \sigma(b)/b.$


The cohomological statement (which, as Brian Conrad pointed out, is still a very special
case of Grothendieck's general theory) can be proved by the same extension of scalars argument as above.


