Number Theory notes
Number Theory notes
Modular arithmetic:
Let 𝑚 be a fixed positive integer >1. We call two integers
𝑎 and 𝑏 are equivalent if 𝑚|𝑎 − 𝑏. If any integer is
divided by 𝑚, then the possible remainders are
0,1,2, … . , 𝑚 − 1. Let 𝑚 = 5. The possible rems. are
0,1,2,3,4. Consider the following sets:
𝑆0 = {… − 15, −10, −5, 0, 5, 10, 15, … }
𝑆1 = {… − 14, −9, −4, 1, 6, 11, 16, … }
𝑆2 = {… − 13, −8, −3, 2, 7, 12, 17, … }
𝑆3 = {… − 12, −7, −2, 3, 8, 13, 18, … }
𝑆4 = {… − 11, −6, −1, 4, 9, 14, 19, … }
The sets 𝑆0 , 𝑆1 , … , 𝑆4 constitute a disjoint partition of the
set of integers ℤ. The elements of set 𝑆𝑖 when divided by
5 leave remainder 4. Any two elements of 𝑆𝑖 are
equivalent w.r.to 𝑚 = 5. The set 𝑆𝑖 can be represented
by 𝑖̅ or simply by 𝑖 for 𝑖 = 0,1,2,3,4.
Definition: If 𝑎 and 𝑏 are two integers, we say that 𝑎 is
congruent to 𝑏 modulo 𝑚 if 𝑚|𝑎 − 𝑏 and is written as
𝑎 ≡ 𝑏 (mod 𝑚).
Thus, if 𝑎 ≡ 𝑏 (mod 𝑚), then both 𝑎 and 𝑏 leave the
same remainders when divided by 𝑚. Modulo 𝑚, if 𝑎 ≡
𝑏, we don’t distinguish between them and treat them
alike.
Theorem: For each fixed positive integer 𝑚, congruence
modulo 𝑚 is an equivalence relation.
Proof: Since 𝑚|𝑎 − 𝑎, 𝑎 ≡ 𝑎 (mod 𝑚). (Reflexive)
If 𝑎 ≡ 𝑏 (mod 𝑚), then 𝑚|𝑎 − 𝑏 and hence 𝑚|𝑏 − 𝑎.
This implies 𝑏 ≡ 𝑎 (mod 𝑚), Hence congruence modulo
𝑚 is symmetric.
If 𝑎 ≡ 𝑏 (mod 𝑚) and if 𝑏 ≡ 𝑐 (mod 𝑚) then 𝑚|𝑎 − 𝑏
and 𝑚|𝑏 − 𝑐. Hence 𝑚|(𝑎 − 𝑏) + (𝑏 − 𝑐 ) = 𝑎 − 𝑐.
Hence, 𝑚|𝑎 − 𝑐 which implies 𝑎 ≡ 𝑐 (mod 𝑚). Hence
congruence modulo 𝑚 is transitive.
Properties:
(1) If 𝑎 ≡ 𝑏 (mod 𝑚), then 𝑎𝑐 ≡ 𝑏𝑐 (mod 𝑚).
(2) If 𝑎 ≡ 𝑏 (mod 𝑚), iff 𝑎 + 𝑐 ≡ 𝑏 + 𝑐 (mod 𝑚).
(3) The converse of (1) need not be true.
Assume that 𝑎𝑐 ≡ 𝑏𝑐 (mod 𝑚). Then 𝑚|𝑎𝑐 − 𝑏𝑐 =
(𝑎 − 𝑏)𝑐, which does not imply that 𝑚|𝑎 − 𝑏. Let
𝑑 = (𝑐, 𝑚). Then, 𝑐 = 𝑑𝑘 and 𝑚 = 𝑑𝑙 for some 𝑘 and 𝑙
such that (𝑘, 𝑙 ) = 1, that is 𝑘 and 𝑙 are relatively
prime.
𝑚|(𝑎 − 𝑏)𝑐
Implies
𝑑𝑙|(𝑎 − 𝑏)𝑑𝑘
and hence 𝑙|(𝑎 − 𝑏)𝑘. But (𝑘, 𝑙 ) = 1 implies 𝑙|(𝑎 − 𝑏).
Hence, 𝑎 ≡ 𝑏 (mod 𝑙), that is,
𝑚
𝑎 ≡ 𝑏 (mod ) , 𝑑 = (𝑐, 𝑚).
𝑑
If (𝑐, 𝑚) = 1, then 𝑎𝑐 ≡ 𝑏𝑐 (mod 𝑚) implies
𝑎 ≡ 𝑏 (mod 𝑚).
Note: 𝑚 is called the modulus of congruence.