Quiero encontrar todos los primos Impares $p$ para lo cual $15$ es un residuo cuadrático módulo $p$ .
Mis pensamientos hasta ahora: Quiero encontrar $p$ tal que $ \left( \frac{15}{p} \right) = 1$ . Por multiplicatividad del símbolo de Legendre, esto es equivalente a $ \left( \frac{5}{p} \right) \left( \frac{3}{p} \right) = 1 $ . Utilizando la Ley de Reciprocidad Cuadrática, esto equivale a encontrar $p$ tal que $ - \left( \frac{p}{5} \right) \left( \frac{p}{3} \right) = 1$ .
Así que hay dos casos:
-
$ \left( \frac{p}{5} \right) = -1, \left( \frac{p}{3} \right) = 1$ .
-
$ \left( \frac{p}{5} \right) = 1, \left( \frac{p}{3} \right) = -1 $ .
Para el caso (1.), los residuos cuadráticos módulo $5$ son $1$ y $4$ por lo que para $ \left( \frac{p}{5} \right ) = -1$ debemos tener que $p$ es $2$ o $3$ modulo $5$ . También debemos tener $p$ es $1$ modulo $3$ de la otra condición. Uno de estos pares es incompatible, y podemos resolver para dar $p$ es $13$ modulo $15$ .
De forma similar para el caso (2.)
¿Es éste el enfoque correcto? No estoy seguro de si cada paso de mi trabajo es un "si y sólo si". Si $p$ es $13$ modulo $15$ es $15$ necesariamente un residuo cuadrático módulo $p$ ?
Gracias.