Residuos Cuadráticos

Teoría

La teoría de los residuos cuadráticos trata sobre si las congruencias cuadráticas tienen solución o no. Específicamente, para un entero $a$ y un entero positivo $n$, te preguntas si la congruencia $x^2 \equiv a \pmod n$ tiene solución. Si existe una solución y $\gcd(a, n) = 1$, a $a$ lo llamas un residuo cuadrático módulo $n$; de lo contrario, es un no residuo cuadrático. Aunque puedes hacerte esta pregunta para módulos compuestos, el núcleo de la teoría se enfoca en módulos primos $p$, ya que los casos compuestos casi siempre los puedes construir a partir de los primos usando el Chinese Remainder Theorem y el Hensel's Lemma. Para facilitar este análisis, usas el Legendre Symbol $\left(\frac{a}{p}\right)$, una función aritmética que devuelve $1$, $-1$ o $0$ dependiendo de la naturaleza cuadrática de $a$ módulo $p$.

Este concepto es fundamental en Teoría de Números porque te da restricciones muy fuertes sobre las soluciones enteras de las ecuaciones diofánticas. Por ejemplo, determinar que un número es un no residuo cuadrático módulo algún primo específico es una técnica común para demostrar que una ecuación no tiene soluciones enteras. Además, el comportamiento de los residuos cuadráticos revela una estructura profunda dentro del grupo multiplicativo de los enteros módulo $p$. Los residuos y los no residuos se comportan de forma parecida a los números reales positivos