La determinación computacional del símbolo de Legendre (a|p) para un entero a módulo un primo impar p, dando 1 si a es un residuo cuadrático mod p (con a ≠ 0 mod p), −1 si es un no residuo, y 0 si a ≡ 0 mod p.

Principio

Emplear la multiplicatividad y el criterio de Euler: (a|p) ≡ a^{(p−1)/2} (mod p), junto con la reciprocidad cuadrática y la reducción módulo p para reducir la evaluación a residuos más pequeños y casos conocidos.

Demostración

Ejemplo: p = 7, a = 3. Calcular 3^{(7−1)/2}=3^3=27≡6≡−1 (mod 7), por tanto (3|7)=−1; 3 es un no residuo cuadrático módulo 7.

Aplicación incorrecta

Aplicar la fórmula del símbolo de Legendre a módulos compuestos (tratar el símbolo de Jacobi como concluyente), o suponer que (a|p)=1 proporciona directamente una raíz cuadrada sin verificar p o los inversos multiplicativos.

Consecuencia

Una evaluación correcta decide la solvencia de x^2≡a (mod p), facilita la resolución de congruencias cuadráticas y contribuye a cálculos de reciprocidad y sumas de caracteres en teoría de números algebraica y analítica.

Inversión

Sustituir el símbolo de Legendre por el símbolo de Jacobi (módulo compuesto) invierte la determinación: Jacobi=1 deja de garantizar residuocidad cuadrática, mostrando la diferencia entre módulos primos y compuestos.

Límite

Se aplica solo a enteros a y a módulos primos impares p (p>2); excluye el módulo 2 y los módulos compuestos salvo reinterpretación explícita como símbolo de Jacobi; asume aritmética en Z/pZ y representantes canónicos de clases.

Tensión semántica

Hay tensión entre la prueba algebraica compacta (criterio de Euler) y el símbolo de Jacobi más general pero menos concluyente: ambos pueden ser similares en coste computacional pero difieren en fuerza semántica.

Síntesis

La evaluación del símbolo de Legendre es un procedimiento algorítmico y algebraico que, mediante el criterio de Euler, la multiplicatividad y la reciprocidad, reduce la cuestión de la residuocidad cuadrática módulo un primo impar a cálculos finitos de potencias y signos, con alcance y límites precisos.