Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2004/iii/paper-27/1/b/solution
Past exam of the mathematics course of the University of Cambridge 2004 iii Paper 27 1 b Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
The shifted cyclotomic polynomial is Eisenstein at : its constant coefficient is , and modulo it is . Thus , is a uniformizer, and for . The automorphisms over send to for .
Since has positive valuation, evaluating an integral formal power series there converges. A unit series has unit constant coefficient and evaluates to a unit. Evaluate the Coleman norm operator identity at :The final equality uses norm fixation and the compatible choice of roots. HenceIn particular, norm fixation of a single Coleman power series produces a norm-compatible sequence of local units.
New to topics? Read the docs here!