derivation of Gauss sum up to a sign


The Gauss sum can be easily evaluated up to a sign by squaring the original series

g12⁢(χ) =∑s∈ℤ/p⁢ℤ(sp)⁢e2⁢π⁢i⁢s/p⁢∑t∈ℤ/p⁢ℤ(tp)⁢e2⁢π⁢i⁢t/p
=∑s,t∈ℤ/p⁢ℤ(s⁢tp)⁢e2⁢π⁢i⁢(s+t)/p
and summing over a new variable n=s-1⁢t(modp)
=∑s,n∈ℤ/p⁢ℤ(np)⁢e2⁢π⁢i⁢(s+n⁢s)
=∑n∈ℤ/p⁢ℤ(np)⁢∑s∈ℤ/p⁢ℤe2⁢π⁢i⁢s⁢(n+1)
=∑n∈ℤ/p⁢ℤ(np)(q[n≡-1(modp)]-1)
=p⁢(-1p)-∑n∈ℤ/p⁢ℤ(np)
=p⁢(-1p)={p,if⁢p≡1(mod4),-p,if⁢p≡3(mod4).

References

  • 1 Harold Davenport. Multiplicative Number Theory. Markham Pub. Co., 1967. http://www.emis.de/cgi-bin/zmen/ZMATH/en/quick.html?type=html&an=0159.06303Zbl 0159.06303.
Title derivation of Gauss sum up to a sign
Canonical name DerivationOfGaussSumUpToASign
Date of creation 2013-03-22 13:39:45
Last modified on 2013-03-22 13:39:45
Owner bbukh (348)
Last modified by bbukh (348)
Numerical id 8
Author bbukh (348)
Entry type Derivation
Classification msc 11L05