Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2007/iii/paper-28/2/b/solution

For odd , eighth roots of unity have order prime to the residue characteristic. The total ramification criterion for local cyclotomic extensions shows that they generate an unramified extension of degree . More directly, a primitive eighth root in lifts uniquely by Hensel lemma, since the derivative of is a unit at each nonzero root. Its residue has exact order eight, and the Frobenius automorphism acts by . Consequently when and for the other three odd residue classes.
At , the translated cyclotomic polynomial is
It is Eisenstein at two, so the extension has degree four. All primitive eighth roots are odd powers of and already lie in the field; the extension is Galois, and its automorphisms give the full group . Thus

New to topics? Read the docs here!