Power Gauss sum over a prime field
ID: power-gauss-sum-over-a-prime-field
For in the finite field , put . The multiplicative group of a finite field is cyclic, and character orthogonality expresses the number of th roots of as . The trivial character contributes , cancelling the term. Each of the remaining Gauss sums of Dirichlet characters has modulus , by the prime-field character Gauss sum identity. Consequently .
New to topics? Read the docs here!