Kummer extensions, Hilbert’s Theorem 90 and judicious expansion

This semester, I am teaching “Algebra II” for the first time. After “Algebra I” which covers standard “Groups, rings and fields”, this follow-up is largely Galois theory. In particular, I have to classify cyclic extensions.

In the simplest case where L/K is a cyclic extension of degree n\geq 1 and K contains all n-th roots of unity (and n is coprime to the characteristic of K), this essentially means proving that if L/K has cyclic Galois group of order n, then there is some b\in L with L=K(b) and b^n=a belongs to K^{\times}.

Indeed, the converse is relatively simple (in the technical sense that I can do it on paper or on the blackboard without having to think about it in advance, by just following the general principles that I remember).

I had however the memory that the second step is trickier, and didn’t remember exactly how it was done. The texts I use (the notes of M. Reid, Lang’s “Algebra” and Chambert-Loir’s delightful “Algèbre corporelle”, or rather its English translation) all give “the formula” for the element b but they do not really motivate it. This is certainly rather quick, but since I can’t remember it, and yet I would like to motivate as much as possible all steps in this construction, I looked at the question a bit more carefully.

As it turns out, a judicious expansion and lengthening of the argument makes it (to me) more memorable and understandable.

The first step (which is standard and motivated by the converse) is to recognize that it is enough to find some element x in L^{\times} such that \sigma(x)=\xi x, where \sigma is a generator of the Galois group G=\mathrm{Gal}(L/K) and \xi is a primitive n-th root of unity in L. This is a statement about the K-linear action of G on L, or in other words about the representation of G on the K-vector space L. So, as usual, the first question is to see what we know about this representation.

And we know quite a bit! Indeed, the normal basis theorem states that L is isomorphic to the left-regular representation of G on the vector space V of K-valued functions \varphi\,:\, G\longrightarrow K, which is given by
(\sigma\cdot \varphi)(\tau)=\varphi(\sigma^{-1}\tau).
(It is more usual to use the group algebra K[G], but both are isomorphic).

The desired equation implies (because G is generated by \sigma) that Kx is a sub-representation of L. In V, we have an explicit decomposition in direct sum
V=\bigoplus_{\chi} K\chi,
where \chi runs over all characters \chi\,:\, G\longrightarrow K (these really run over all characters of G over an algebraic closure of K, because K contains all n-th roots of unity and G has exponent n). So x (if it is to exist) must correspond to some character. The only thing to check now is whether we can find one with the right \sigma eigenvalue.

So we just see what happens (or we remember that it works). For a character \chi\in V such that \chi(\sigma) = \omega, and x\in L^{\times} the element corresponding to \chi under the G-isomorphism L\simeq V, we obtain \sigma(x)=\omega^{-1}x. But by easy character theory (recall that G is cyclic of order n) we can find \chi with \chi(\sigma)=\xi^{-1}, and we are done.

I noticed that Lang hides the formula in Hilbert’s Theorem 90: an element of norm 1 in a cyclic extension, with \sigma a generator of the Galois group, is of the form \sigma(x)/x for some non-zero x; this is applied to the n-th root of unity in L. The proof of Hilbert’s Theorem 90 uses something with the same flavor as the representation theory argument: Artin’s Lemma to the effect that the elements of G are linearly independent as linear maps on L. I haven’t completely elucidated the parallel however.

(P.S. Chambert-Loir’s blog has some recent very interesting posts on elementary Galois theory, which are highly recommended.)

Published by

Kowalski

I am a professor of mathematics at ETH Zürich since 2008.

One thought on “Kummer extensions, Hilbert’s Theorem 90 and judicious expansion”

  1. Given an element $x$, we find an element $y$ with $\sigma(y) = \xi y$ using Fourier theory. We have the cycle $x, \sigma(x), \dots, \sigma^{n-1} x$ on which $\sigma$ acts by cyclic permutation. To get $\sigma$ to act by scalar multiplication we take the Fourier transform – $\sigma$ acts on $\sum_{i=0}^{n-1} \xi^{-ki} \sigma^i(x)$ by multiplication by $\xi^k$.

    The difficult step is to prove that, for some $x$, $\sum_{i=0}^{n-1} \xi^{-i} \sigma^i(x)$ is nonzero. Your argument does that by finding an $x$ such that the $\sigma^i(x)$ are linearly independent – the normal basis theorem. Artin’s Lemma is just the statement that the maps themselves are linearly independent, so the map $x \to \sum_{i=0}^{n-1} \xi^{-i} \sigma^i(x)$ is nonzero and hence has a nonzero element in the image.

Comments are closed.