Símbolo de Legendre

Teoría

El Símbolo de Legendre es una función aritmética fundamental en la teoría de números que sirve para determinar si un entero específico es un residuo cuadrático módulo un primo impar $p$. Lo escribimos como $\left(\frac{a}{p}\right)$ y resume si la congruencia $x^2 \equiv a \pmod p$ tiene solución o no. Si la congruencia tiene solución, $a$ es un residuo cuadrático; si no, es un no-residuo cuadrático. El símbolo toma valores en ${0, 1, -1}$, y básicamente funciona como una "función signo" para la aritmética modular en lo que respecta a las raíces cuadradas.

Este concepto es clave en las olimpiadas de matemáticas porque transforma una pregunta cualitativa sobre si algo tiene solución en un cálculo aritmético cuantitativo. En lugar de andar checando todos los cuadrados módulo $p$ uno por uno, puedes evaluar $\left(\frac{a}{p}\right)$ usando propiedades como la multiplicatividad y la Ley de Reciprocidad Cuadrática. Esto te permite determinar rápido si hay solución para números grandes y te da restricciones sobre las soluciones enteras en ecuaciones diofánticas.

Un punto clave es que el Símbolo de Legendre define un homomorfismo de grupos del grupo multiplicativo $(\mathbb{Z}/p\mathbb{Z})^\times$ al grupo ${1, -1}$. Esta estructura algebraica es la base de la propiedad multiplicativa del símbolo, $\left(\frac{ab}{p}\right) = \left(\frac{a}{p}\right)\left(\frac{b}{p}\right)$. Por lo tanto, saber si un número compuesto es un residuo cuadrático se reduce a checar qué pasa con sus factores primos.

Fórmulas Clave

Definición Toma un primo impar $p$ y un entero $a$. El Símbolo de Legendre lo definimos así: $$ \left(\frac{a}{p}\right) = \begin{cases} 1 & \text{if } a \text{ es un residuo cuadrático módulo } p \text{ y } a \not\equiv 0 \pmod p \ -1 & \text{if } a \text{ es un no-residuo cuadrático módulo } p \ 0 & \text{if } a \equiv 0 \pmod p \end{cases} $$

Criterio de Euler Esto te da una fórmula explícita para calcularlo: $$ \left(\frac{a}{p}\right) \equiv a^{\frac{p-1}{2}} \pmod p $$

Propiedades Básicas

1. Periodicidad: Si $a \equiv b \pmod p$, entonces $\left(\frac{a}{p}\right) = \left(\frac{b}{p}\right)$.
2. Multiplicatividad: $\left(\frac{ab}{p}\right) = \left(\frac{a}{p}\right)\left(\frac{b}{p}\right)$.
3. Factores Cuadrados: $\left(\frac{a^2}{p}\right)