Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2004/iii/paper-27/1/b/solution

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. Hence
In particular, norm fixation of a single Coleman power series produces a norm-compatible sequence of local units.

New to topics? Read the docs here!