Định nghĩa
Nếu 2 số nguyên a và b khi chia cho c (c Khác 0 ) mà có cùng số dư thì ta nói a đồng dư với b theo mô-đun c; kí hiệu a≡ba≡b ( mod c )
Như vậy a≡ba≡b ( mod c ) \Leftrightarrow a - b Chia hết cho c
Hệ thức có dạng a≡ba≡b ( mod c ) gọi là 1 đồng dư thức , a gọi là vế trái của đồng dư thức, b là vế phải còn c là mô-đun
Đồng dư(quan hệ đồng dư)là một quan hệ tương đương trên tập hợp số nguyên.
Chuyên đề đồng dư thức còn gì nữa