5 votos

Demostrar que $x^2 - 79y^2 = \pm 3$ no tiene soluciones en $\Bbb Z$

Estoy tratando de calcular el grupo de clase ideal de $\Bbb Q(\sqrt{79})$ y surgió esto:

"Mostrar que $x^2 - 79y^2 = \pm 3$ no tiene soluciones en $\Bbb Z$ utilizando congruencias".

He intentado utilizar la reciprocidad cuadrática hasta $p=11$ pero no he tenido ningún éxito. Se agradecen los consejos.

3 votos

$3$ no es un residuo $\pmod {79}$ . Eso te lleva a la mitad del camino.

0 votos

@lulu ¡Gracias! Mirando las congruencias $\mod 4$ funciona también para $+3$ . Sin embargo, todavía no tengo ni idea de la otra mitad.

0 votos

Su ecuación es un ejemplo de Ecuación Pell generalizada . En ese enlace encontrarás un enfoque general para abordar la solvencia. En particular, el teorema 1.24 de esos apuntes te dice que una solución, si existe, se puede encontrar en un rango explícito. (N.B. Hice una búsqueda rápida de una congruencia simple que hiciera el trabajo y no encontré nada).

4voto

Stephan Aßmus Puntos 16

Nota: no hay ninguna prueba utilizando sólo congruencias; $-3$ está representada por una forma en el género principal. Las formas siguientes se reducen en el sentido de Gauss-Lagrange, $ax^2 + bxy +cy^2$ coeficientes $\langle a,b,c \rangle$ tal que $ac<0$ y $b > |a+c|$

316    factored   2^2 *  79

    1.             1          16         -15   cycle length             4
    2.            -1          16          15   cycle length             4
    3.             3          16          -5   cycle length             6
    4.            -3          16           5   cycle length             6
    5.             5          16          -3   cycle length             6
    6.            -5          16           3   cycle length             6

  form class number is   6

Cualquier número libre de cuadrados $n$ con $|n| < \sqrt {79}$ está representado por $x^2 - 79 y^2$ si y sólo si aparece con $x/y$ como convergente de la fracción continua para $\sqrt {79}.$ Los números que se califican son $1,2.$ El ligeramente más grande $-15$ también aparece

$$ \sqrt { 79} = 8 + \frac{ \sqrt {79} - 8 }{ 1 } $$ $$ \frac{ 1 }{ \sqrt {79} - 8 } = \frac{ \sqrt {79} + 8 }{15 } = 1 + \frac{ \sqrt {79} - 7 }{15 } $$ $$ \frac{ 15 }{ \sqrt {79} - 7 } = \frac{ \sqrt {79} + 7 }{2 } = 7 + \frac{ \sqrt {79} - 7 }{2 } $$ $$ \frac{ 2 }{ \sqrt {79} - 7 } = \frac{ \sqrt {79} + 7 }{15 } = 1 + \frac{ \sqrt {79} - 8 }{15 } $$ $$ \frac{ 15 }{ \sqrt {79} - 8 } = \frac{ \sqrt {79} + 8 }{1 } = 16 + \frac{ \sqrt {79} - 8 }{1 } $$

Cuadro de fracciones continuas simples:
$$ \begin{array}{cccccccccccccc} & & 8 & & 1 & & 7 & & 1 & & 16 & \\ \\ \frac{ 0 }{ 1 } & \frac{ 1 }{ 0 } & & \frac{ 8 }{ 1 } & & \frac{ 9 }{ 1 } & & \frac{ 71 }{ 8 } & & \frac{ 80 }{ 9 } \\ \\ & 1 & & -15 & & 2 & & -15 & & 1 \end{array} $$

$$ \begin{array}{cccc} \frac{ 1 }{ 0 } & 1^2 - 79 \cdot 0^2 = 1 & \mbox{digit} & 8 \\ \frac{ 8 }{ 1 } & 8^2 - 79 \cdot 1^2 = -15 & \mbox{digit} & 1 \\ \frac{ 9 }{ 1 } & 9^2 - 79 \cdot 1^2 = 2 & \mbox{digit} & 7 \\ \frac{ 71 }{ 8 } & 71^2 - 79 \cdot 8^2 = -15 & \mbox{digit} & 1 \\ \frac{ 80 }{ 9 } & 80^2 - 79 \cdot 9^2 = 1 & \mbox{digit} & 16 \\ \end{array} $$

1 votos

Sí, es importante darse cuenta de que no todas las ecuaciones diofantinas pueden entenderse sólo mediante congruencias. :) Tal vez el ejemplo más elemental sea $x^4+1$ es irreducible sobre $\mathbb Z$ , pero es reducible mod $p$ para cada primo $p$ .

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