SUBRING

Definisi E-1 :

Suatu himpunan bagian S dari suatu ring R dinamakan suatu subring dari R jika S
sendiri merupakan sutau ring terhadap operasi yang sama

Pada setiap ring, pasti terdapat subring, minimal dua subring yaitu {0} dan R.
Himpunan {0} dan R disebut subring tak sejati. Selain {0} dan R disebut subring sejati

Ingat kembali saat kita mempelajari subgrup. Andaikan G adalah grup, himpunan tak
kosong 𝐻 ⊆ 𝐺disebut subgrup jika ∀𝑎, 𝑏 ∊ 𝐻 berlaku 𝑎𝑏 −1 ∈ 𝐻. Karena pada suatu ring
R,〈𝑅, +〉 adalah suatu grup, maka syarat tersebut juga dapat digunakan saat kita membuktikan
suatu himpunan bagian 𝑆 ⊆ 𝑅 adalah subring dari suatu ring R. Teorema berikut
menunjukkan cara untuk membuktikan subring

Teorema E – 1 :

Himpunan S adalah suatu himpunan bagian tak kosong dari suatu ring R. S dikatakan
subring dari R jika dan hanya jika :

i. ∀ 𝑥, 𝑦 ∊ 𝑆 → 𝑥 − 𝑦 ∊ 𝑆
ii. ∀ 𝑥, 𝑦 ∊ 𝑆 → 𝑥 − 𝑦 ∊ 𝑆

Perhatikan operasi pertama pada teorema diatas tanda (-) merupakan invers dari
operasi (+), sedangkan operasi kedua sama artinya dengan operasi kali (Operasi kedua pada
ring)

Pada teorema diatas terdapat 2 pernyataan yang harus dibuktikan yaitu :

1. Jika S subring dari R maka kedua syarat (i),(ii) dipenuhi
2. Jika kedua syarat (i),(ii) dipenuhi maka S subring dari R
Bukti :

1. Diketahui S subring dari R. Dari definisi E-1 maka aksioma ring dipenuhi, dengan
demikian syarat (1) yang merupakan aksioma invers aditif dan syarat (ii) yang
merupakan aksioma tertutup pada operasi kedua (•) dipenuhi. Jadi terbukti kedua
syarat dipenuhi. Sebaliknya
2. S himpunan bagian dari R, artinya semua unsur di S merupakan unsur di R,
berdasarkan pernyataan diatas maka :
Syarat (i) menjamin bahwa S subgrup aditif dari R jadi 〈𝑆, +〉 berupa grup komutatif
Selanjutnya, 〈𝑆,•〉 memenuhi sifat tertutup dan assosiatif. Demikian juga sifat
distributif kiri dan kanan dipenuhi karena ∀ 𝑥, 𝑦, 𝑧 ∊ 𝑆 maka ∀ 𝑥, 𝑦, 𝑧 ∊ 𝑅
Jadi terbukti bahwa S merupakan subring dari R

Contoh 19 :
Himpunan semua bilangan bulat 𝕫 terhadap operasi penjumlahan dan perkalian biasa dapat
ditunjukkan merupakan suatu ring. Himpunan 3𝕫 = {3𝑧|𝑧 ∊ 𝕫} dengan operasi yang sama
merupakan subring dari 𝕫
Bukti :
Untuk membuktikannya kita gunakan Teorema E – 1 :
Ambil sebarang 𝑥, 𝑦 ∊ 3𝕫 maka x dan y dapat ditulis sebagai :
𝑥 = 3𝑥1 dan 𝑦 = 3𝑦1 dengan 𝑥1 𝑦1 ∈ 𝕫
Perhatikan :
𝑥 − 𝑦 = 3𝑥1 − 3𝑦1 = 3(𝑥1 − 3𝑦1 ) ∊ 𝕫

𝑥𝑦 = 3𝑥1 3𝑦1 = 3(3𝑥1 𝑦1 ) ∊ 3𝕫

Menurut Teorema E – 1, terbukti 3𝕫 subring dari 𝕫

Contoh 20 :
Dengan cara yang sama secara umum diperoleh bahwa himpunan kelipatan dari suatu unsur
𝕫, n𝕫 = {𝑛𝕫 |𝑧 ∊ 𝕫, 𝑛 suatu unsur di 𝕫+ } merupakan subring dari 𝕫