En matemáticas , la suma de Gauss se entiende como un cierto tipo de sumas finitas de raíces a partir de la unidad , por regla general, escritas en la forma
Aquí la suma se toma sobre todos los elementos r de algún anillo conmutativo finito R , ψ( r ) es el homomorfismo del grupo aditivo R + en el círculo unitario , y χ( r ) es el homomorfismo del grupo de unidades R × en el círculo unitario extendido por 0. Las sumas de Gauss son análogas a las funciones gamma para el caso de campos finitos .
Estas sumas ocurren a menudo en la teoría de números , en particular en las ecuaciones funcionales de las funciones L de Dirichlet .
Carl Friedrich Gauss utilizó las propiedades de las sumas para resolver algunos problemas de teoría de números, en particular las aplicó en una de las demostraciones de la ley de reciprocidad cuadrática . Inicialmente, las sumas de Gauss se entendían como sumas de Gauss cuadráticas , para las cuales R es el campo de residuos módulo p , y χ es el símbolo de Legendre . Para este caso, Gauss demostró que G (χ) = p 1/2 o ip 1/2 cuando p es congruente con 1 o 3 módulo 4, respectivamente.
Una forma alternativa de escribir la suma de Gauss:
La teoría general de las sumas de Gauss se desarrolló a principios del siglo XIX utilizando sumas de Jacobi y sus factores primos en campos circulares .
La importancia de las sumas de Gauss para la teoría de números no se reveló hasta la década de 1920. En ese momento, Hermann Weyl aplicó sumas trigonométricas más generales al estudio de distribuciones uniformes , más tarde llamadas sumas de Weyl. Al mismo tiempo, I. M. Vinogradov usó sumas de Gauss para obtener una estimación superior para el módulo p sin residuos cuadrático mínimo. Las sumas de Gauss permiten establecer una conexión entre dos objetos importantes de la teoría de números: caracteres multiplicativos y aditivos. Las sumas cuadráticas de Gauss están estrechamente relacionadas con la teoría de las funciones θ .
El valor absoluto de las sumas de Gauss generalmente se encuentra usando el teorema de Plancherel para grupos finitos . En el caso de que R sea un campo de p elementos y χ no sea trivial, el valor absoluto es igual a p 1/2 . Calcular el valor exacto de las sumas totales de Gauss no es una tarea fácil.
Suma de Gauss para el carácter de Dirichlet módulo N
Si χ es primitivo entonces
y, en particular, no es igual a cero. Más generalmente, si N 0 es un conductor de un carácter χ y χ 0 es un carácter primitivo de Dirichlet módulo N 0 que induce χ, entonces
donde μ es la función de Möbius .
De esto se deduce que G (χ) es distinto de cero si y solo si N / N 0 no tiene cuadrados y es primo relativo a N 0 .
La relación
donde χ es la conjugación compleja del carácter de Dirichlet.
Si χ′ es un carácter de Dirichlet módulo N ′ tal que N y N ′ son coprimos, entonces