07.01.2015 Views

COMP 547: Assignment 1 Solutions

COMP 547: Assignment 1 Solutions

COMP 547: Assignment 1 Solutions

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

( ) ( )<br />

x<br />

x<br />

(b) If x ∈ QR p and x /∈ QR q , then<br />

p<br />

= 1 and<br />

q<br />

= −1. Using<br />

( ) ( ) ( ) ( )<br />

z<br />

z<br />

the facts that<br />

p<br />

= −1,<br />

q<br />

= 1 and y<br />

p<br />

= y<br />

q<br />

= −1,<br />

( ) ( ( ) ( )<br />

we see that zyx z<br />

p<br />

= y x<br />

p)<br />

p p<br />

= (−1)(−1)(1) = 1 and<br />

( ) ( ) ( ) ( )<br />

zyx z<br />

q<br />

= y x<br />

q q q<br />

= (1)(−1)(−1) = 1. From this, we can<br />

conclude that zyx ∈ QR n . ( ) ( )<br />

x<br />

x<br />

If x /∈ QR p and x ∈ QR q , then<br />

p<br />

= −1 and<br />

q<br />

= 1. Using<br />

( )<br />

( )<br />

( )<br />

z<br />

z<br />

zx<br />

the facts that<br />

p<br />

= −1 and<br />

q<br />

= 1, we see that<br />

p<br />

=<br />

( ) ( )<br />

( ) ( ) ( )<br />

z x<br />

zx z x<br />

p p<br />

= (−1)(−1) = 1 and<br />

q<br />

=<br />

q q<br />

= (1)(1) = 1.<br />

From this, we can conclude that zx ∈ QR n .<br />

Thus, regardless of how z was chosen, as long as it was chosen correctly,<br />

we can see that for each of our categories that an integer x ∈ X can fall<br />

into (in both QR p and QR q , QR p but not QR q , QR q but not QR p or<br />

neither QR p nor QR q ), either x, yx, zx or zyx is in QR n .<br />

Furthermore, there is a one-to-one correspondence between these occurrences.<br />

It is quite easy to show that if one of x, yx, zx or zyx is in<br />

QR n , then the other three ( possibilities ) ( ) are not in QR ( n ).<br />

For ( instance, ) ( )<br />

x x<br />

zx z x<br />

suppose x ∈ QR n . Then<br />

p<br />

=<br />

q<br />

= 1. Either<br />

p<br />

=<br />

p p<br />

=<br />

( ) ( ) ( )<br />

zx z x<br />

(−1)(1) = −1 or<br />

q<br />

=<br />

q q<br />

= (−1)(1) = −1, so zx /∈ QR n . Either<br />

( ) ( ( ) ( )<br />

( ) ( ) ( ) ( )<br />

zyx z<br />

p<br />

= y x<br />

p)<br />

p p<br />

= (1)(−1)(1) = 1 or zyx z<br />

q<br />

= y x<br />

q q q<br />

=<br />

) ( ) ( )<br />

(1)(−1)(1) = 1, so zyx /∈ QR n . = y<br />

p<br />

= (−1)(1) = −1, so<br />

(<br />

yx<br />

p<br />

yx /∈ QR p . The cases of yx, zx and zyx being in QR n can all be dealt<br />

with in a similar fashion.<br />

We have shown that if n, y and z were correctly chosen, we should obtain<br />

results similar to those we did, in fact, obtain: a somewhat even categorisation<br />

of the 100 integers in X into our four type categories. However,<br />

does the converse hold That is, if a more or less even categorisation of<br />

all the integers in X occurred, can we be certain that n, y and z were<br />

correctly chosen<br />

First, we note that it is easy to verify that ( (<br />

y<br />

n)<br />

= 1 and<br />

z<br />

n)<br />

= −1.<br />

This can be done by simply computing the Jacobi symbols in question.<br />

Therefore, in the rest of this discussion, we will assume that ( y<br />

) n)<br />

= 1 and<br />

= −1.<br />

( z<br />

n<br />

Now, suppose n has more than two prime factors, that is, n = p 1 · · · p k ,<br />

where k > 2. x ∈ QR n if and only if x ∈ QR p1 , . . . , x ∈ QR pk . Similarly,<br />

yx ∈ QR n if and only if yx ∈ QR p1 , . . . , yx ∈ QR pk , zx ∈ QR n if and<br />

only if zx ∈ QR p1 , . . . , zx ∈ QR pk and zyx ∈ QR n if and only if zyx ∈<br />

QR p1 , . . . , zyx ∈ QR pk . Intuitively, it is quite clear that in this case, there<br />

will be some integer x ∈ X such that neither x, yx, zx nor zyx is in QR n .<br />

x<br />

p<br />

28

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!