Oleh :
HARNUM DIAH K. 15030174054
DIANA NUR A. 15030174079
Jurusan Matematika
Fakultas Matematika dan Ilmu Pengetahuan Alam
Universitas Negeri Surabaya
Desember, 2016
RESIDUE CLASSES
15.1 Definisi
m > 0, kelas-kelas residu dari a modulo m (atau kelas kongruen, atau kelas ekuivalen dari a
modulo m) adalah [a] = { x | x a (mod m) }, Himpunan dari semua bilangan bulat kongruen a
modulo m.
15.2 Teorema
Jika m > 0 maka [a] = [b] a b (mod m)
Diketahui :
m >0
Akan dibuktikan :
1. [a] = [b] a b (mod m)
2. a b (mod m) [a] = [b]
Bukti :
1. [a] = [b] (diketahui) ... (1)
a [a] (a a (mod m), teorema 11.1 sifat Refleksif)
a [b] (akibat 1) ... (2)
a b (mod m) (karena persamaan 2 dan definisi 15.1)
2. Misal diberikan
(*)
x [a] x a (mod m) (permisalan) ... (3)
x a (mod m) (1 dan definisi 15.1) ... (4)
a b (mod m (dketahui) ... (5)
x b (mod m) (akibat persamaan 4 dan 5, serta sifat Transitif) ...(6)
maka, x [b] (persamaan 6 dan definisi 15.1)
Misal diberikan
(**)
x [b] x b (mod m) (permisalan) ... (8)
x b (mod m) (persamaan 8 dan definisi 15.1)
a b (mod m) (diketahui) ... (10)
b a (mod m) (persamaan 10, Teorema 11.1 sifat Simetris) ... (11)
x a (mod m) (persamaan 9 dan 11, Teorema 11.1 sifat Transitif) ...
(12)
maka, x [a] (persamaan 12 dan definisi 15.1)