Proving Cyclic Extension of Finite Galois Group L/F

  • Thread starter Thread starter PIM
  • Start date Start date
  • Tags Tags
    Cyclic Extension
PIM
Messages
2
Reaction score
0

Homework Statement


Let K be a field, and let K' be an algebraic closure of K. Let sigma be
an automorphism of K' over K, and let F be the fix field of sigma. Let L/F
be any finite extension of F.


Homework Equations



Show that L/F is a finite Galois extension whose
Galois group Gal(L/F) is cyclic.

The Attempt at a Solution

 
Physics news on Phys.org
I thought about the prime subfiled of F, which is isomorphic to F_p or Q, and tried to prove that L is finite Galois over this prime subfield. (but failed) if I could show this, then it's obvious that L is finite galois over F since F is an intermediate field.

But for the cylic galois group, I still haven't got any idea.
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
Back
Top