En teoría de números , las sumas gaussianas cuadráticas son sumas finitas determinadas de raíces de la unidad. Una suma gaussiana cuadrática se puede interpretar como una combinación lineal de los valores de la función exponencial compleja con coeficientes dados por un carácter cuadrático; para un carácter general, se obtiene una suma gaussiana más general . Estos objetos reciben su nombre de Carl Friedrich Gauss , quien los estudió extensamente y los aplicó a las leyes de reciprocidad cuadrática , cúbica y bicuadrática .
Definición
Para un número primo impar p y un entero a , la suma cuadrática de Gauss g ( a ; p ) se define como
donde es una raíz p -ésima primitiva de la unidad , por ejemplo . De manera equivalente,
Para un divisible por p , y tenemos y por lo tanto
Para un no divisible por p , tenemos , lo que implica que
dónde
es la suma de Gauss definida para cualquier carácter χ módulo p .
Propiedades
- El valor de la suma de Gauss es un entero algebraico en el p -ésimo campo ciclotómico .
- La evaluación de la suma de Gauss para un entero a no divisible por un primo p > 2 se puede reducir al caso a = 1 :
- El valor exacto de la suma de Gauss para a = 1 viene dado por la fórmula: [1]
- Observación
De hecho, la identidad
Fue fácil de demostrar y condujo a una de las pruebas de Gauss de reciprocidad cuadrática . Sin embargo, la determinación del signo de la suma de Gauss resultó considerablemente más difícil: Gauss solo pudo establecerlo después de varios años de trabajo. Más tarde, Dirichlet , Kronecker , Schur y otros matemáticos encontraron otras pruebas.
Sumas de Gauss cuadráticas generalizadas
Sean a , b , c números naturales . La suma gaussiana cuadrática generalizada G ( a , b , c ) se define por
- .
La suma de Gauss cuadrática clásica es la suma g ( a , p ) = G ( a , 0, p ) .
- Propiedades
- La suma de Gauss G ( a , b , c ) depende únicamente de la clase de residuo de a y b módulo c .
- Las sumas de Gauss son multiplicativas , es decir, dados los números naturales a , b , c , d con mcd ( c , d ) = 1 , se tiene
- Esta es una consecuencia directa del teorema del resto chino .
- Se tiene G ( a , b , c ) = 0 si mcd( a , c ) > 1 excepto si mcd( a , c ) divide a b en cuyo caso se tiene
- .
- Por lo tanto, en la evaluación de sumas de Gauss cuadráticas siempre se puede suponer que mcd( a , c ) = 1 .
- Sean a , b , c números enteros con ac ≠ 0 y ac + b pares. Se tiene el siguiente análogo de la ley de reciprocidad cuadrática para sumas de Gauss (aún más generales) [2]
- .
- para cada entero impar m . Los valores de las sumas de Gauss con b = 0 y mcd( a , c ) = 1 se dan explícitamente por
- Aquí ( a/do ) es el símbolo de Jacobi . Se trata de la famosa fórmula de Carl Friedrich Gauss .
- Para b > 0, las sumas de Gauss se pueden calcular fácilmente completando el cuadrado en la mayoría de los casos. Sin embargo, esto falla en algunos casos (por ejemplo, c par y b impar), que se pueden calcular con relativa facilidad por otros medios. Por ejemplo, si c es impar y mcd( a , c ) = 1, se tiene
- donde ψ ( a ) es algún número con 4 ψ ( a ) a ≡ 1 (mod c ) . Como otro ejemplo, si 4 divide a c y b es impar y como siempre mcd( a , c ) = 1 entonces G ( a , b , c ) = 0 . Esto puede, por ejemplo, demostrarse de la siguiente manera: debido a la propiedad multiplicativa de las sumas de Gauss solo tenemos que mostrar que G ( a , b , 2 n ) = 0 si n > 1 y a , b son impares con mcd( a , c ) = 1 . Si b es impar entonces an 2 + bn es par para todo 0 ≤ n < c − 1 . Por el lema de Hensel , para cada q , la ecuación an 2 + bn + q = 0 tiene como máximo dos soluciones en /2 n . [ aclaración necesaria ] Debido a un argumento de conteo, an 2 + bn recorre todas las clases de residuos pares módulo c exactamente dos veces. La fórmula de suma geométrica muestra entonces que G ( a , b , 2 n ) = 0 .
- Si c no es un entero cuadrado, entonces el lado derecho se anula, mientras que el izquierdo no. A menudo, la suma derecha también se denomina suma cuadrática de Gauss.
- se cumple para k ≥ 2 y un número primo impar p , y para k ≥ 4 y p = 2 .
Véase también
Referencias
- ^ M. Murty, S. Pathak, The Mathematics Student Vol. 86, Núms. 1-2, enero-junio (2017), xx-yy ISSN: 0025-5742 https://mast.queensu.ca/~murty/quadratic2.pdf
- ^ Teorema 1.2.2 en BC Berndt, RJ Evans, KS Williams, Sumas de Gauss y Jacobi , John Wiley and Sons, (1998).
- Irlanda; Rosen (1990). Una introducción clásica a la teoría de números moderna . Springer-Verlag. ISBN 0-387-97329-X.
- Berndt, Bruce C.; Evans, Ronald J.; Williams, Kenneth S. (1998). Sumas de Gauss y Jacobi . Wiley and Sons. ISBN 0-471-12807-4.
- Iwaniec, Henryk; Kowalski, Emmanuel (2004). Teoría analítica de números . American Mathematical Society. ISBN 0-8218-3633-1.