The geometric sum gives
Since , its factorization at the nonidentity th roots of unity yields
Each factor is a unit, and Wilson theorem gives . Set . Then is a principal unit and
The minus sign comes from the product of the nonzero elements of the residue field, not from an arbitrary choice of uniformizer.

Articles by others on the same topic (0)

There are currently no matching articles.