Suatu himpunan tak kosong R disebut suatu ring jika di dalam R didefinisikan dua buah operasi biner
yang dilambangkan dengan + dan ⋅ sedemikian hingga untuk setiap a, b, c ∊ R berlaku hal-hal
berikut:
Operasi + yang terdapat pada syarat 1 sampai dengan 4 biasa dinamakan operasi tambah atau
penjumlahan, sedangkan operasi ⋅ pada syarat 6 sampai dengan 8 biasa dinamakan operasi kali atau
perkalian. Ring R dengan operasi tambah + dan operasi kali ⋅ biasa dilambangkan dengan (R,+,-).
Bukti
Misalkan a, b, c ∊ R dan a + b = a + c
Karena a ∊ R, terdapat –a ∊ R sedemikian hingga –a + a = 0. Tambahkan masing-masing ruas
dengan –a sebagai berikut:
-a + (a + b) = -a + (a + c)
Dengan sifat asosiatif penjumlahan dalam ring, diperoleh:
(-a + a) + b = (-a + a) + c
0+b=0+c
dan b=c
Jadi, a + b = a + c ⇒ b = c (terbukti)
Bukti
a∙0 = a∙(0 + 0)
Selanjutnya,
0∙a = (0 + 0)∙a
Bukti:
4. Ketunggalan unsur invers terhadap penjumlahan: Untuk setiap a ∊ R terdapat satu dan hanya
satu –a ∊ R sedemikian hingga a + (-a) = 0 dan (-a) + a = 0.
Bukti:
(-a + a) + a* = -a + (a + a*)
0 + a* = -a + 0
a* = -a
Jadi, invers-invers dari a ∊ R adalah unsur-unsur yang sama satu sama lain. Dengan kata lain,
setiap a ∊ R memiliki satu dan hanya satu buah invers di R.
Bukti:
Misalkan a, b ∊ R sembarang.
a ∙b + a∙(-b) = a∙0 [-b adalah invers dari b terhadap penjumlahan, sehingga b + (-b) = 0]
a∙(-b) = -(a∙b) [ketunggalan invers terhadap penjumlahan, lihat butir 4 di atas] (terbukti)
Selanjutnya,
(-a)∙b + a∙b = 0∙b [-a adalah invers dari a terhadap penjumlahan, sehingga –a + a = 0]
(-a)∙b = -(a∙b) [ketunggalan invers terhadap penjumlahan, lihat butir 4 di atas] (terbukti)
6. (-a)∙(-b) = a∙b
Bukti:
Misalkan a, b ∊ R sembarang.
Perhatikan bahwa a∙0 = 0 dan 0∙(-b) = 0, sehingga a∙0 = 0∙(-b) [lihat butir 2 di atas, perkalian
dengan nol.] Selanjutnya, karena –b adalah invers dari b dan –a adalah invers dari a (terhadap
penjumlahan), -b+b = 0 dan a+(-a) = 0. Substitusikan masing-masing 0 ini ke persamaan
sebelumnya, diperoleh:
a∙(-b + b) = (a+(-a))∙(-b)
7. –(-a) = a
Bukti: