Prime-field character Gauss sum identity

ID: prime-field-character-gauss-sum-identity

For a nontrivial Dirichlet character modulo a prime and , set . Substituting in gives . The inner sum is at and otherwise. Since character orthogonality gives , the result is .

New to topics? Read the docs here!