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 (15p)=1 . Por multiplicatividad del símbolo de Legendre, esto es equivalente a (5p)(3p)=1 . Utilizando la Ley de Reciprocidad Cuadrática, esto equivale a encontrar p tal que −(p5)(p3)=1 .
Así que hay dos casos:
-
(p5)=−1,(p3)=1 .
-
(p5)=1,(p3)=−1 .
Para el caso (1.), los residuos cuadráticos módulo 5 son 1 y 4 por lo que para (p5)=−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.