1
$\begingroup$

I want to calculate wether $\exists x : x^2 \equiv 123 \mod 11\cdot 13$ or not. I do know that in terms of the legendre symbol follows that $\neg(\exists x: x^2 \equiv 123 \mod 11)$ and $\neg(\exists x: x^2 \equiv 123 \mod 13)$. How can i deduce from that, that $\neg(\exists x: x^2 \equiv 123 \mod 11 \cdot 13)$ ? The intention is that the values of the legende-symbol and the jacobi-symbol do not have to be equal.

  • 0
    Note that $x^2 = 123 + 11\cdot 13k = 123 + 11(13k)$.2012-11-15
  • 0
    So assume that $x^2 = 123 + 11(13k)$. Then say $\alpha:= 13k$ and i have $x^2 = 123 + 11\alpha$. But I know $\neg(\exists x \exists \beta: x^2 = 123 + 11 \beta)$ so a contradiction follows ?2012-11-15
  • 0
    Yes. If $x^2 = 123 + (11\cdot 13)k$ then $x^2 = 123 + 11(13k) = 11k^\prime$ or $x^2 \equiv 123 \pmod{11}$. Contradiction.2012-11-15
  • 0
    @André Your last sentence puzzles me: the Jacobi symbol extends the Legendre symbol, so they agree whenever both are defined. I think what you're trying to say is that the Jacobi symbol can't be relied upon to identify quadratic residues modulo composite bases.2012-11-15

1 Answers 1