Residuo cuadrático

Resíduo cuadrático módulo m, en Matemáticas, particularmente de la teoría de los números se denomina a cualquier entero r primo relativo con m para el que tenga solución la congruencia:

x² ←→ r (mod m)

o lo que es lo mismo cuando r es un cuadrado perfecto módulo m, y que por lo tanto tiene una raíz cuadrada en la aritmética de módulo m. A los enteros que no son congruentes con cuadrados perfectos módulo m se les denomina no-residuos cuadráticos. En adelante nos referimos a menudo a ellos como residuos y no-residuos.

Definición

Para todo b tal que (b,m) = 1, b es es nombrado residuo cuadrático m si la congruencia t² ←→ b (mod m) posee una solución

Ejemplo

Cuando el módulo es 13, los residuos son: 1, 3, 4, 9, 10 y 12, y los no residuos 2, 5, 6, 7, 8, y 11. En general para determinar cuáles son los residuos cuadráticos para un módulo dado, basta con determinar los restos de dividir por m a los cuadrados perfectos de los enteros primos con m y menores o iguales a m/2.

En el estudio de los residuos cuadráticos es conveniente limitarse al caso en el que el módulo se un primo racional p, ya que entonces tenemos un comportamiento mucho más sencillo, y muchas propiedades de los residuos para módulos generales pueden derivarse de este caso usando el teorema chino del resto, y otros resultados de la resolución de congruencias. Para estudiar este caso es muy conveniente el uso del símbolo de Legendre, y de su extensión el símbolo de Jacobi.

Propiedades

Los residuos cuadráticos tienen varias propiedades muy sencillas de demostrar, por ejemplo el producto de dos residuos o de dos no--residuos es un residuo y el producto de un residuo y de un no-residuo es un no-residuo. Por ejemplo en las listas del ejemplo anterior siempre que multipliquemos dos elementos de la misma lista obtenemos un número en la primera lista 5 x 6 = 30 que es congruente con 4, que es un elemento de la primera lista. Mientras que si multiplicamos un elemento de la primera lista por uno de la segunda obtenemos siempre un elemento de la segunda lista 9x7 = 63 que es congruente con 11 que está en la segunda lista).

1. Si p es primo, la mitad de las p-1 clases residuales módulo p son residuos y la otra mitad no-residuos. En el ejemplo anterior la mitad se encuentran en la primera lista y la otra mitad en la segunda, de acuerdo con la propiedad enunciada.

2. -1 es un residuo de todos los primos de la sucesión 4k+1 y es un no-residuo de todos los primos de la sucesión 4k+3

3. 2 es un residuo de todos los primos de las sucesiones 8k+1 y 8k+7 y es un no-residuo de todos los demás primos impares.

4. Si p y q son primos impares, y ninguno de ellos pertenece a la sucesión 4k+1 entonces p es un residuo módulo q si y sólo s q es un no-residuo módulo p. Si por otro lado cualquiera de los dos, o ambos, pertenecen a la sucesión 4k+1 entonces p es un residuo módulo q si y sólo si q es un residuo módulo p.

A esta última propiedad se le conoce como la ley de reciprocidad cuadrática, y es uno de los teoremas más importantes de la teoría elemental de números.

Casos abiertos y supuestos

Uno de los problemas abiertos más importantes sobre residuos cuadráticos es determinar el orden de magnitud del mínimo no-residuo cuadrático positivo n(p). El mejor resultado conocido, debido a Burguess, asegura que la expresión

n(p)/p^0.25Sq(e)

está acotada para todos los primos, y se conjetura que el resultado podría seguir siendo cierto si sutituimos el denominador por .log²p

Ampliaciones

Al igual que de residuos cuadráticos, podemos hablar de residuos cúbicos, residuos bicuadráticos y en general de residuos potenciales.

Fuente

• Niven y Zuckerman: Introducción a la teoría de los números
• Burton W. Jones: Teoría de los números