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!