Gauss Sums and the Pólya–Vinogradov Inequality

Rodrigo Raya 🌐 and Manuel Eberl 🌐

December 10, 2019

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


This article provides a full formalisation of Chapter 8 of Apostol's Introduction to Analytic Number Theory. Subjects that are covered are:

  • periodic arithmetic functions and their finite Fourier series
  • (generalised) Ramanujan sums
  • Gauss sums and separable characters
  • induced moduli and primitive characters
  • the Pólya—Vinogradov inequality


BSD License


Session Gauss_Sums