Professional Documents
Culture Documents
Submitted to:
Dr. M. Umer Saleem
Department of Mathematics
Division of Science and Technology
University of Education, Lahore Township
Outline:
Quadratic Residue
Definition
Example
Legendre Symbol
Definition
Example
Example
Find all quadratic residues and quadratic non-residues of 7.
Solution:
As we know that the complete residue system of 7 is 𝑥 = {1,2,3,4,5,6}
Now we want to check that which one is quadratic residue
12 ≡ 1 (𝑚𝑜𝑑 7)
22 ≡ 4 (𝑚𝑜𝑑 7)
32 ≡ 2 (𝑚𝑜𝑑 7)
42 ≡ 2 (𝑚𝑜𝑑 7)
52 ≡ 4 (𝑚𝑜𝑑 7)
62 ≡ 1 (𝑚𝑜𝑑 7)
now
12 ≡ 62 ≡ 1(𝑚𝑜𝑑 7)
22 ≡ 52 ≡ 4(𝑚𝑜𝑑 7)
32 ≡ 42 ≡ 2(𝑚𝑜𝑑 7)
hence
Quadratic residue of 7 are {1,2,4}
Quadratic non-residue of 7 are {3,5,6}
Legendre Symbol
Let 𝑝 be an odd prime and let 𝑔𝑐𝑑(𝑎, 𝑝) = 1. The Legendre symbol (𝑎/𝑝) is define by
Here 𝑎 is numerator and 𝑝 is denominator of the symbol (𝑎/𝑝). and other standard notation for
𝑎
Legendre symbol is ( 𝑝 ) 𝑜𝑟 (𝑎|𝑝) .
Example
If the prime, 𝑝 = 13 in particular. Using the Legendre symbol express 1,2,3, … … . ,12 .
Properties
Let 𝑝 be an odd prime and let 𝑎 and 𝑏 be integers that are respectively prime to 𝑝 .Then the
Legendre symbol has following properties:
𝑎 𝑏
( 𝑝 ) = ( 𝑝 ) = −1 If 𝑎, 𝑏 is a quadratic non-residue of 𝑝
(𝒑−𝟏)
𝒃) (𝒂/𝒑) ≡ 𝒂 𝟐 (𝒎𝒐𝒅 𝒑)
Proof
By using result that “Let 𝑝 be an odd prime and gcd(𝑎, 𝑏) = 1. then 𝑎 is a quadratic residue or
non-residue of 𝑝 according to whether
(𝑝−1) (𝑝−1)
𝑎 2 ≡ 1 (𝑚𝑜𝑑 𝑝) 𝑜𝑟 𝑎 2 ≡ −1 (𝑚𝑜𝑑 𝑝) "
𝑎
since (𝑝) = 1 if 𝑎 is the quadratic residue of p
(𝑝−1)
𝑎 2 ≡ 1 (𝑚𝑜𝑑 𝑝)
(𝑝−1)
⇒ (𝑎/𝑝) = 𝑎 2 (𝑚𝑜𝑑 𝑝)
𝒂𝟐
𝒄) ( )=𝟏
𝒑
Proof
consider 𝑥 2 ≡ 𝑎2 ( 𝑚𝑜𝑑 𝑝)
it is trivially true for 𝑥 = 𝑎 .
which implies that given congruence is always solvable.
𝑎2
⇒ ( )=1
𝑝
𝒂𝒃 𝒂 𝒃
𝒅) ( ) = ( )( )
𝒑 𝒑 𝒑
Proof
𝑎𝑏 (𝑝−1)
( ) ≡ (𝑎𝑏) 2 (𝑚𝑜𝑑 𝑝)
𝑝
(𝑝−1) (𝑝−1)
≡ (𝑎) 2 (𝑏) 2 (𝑚𝑜𝑑 𝑝)
(𝑝−1) (𝑝−1)
≡ ((𝑎) 2 (𝑚𝑜𝑑 𝑝)).( (𝑏) 2 (𝑚𝑜𝑑 𝑝)
𝑎𝑏 𝑎 𝑏
( ) ≡ ( ).( ) (𝑚𝑜𝑑 𝑝)
𝑝 𝑝 𝑝
𝑎𝑏 𝑎 𝑏
⇒ ( ) = ( ).( )
𝑝 𝑝 𝑝
(𝒑−𝟏)
𝟏 −𝟏
e) ( ) = 𝟏
𝒑
𝒂𝒏𝒅 (
𝒑
) = (−𝟏) 𝟐
Proof
(𝑝−1)
1
using (b) that (𝑝) ≡ (1) 2 (𝑚𝑜𝑑 𝑝)
1 1
(𝑝) ≡ 1 (𝑚𝑜𝑑 𝑝) ⇒ (𝑝) ≡ 1
(𝑝−1)
1
now (− 𝑝) ≡ (−1) 2 (𝑚𝑜𝑑 𝑝)
(2𝑘)
≡ (−1) 2 (𝑚𝑜𝑑 𝑝) : 𝑝 − 1 = 2𝑘
1 1
(− 𝑝) ≡ (−1)𝑘 (𝑚𝑜𝑑 𝑝) ⇒ (− 𝑝) = (−1)𝑘
or
1
(− 𝑝) = −1 ; 𝑝 ≡ 3(𝑚𝑜𝑑 4)
𝒂𝒃𝟐 𝒂 𝒃𝟐 𝒂
𝒇) ( ) = ( )( )=( )
𝒑 𝒑 𝒑 𝒑
Proof
𝒂𝒃𝟐 𝒂 𝒃𝟐
( ) = ( 𝒑 )( ) since by (d)
𝒑 𝒑
𝑏2
since (by c) ( )=1
𝑝
𝒂𝒃𝟐 𝒂
⇒ ( ) = ( 𝒑 ).𝟏
𝒑
𝒂𝒃𝟐 𝒂
( )=(𝒑)
𝒑