1. Definisi
disebut hasil bagi (quotient) oleh , juga disebut faktor dari yang
Contoh :
Jika m│n dan 0 < m < n, m disebut pembagi murni dari n. Jika
2. Sifat Dasar
Beberapa sifat dasar yaitu sebagai berikut :
sehingga a = a x 1
sehingga 0 = a x 0
4. Jika a | b, , maka kemungkinan hubungan a dan b adalah
3. Teorema
1. a│b berarti a│bc untuk setiap bilangan bulat c
Bukti :
a│b artinya ada bilangan bulat k sehingga
, kc bilangan bulat
, km bilangan bulat
Jadi, a│c.
3. Jika a│b dan a│c, maka a│(b x +cy) untuk suatu bilangan bulat x dan
y.
Bukti :
a│b artinya ada bilangan bulat k sehingga b = a.k
a│c artinya ada bilangan bulat m sehingga c = a.m
Untuk setiap x bilangan bulat, berlaku : b x = a (k x )
Untuk setiap y bilangan bulat, berlaku : cy = a (my)
Kemudian,
, substitusi nilai n = 1
atau,
, substisusi nilai n= -1
Jadi,
Bukti :
a│b artinya ada bilangan bulat k sehingga b = a.k
Karena a,b, dan k masing – masing tidak sama dengan nol, maka :
, dan .
(Terbukti)