Misalkan . Dua bilangan bulat disebut kongruen modulo , ditulis , jika — setara dengan mengatakan bahwa dan bersisa sama pada pembagian Euklides oleh .
Matematika · Glosarium
Apa itu Kekongruenan?
Dikenal juga sebagai: congruence
Untuk : bila . Ini relasi ekuivalensi yang serasi dengan penjumlahan dan perkalian: jika dan (modulo ), maka , , dan untuk .
Contoh
Contoh 6.19 (Uji buang sembilan)
Keserasiannya dengan dan adalah alat pemeriksa yang setua perniagaan. Karena , setiap bilangan bulat kongruen modulo dengan jumlah angkanya (dibuktikan pada Latihan 6.2). Untuk memeriksa klaim : jumlah angkanya memberikan dan , jadi hasil kalinya haruslah ; dan memang . Pemeriksaannya lolos (dan hasil kalinya memang benar). Seandainya ada yang melaporkan , jumlah angkanya akan menghukumnya seketika. Ujinya bersifat sepihak — ia menangkap sebuah kesalahan kecuali bila kesalahannya sendiri kelipatan — dan itu persis pelajaran pseudoprima pada Contoh 6.24 dalam wujud mini: pemeriksaan kekongruenan membantah, tetapi tidak mengesahkan.
Contoh 6.21 (Membalikkan modulo )
Karena , kelas terbalikkan modulo . Euclid yang diperluas:
lalu secara mundur:
Jadi , yakni ; periksa: . Dengan inversnya di tangan, sebarang kekongruenan diselesaikan dalam satu perkalian: . Pembalikan mekanis inilah kuda beban aritmetika modular — dan juga kuda beban protokol kunci publik yang disebut pada Catatan 6.27, yang di sana modulusnya beratus angka tetapi algoritmanya persis yang ini.
Contoh 6.22 (Ketika koefisiennya tak terbalikkan)
Selesaikan . Di sini , jadi tak terbalikkan modulo — tetapi persamaannya tetap tertangani. Kekongruenan itu mengatakan ; dengan membagi seluruh hubungannya dengan (pembagi ketiga bahannya), ia setara dengan , yakni
Sekarang dan (karena ), jadi : penyelesaiannya adalah — empat kelas modulo , yang cocok dengan FPB-nya. (Seandainya ruas kanannya tak habis dibagi , katakanlah , tak akan ada penyelesaian sama sekali: karena ruas kirinya selalu .) Bentuk umumnya: terselesaikan jika dan hanya jika , dan lalu ia mempunyai tepat kelas penyelesaian — bagi semuanya dengan FPB-nya lalu balikkan.