Past exam of the mathematics course of the University of Cambridge / 2014 / iii / Paper 24 / 3 / i

Table of contents
- Solution i

Solution

The geometric sum gives

\frac{1 - ζ _{p}^{i}}{1 - ζ _{p}} = 1 + ζ_{p} + \dots + ζ_{p}^{i - 1} \equiv i (mod π_{K}) .

Since

Φ_{p} (1) = p

, its factorization at the nonidentity

p

th roots of unity yields

p = \prod_{i = 1}^{p - 1} (1 - ζ_{p}^{i}) = π_{K}^{p - 1} w, w = \prod_{i = 1}^{p - 1} \frac{1 - ζ _{p}^{i}}{1 - ζ _{p}} .

Each factor is a unit, and Wilson theorem gives

w \equiv (p - 1)! \equiv - 1 (mod π_{K})

u = - w^{- 1}

. Then

u

is a principal unit and

π_{K}^{p - 1} = - p u, u \in 1 + π_{K} O_{K} .

The minus sign comes from the product of the nonzero elements of the residue field, not from an arbitrary choice of uniformizer.

 Ancestors (10)

 View article source

 Discussion (0)

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.

  See all articles in the same topic Create my own version