Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2007/iii/paper-28/2/b/solution
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 28 2 b Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
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 isIt 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!