Cómo dividir 59 $\mathbb{Q}(\sqrt{13})$

Question

Cómo dividir 59 $\mathbb{Q}(\sqrt{13})$

como sé que el 59 es el primer y podemos escribir $(x+y\sqrt{13})(x-y\sqrt{13})=59$

$x^2-13y^2=59$ pero no puedo encontrar las x,y

Answer 1

De acuerdo con Parcly Taxel.

De hecho, para squarefree $-50 \leq d \leq 50$, $59$ se divide en $\Bbb{Q}[\sqrt{d}]$ \begin{align} d &=-43 & 59 &= 4^2 + 43 \cdot 1^2 \\ d &=-34 & 59 &= 5^2 + 34 \cdot 1^2 \\ d &=-23 & 59 &= 6^2 + 23 \cdot 1^2 \\ d &=-11 & 59 &= \left(\frac{15}{2}\right)^2 + 11 \cdot \left(\frac{1}{2}\right)^2 & [11 \cong 3 \pmod{4}] \\ d &=-10 & 59 &= 7^2 + 10 \cdot 1^2 \\ d &= -2 & 59 &= 3^2 + 2 \cdot 5^2 \\ d &= 1 & 59 &= 30^2 - 1 \cdot 29^2 & [\text{"splits" as %#%#%}] \\ d &= 5 & 59 &= 8^2 - 5 \cdot 1^2 \\ d &= 17 & 59 &= 22^2 - 17 \cdot 5^2 \\ d &= 22 & 59 &= 9^2 - 22 \cdot 1^2 \\ d &= 29 & 59 &= \left(\frac{31}{2}\right)^2 - 29 \cdot \left(\frac{5}{2}\right)^2 \\ d &= 41 & 59 &= 10^2 - 41 \cdot 1^2 \\ d &= 46 & 59 &= 75^2 - 46 \cdot 11^2 \end {align}

Answer 2

Usted está tratando de encontrar $x,y$ tal que $x^2 - 13y^2=59$ es un cuadrado perfecto. Esto no es ni siquiera posible.

La razón de esto es como sigue: $x^2-59 = 13y^2$. Ahora, toma la ecuación módulo $13$, y llegamos $x^2 - 7 =0$. La cuestión se reduce a si hay alguna cuadrados congruentes a $7$ modulo $13$. Es fácil ver que este no es el caso (usted puede comprobar la $x=1,2,3,4,5,6$, esto es suficiente para demostrar la anterior).

Las plazas $1,4,9,16,25,36$ son congruentes a $1,4,9,3,12,10$ mod $13$, por lo tanto todas las plazas serán congruentes con estos números modulo $13$. Esta información le indica, por ejemplo, que incluso $57,58,60$ no dividirá en este campo. Sin embargo, $56,62$ etc. puede dividir (usted todavía no puede ser cierto).

Answer 3

Usted puede ahorrar un montón de tiempo por obten er el símbolo de Legendre. ¿El primer $p$ dividido en $\mathcal{O}_{\mathbb{Q}(\sqrt{d})}$ (donde $d$ es positivo y squarefree)? Si $$\left(\frac{d}{p}\right) = d^{\frac{p - 1}{2}} \equiv -1 \bmod p$$ then the answer is absolutely not. But if it's $1$ and $\mathcal{S}_{\mathbb{Q}(\sqrt{d})}$ is a unique factorization domain, then the answer is yes, and if it doesn't have unique factorization, then the answer is maybe. The Legendre symbol is JacobiSymbol[d, p] in Wolfram Mathematica and Wolfram Alpha.

So with $59$ we see that $13^{29} \equiv 28 \equiv -1 \bmod 59$, which means that $59$ definitely does not split in $\mathcal{S}_{\mathbb{Q}(\sqrt{13})}$.

This works even when the domain contains "half" integers. For example, $$\left(\frac{13}{17}\right) = 1$$ and $$\left(\frac{9 - \sqrt{13}}{2}\right) \left(\frac{9 + \sqrt{13}}{2}\right) = 17.$$