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 is a cyclic extension of degree and contains all -th roots of unity (and is coprime to the characteristic of ), this essentially means proving that if has cyclic Galois group of order , then there is some with and belongs to .
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 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 in such that , where is a generator of the Galois group and is a primitive -th root of unity in . This is a statement about the -linear action of on , or in other words about the representation of on the -vector space . 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 is isomorphic to the left-regular representation of on the vector space of -valued functions , which is given by
(It is more usual to use the group algebra , but both are isomorphic).
The desired equation implies (because is generated by ) that is a sub-representation of . In , we have an explicit decomposition in direct sum
where runs over all characters (these really run over all characters of over an algebraic closure of , because contains all -th roots of unity and has exponent ). So (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 eigenvalue.
So we just see what happens (or we remember that it works). For a character such that , and the element corresponding to under the -isomorphism , we obtain . But by easy character theory (recall that is cyclic of order ) we can find with , and we are done.
I noticed that Lang hides the formula in Hilbert’s Theorem 90: an element of norm in a cyclic extension, with a generator of the Galois group, is of the form for some non-zero ; this is applied to the -th root of unity in . 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 are linearly independent as linear maps on . 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.)