0
$\begingroup$

I am looking at this problem and I am confused on how one could easily compute this. Is it just the intersection of either non-quadratic residue or quadratic residues of the respective p and q?

  • 2
    What is the question again?2012-03-26

3 Answers 3

0

The solution by user27126 is fine, but you can cut a few corners. For example, there is one kind of number $n$ that is guaranteed to be a quadratic residue mod $p$ for all $p$ not dividing $n$ - do you know what I'm referring to? Also, you should know when $-1$ is a residue, that should settle another case without any need to resort to Chinese remainders. If you know when 2 is a residue, there goes another case. And so on.

1

If you want to find $x$ such that it is a QR mod p and a NR mod q for example, you can just find a QR mod p (say m), find a NR mod q(say n), then use Chinese remainder theorem to solve

$$\begin{cases}x \equiv m & (\operatorname{mod} p) \\ x \equiv n & (\operatorname{mod} q) \end{cases}$$

  • 0
    Hi user27126, could you please provide an example for say i=1 and j=-1. I am not sure how the CR theorem can help here. Thank you.2012-03-26
  • 0
    Let's take $m = 0$, $n = 2$. You want to find x = 0 (mod 19), x = 2 (mod 37). Just use chinese remainder theorem to solve this congruence.2012-03-26
1

Firstly the case $i=j=1$ is simple since the number $1$ will do this.

Secondly when $i = -1$ and $j=1$ we can use the number $-1$ since this is a QR mod $p'$ (prime) if and only if $p'\equiv 1$ mod $4$.

Thirdly when $i=j=-1$ we can use the number $2$ since this is a QR mod $p'$ if and only if $p\equiv 1,7$ mod $8$.

For the final case we may use $-2$ since we can see that the product of the $i,j$ values in the previous two cases match what we want (essentially we are using the homomorphism property of Legendre symbols here).

  • 0
    Hi fretty, why is mod 8 or mod 4 used or derived from? Thanks2012-03-26
  • 0
    These are the simple rules about when $-1$ or $2$ are QR's mod $p$2012-03-26
  • 1
    Sorry. I have problems parsing this. What are the variables $i$ and $j$? Where did they come from?2012-03-26
  • 0
    The question seems to have been edited!2012-03-26