2.II.18F
Part II, 2007
Let , where is a primitive th root of unity and . Prove that there is an injective group homomorphism .
Show that, if is an intermediate subfield of , then is Galois. State carefully any results that you use.
Give an example where is non-trivial but is not surjective. Show that is surjective when and is a prime.
Determine all the intermediate subfields of and the automorphism groups . Write the quadratic subfield in the form for some .