Pada tulisan ini akan diberikan beberapa sifat ring.
Teorema 1.
Diberikan ring dan . Maka
a.
b.
c.
d. dan
Bukti.
Ambil sebarang .
a. Dari sifat distributif ring, diperoleh . Karena sifat pada penjumlahan, berbakibat . Karena , berakibat . Diperoleh
Dengan, cara yang sama diperoleh .
b. Perhatikan,
Karena , berakibat . Sehingga diperoleh
Dengan cara yang sama diperoleh,
c. Dengan menggunakan sifat b, diperoleh
d. Karena , diperoleh . Karena sifat distributif ring, diperoleh . Karena sifat c, berakibat . Jadi . Dengan cara yang sama, diperoleh .
Akibat 2.
Misal ring dengan . Maka jika dan hanya jika dan berbeda.
Bukti.
Diketahui . Ambil sedemikian hingga . Andaikan . Berakibat . Hal ini kontradiksi dengan . Jadi haruslah . Dengan kata lain, dan berbeda. Sebaliknya, diketahui dan berbeda, jelas berakibat .
Akibat 3.
Diberikan ring dengan elemen . Maka untuk setiap .
Bukti.
Ambil sebarang . Perhatikan,
Karena , berakibat . Diperoleh
Misal dengan elemen . Elemen disebut unit (elemen invertibel) jika terdapat sedemikian hingga .
Contoh 4.
Misal diberikan ring dengan operasi penjumlahan dan perkalian modulo 4. Perhatikan tabel berikut
|
0 |
1 |
2 |
3 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
2 |
3 |
2 |
0 |
2 |
0 |
2 |
3 |
0 |
3 |
2 |
1 |
Jelas bahwa merupakan elemen identitas ring . Selanjutnya dan merupakan elemen unit, karena terdapat sedemikian hingga dan sedemikian hingga .
Teorema 5.
Misal ring dengan elemen dan himpunan semua unit dari . Maka
a.
b.
c. untuk setiap
Bukti.
a. Karena . Oleh karena itu,
b. Andaikan . Maka terdapat sedemikian hingga . Di lain pihak . Diperoleh . Jadi, . Hal ini kontradiksi, jadi haruslah .
c. Ambil sebarang . Akan dibuktikan . Karena , berakibat terdapat sedemikian hingga dan . Perhatikan
Jadi, .
Contoh 6.
Misal diberikan ring dengan operasi penjumlahan dan perkalian modulo 7. Perhatikan tabel berikut
|
0 |
1 |
2 |
3 |
4 |
5 |
6 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
2 |
3 |
4 |
5 |
6 |
2 |
0 |
2 |
4 |
6 |
1 |
3 |
5 |
3 |
0 |
3 |
6 |
2 |
5 |
1 |
4 |
4 |
0 |
4 |
1 |
5 |
2 |
6 |
3 |
5 |
0 |
5 |
3 |
1 |
6 |
4 |
2 |
6 |
0 |
6 |
5 |
4 |
3 |
2 |
1 |
Dari tabel di atas, berdasarkan definisi unit, diperoleh bahwa . Jadi, . Selanjutnya jelas bahwa bukan elemen unit. Jadi, . Untuk sifat yang ketiga, silahkan cek sendiri sebagai latihan.