1 votos

3 congruente a cierta forma cuadrática mod p, ¿implica que p es congruente a 1 u 11 mod 12

Estoy trabajando en algo y me he encontrado con el siguiente problema de teoría de números:

Sea pp sea un primo al menos 55 y 2+k+k232+k+k23 (mod pp ). Donde , kk son soluciones de la ecuación lineal diofántica

3+4k=123+4k=12

¿Es cierto que p±1p±1 (mod 1212 )?

Siempre es cierto si o kk est 00 que no es más que reciprocidad cuadrática. Hice algunas pruebas numéricas y encontrar que es cierto en muchos casos.

En términos más generales, me interesa el caso en que , kk son soluciones de

a+bk=2ca+bk=2c

Dónde a,b,ca,b,c son números enteros que satisfacen la ecuación

a2+b2ab=1+c2a2+b2ab=1+c2 (por ejemplo (a,b,c)=(3,4,6)(a,b,c)=(3,4,6) es una solución)

Hice algunas pruebas numéricas para soluciones distintas de (3,4,6)(3,4,6) y encuentro que la afirmación es cierta también en esos casos. Realmente no he podido encontrar en la literatura donde se estudie este tipo de problema, ni soy lo suficientemente sólido en teoría de números como para intentarlo yo mismo. Así que si algún experto me puede ofrecer alguna ayuda, se lo agradeceré mucho.

2voto

S. Dolan Puntos 296

El primer resultado es correcto.

Puede eliminar ll y obtener (37k66)227(37k66)227 (mod pp ).

Entonces (3p)=+1(3p)=+1 y la reciprocidad cuadrática da p±1p±1 (mod 1212 ).

1voto

S. Dolan Puntos 296

El caso general (Todas las congruencias son módulo pp )

a2l2+a2lk+a2k23a2a2l2+a2lk+a2k23a2 Sustituir al+bkal+bk por 2c2c ampliar y simplificar: (1+c2)k2+2c(a2b)k+4c23a2(1+c2)k2+2c(a2b)k+4c23a2 Multiplicar por 1+c21+c2 y sustituir (1+c2)k(1+c2)k por KK : K2+2c(a2b)K+(4c23a2)(1+c2)0K2+2c(a2b)K+(4c23a2)(1+c2)0 Completa el cuadrado: (K+c(a2b))2(3a24c2)(1+c2)+c2(a2b)23a24c24c4+4c2(a2+b2ab)3a2(K+c(a2b))2(3a24c2)(1+c2)+c2(a2b)23a24c24c4+4c2(a2+b2ab)3a2 Así, proporcionando pp es un primo impar que no es factor de aa , (3p)=+1(3p)=+1 y la reciprocidad cuadrática da

p±1p±1 (mod 1212 ).

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X