KELOMPOK STRUKBAR

ELLYS AGUSTINA (F1C217006)

BARON AQYS ALRASYID ARITONANG (F1C217010)
YUNUS IMAN KATABBA (F1C217020)
ARRIDHO HAKIM (F1C217027)
LUIDA DEBORA (F1C217028)
 SUBRING

Definisi 1 :
Misalkan R ring dan S subhimpunan tak kosong dari R.
Maka S dikatakan subring dari R, dinotasikan S ≤ R jika S merupakan ring terhadap operasi biner yang
sama pada R.

Definisi 2 :
Misalkan R Ring, S subset dari R, S disebut Sub Ring dari R , jika S dengan operasi yang sama
dengan R membentuk Ring.

Bila kita ingin membuktikan bahwa S merupakan subring dari ring R, dimana S bukan merupakan
himpunan kosong, maka kita harus membuktikannya dengan 8 aksioma penyusun ring di atas.

Teorema1 :
Sebuah subset S pada suatu ring R disebut subring dari R jika dan hanya jika untuk setiap a,b ϵ
S memenuhi :
•S ≠ {},
•a – b ϵ S,
•ab ϵ S .

Setiap ring R paling tidak mempunyai 2 macam subring, yaitu subring R sendiri dan {0}. Subring
{0} dinamakan subring trivial, sedangkan R dinamakan subring tak sejati.
UNTUK MENGUJI SUBRING
Contoh
Diberikan (R, +,×) adalah ring, S = {a Œ R | xr = rx ,"r Œ R}, buktikan S
subring R.
_x0000_
Jawab
I. S ¹ f karena 0 r = 0 = r0 ,"r Œ R , maka 0Œ S
II. x Œ S maka x Œ R , jadi S Õ R
III. Ambil x, y ΠS , karena x, y ΠS , maka xr = rx dan yr - ry .
Akan dibuktikan (x - y )r = r(x - y ),"r ΠR
Ambil sebarang r ΠR ,
Maka (x - y )r = xr - yr
rx - ry
r (x - y)
Jadi x - y ΠS
IV. Ambil x, y ΠS , karena x, y ΠS , maka xr = rx dan yr = ry

xy r x yr
x ry
xr y
rx y
r xy
=
=
=
=
=
Jadi xy ΠS dan S subring R