Professional Documents
Culture Documents
1. (i)* x2 ≡ −5 (mod 73 ).
First solve mod 7: solutions to x2 ≡ −5 (mod 7) are x ≡ ±3 (mod 7). Try
lifting x = 3 to a solution mod 72 : Putting x = 3 + 7a and substituting into
x2 ≡ −5 (mod 72 ), we find 6 × 7a ≡ −14 (mod 72 ), so a ≡ 2 (mod 7), and
x ≡ 3 + 2 × 7 = 17 (mod 72 ). Now lift again to a solution mod 73 : put
x = 17 + 49a. We find 6 × 49a ≡ −294 (mod 73 ) so a ≡ 6 ≡ −1 (mod 7).
Hence x ≡ −32 (mod 73 ).
This shows that the solution x ≡ 3 (mod 7) lifts to x ≡ −32 (mod 73 ). Since
x2 is an even function, the solution x ≡ −3 (mod 7) must lift to x ≡ 32
(mod 73 ). Hence solution to x ≡ −5 (mod 73 ) is x ≡ ±32 (mod 73 ). [5]
(ii) We find that 4 ≡ 314 (mod 19). Set x ≡ 3t (mod 19). Then 34t ≡ 314
(mod 19) so that 4t ≡ 14 (mod 18). Solving this gives t ≡ 8 (mod 9) or
1
equivalently t ≡ 8 or 17 (mod 18). Therefore x ≡ 38 or 317 (mod 19), that is
x ≡ ±6 (mod 19).
(iii)* We find that 9 ≡ 32 (mod 19). Set x ≡ 3t (mod 19). Then 310t ≡ 32
(mod 19) so that 10t ≡ 2 (mod 18). This is equivalent to 5t ≡ 1 (mod 9),
and solving this gives t ≡ 2 mod 9 or equivalently t ≡ 2 or 11 (mod 18).
Therefore x ≡ 32 or 311 (mod 19), that is x ≡ ±9 (mod 19). [5]
Total for question: [5]
2
(np)! (np)!
n
=
n!p p2̇p3̇p · · · (np)
Yn
= [(r − 1)p + 1] · · · [(r − 1)p + (p − 1)]
r=1
Yn
≡ (p − 1)! (mod p)
r=1
n
Y
≡ (−1) (mod p)
r=1
≡ (−1)n (mod p).
[10]
Total for question: [10]
6. Note: in the following solutions, I have not used the Jacobi symbol.
However, several of the solutions could be simplified by using the Jacobi
symbol and the corresponding law of quadratic reciprocity.
(i)*
3 53
= as 53 ≡ 1 (mod 4)
53 3
−1
= as 53 ≡ −1 (mod 3)
3
= −1.
(ii)
7 79
= − as 7 ≡ 79 ≡ 3 (mod 4)
79 7
2
= − as 79 ≡ 2 (mod 7)
7
= −(+1) as 7 ≡ ±1 (mod 8)
= −1.
(iii)*
15 3 5
=
101 101 101
101 101
= as 101 ≡ 1 (mod 4)
3 5
2 1
=
3 5
= (−1)(+1)
= −1.
3
(iv)
31 641
= as 641 ≡ 1 (mod 4)
641 31
21
=
31
3 7
=
31 31
31 31
= − − as 3, 7, 31 are all ≡ 3 (mod 4)
3 7
1 3
= − −
3 7
7
= [−1] + as 3, 7, are both ≡ 3 (mod 4)
3
1
= −
3
= −1.
(v)
111 3 37
=
991 991 991
991 991
= − as 3 ≡ 991 ≡ 3 (mod 4); 37 ≡ 1 (mod 4)
3 37
1 −8
= −
3 37
3
−1 2
= −(+1)
37 37
= −(+1)(+1)(−1)3 as 37 ≡ 1 (mod 4) and 37 ≡ −3 (mod 8)
= +1.
4
(vi)
105 3 5 7
=
1009 1009 1009 1009
1009 1009 1009
= as 1009 ≡ 1 (mod 4)
3 5 7
1 4 1
=
3 5 7
= (+1)(+1)(+1)
= +1.
(vii)
77 7 11
=
107 107 107
107 107
= − − as 7, 11 and 107 are all ≡ 3 (mod 4)
7 11
2 8
=
7 11
3
2
= (+1) as 7 ≡ −1 (mod 8)
11
= (−1)3 as 11 ≡ 3 (mod 8)
= −1.
(viii)*
133 7 19
=
191 191 191
191 191
= − − as 7, 19 and 191 are all ≡ 3 (mod 4)
7 19
2 1
=
7 19
= (+1)(+1) as 7 ≡ −1 (mod 8)
= +1.
(ix)*
−111 −1 3 37
=
257 257 257 257
257 257
= (+1) as 257 ≡ 1 (mod 4)
3 37
2 −2
=
3 37
−1 2
= (−1)
37 37
= (−1)(+1)(−1) as 37 ≡ 1 (mod 4) but 37 ≡ −3 (mod 8)
= +1.
5
(x)
221 13 17
=
347 347 347
347 347
= as 13 ≡ 17 ≡ 1 (mod 4)
13 17
9 7
=
13 17
17
= (+1) as 17 ≡ 1 (mod 4)
7
3
=
7
7
= − as 3, 7 are both ≡ 1 (mod 4)
3
1
= −
3
= −1.
(xi)*
−257 −1 257
=
541 541 541
541
= (+1) as 541 ≡ 1 (mod 4)
257
27
=
257
3
3
=
257
257
= as 257 ≡ 1 (mod 4)
3
2
=
3
= −1.
6
(xii)
511 7 73
=
881 881 881
881 881
= as 881 ≡ 1 (mod 4)
7 73
−1 5
=
7 73
73
= (−1) as 7 ≡ 3 (mod 4) and 73 ≡ 1 (mod 4)
5
3
= −
5
= −(−1)
= +1.
(ii) The least residues mod 13 of 5, 10, 15, 20, 25, 30 are 5, 10, 2, 7, 12, 4
respectively, so again Λ = 3 and
5
= (−1)3 = −1.
13
(iii) The least residues mod 17 of −3, −6, −9, −12, −15, −18, −21, −24 are
14, 11, 8, 5, 2, 16, 13, 10 respectively, so Λ = 5 and
−3
= (−1)5 = −1.
17
(iv) The least residues mod 19 of 5, 10, 15, 20, 25, 30, 35, 40, 45 are 5, 10,
15, 1, 6, 11, 16, 2, 7 respectively, so Λ = 4 and
5
= (−1)4 = +1.
19
0
8*. If p = 2, we have the solution x = 1. For any odd p, let p denote its
least positive residue modulo 13. Then
7
13
p p0
= = ,
p 13 13
0
so p must be a quadratic residue modulo 13. A quick check shows that
0
p ≡ ±1, ±3, ±4 mod 13.
Note also that p = 13 is a solution. [10]
Total for question: [10]
2 a
9. If x ≡ a (mod p) is soluble with p - a, we have = +1 by definition
p
of the Legendre symbol, so a(p−1)/2 ≡ +1 (mod p) by Euler’s criterion. Now
(p + 1)/4 is an integer since p ≡ 3 (mod 4), and for x = ±a(p+1)/4 we have
x2 ≡ a(p+1)/2 ≡ aa(p−1)/2 ≡ a (mod p).
Thus the solutions of x2 ≡ a (mod p) are x ≡ ±a(p+1)/4 (mod p). (We know
that there are exactly two solutions mod p.)
Applying this to x2 ≡ 5 (mod 79): we have p = 79 and (p+1)/4 = 20, so the
solutions (if there are any) are ±520 mod 79. Now 520 ≡ 20 (mod 79), and
we easily verify that 202 ≡ 5 (mod 79). Hence the solutions are x ≡ ±20
(mod 79).
10*. Pp n2
(i) We have s(0, p) = n=1 p
. By definition of the Legendre Symbol,
2
n
p
= 1 for all values of n for 1 ≤ n ≤ p − 1. For n = p, the Legendre
Pp n2
symbol is zero thus s(0, p) = n=1 p = p − 1. [5]
(ii) We have
p p p
X X X n(n + a)
s(a, p) =
a=1 a=1 n=1
p
p p
X X n(n + a)
=
n=1 a=1
p
p p
X X nb
= by the change of variable b ≡ n + a (mod p)
n=1 b=1
p
p p
X X n b
=
n=1 b=1
p p
p p
X n X b
=
n=1
p b=1 p
p 2
!
X n
= .
n=1
p
Pp n
Now n=1 p = 0 since there are (p − 1)/2 quadratic residues giving the
value ( np ) = 1, plus (p−1)/2 quadratic non-residue giving the value ( np ) = −1,
plus ( p0 ) = 0. [5]
8
(iii) In the sum s(a, p) = pn=1 n(n+a) , use the change of variables b ≡ na−1
P
p
(mod p), so that n ≡ ab (mod p), to rewrite
p
X ab(ab + a)
s(a, p) =
b=1
p
p
X a2 b(b + 1)
=
b=1
p
p
X a2 b(b + 1)
=
b=1
p p
p 2
X b(b + 1) a
= since =1
b=1
p p
= s(1, p).
[5]
p
X
0= s(a, p) by part (ii)
a=1
= (p − 1)s(1, p) + s(0, p) by part (iii)
= (p − 1)s(1, p) + (p − 1) by part(i).
Therefore s(1, p) = −1 and hence by part (iii), s(a, p) = −1 for all a such
that (a, p) = 1. [5]
Total for question: [20]