Anda di halaman 1dari 2

H.

Ideal

Sekarang, kita alihkan perhatian kita pada himpunan bagian dari ring yang sama
menariknya dengan subgrup normal dari suatu grup, yakni konsep ideal

Definisi H-1

Suatu subring N dari suatu ring R dikatakan ideal kiri dari R jika untuk setiap r R dan
setiap n N, berlaku rn N. Sebaliknya, subring N dari ring R dikatakan ideal kanan
dari R jika untuk setiap r R dan setiap n N, berlaku nr N. Selanjutnya subring N
dikatakan ideal dari R bila N adalah ideal kiri dan sekaligus ideal kanan dari R, artinya
untuk setiap r R dan setiap n N, rn dan nr keduanya berada di N.

Dalam suatu ring, pasti terdapat minimal dua buah ideal, yaitu {0} dan R yang disebut
ideal tak sejati. Selain {0} dan {R}, ideal disebut ideal sejati.

Secara umum di dalam suatu ring, ideal kiri dengan ideal kanan mungkin saja
berbeda. Tetapi bila ring R yang kita bicarakan adalah ring komutatif, maka ideal kiri
dengan ideal kanan tidak mempunyai perbedaan sama sekali. Dari definis atas, kita
dapat menyatakan bahwa suatu subring N dari ring R adalah ideal kiri dari R jika untuk
setiap r R berlaku rN N. Sebaliknya, suatu subring N dari R dikatakan sebagai

ideal kanan dari R jika Nr untuk semua r R. Untuk memeriksa suatu subring
merupakan suatu ideal, kita menggunakan cara yang dikemukakan oleh teorema berikut
ini.

Teorema H-1

Andaikan R suatu ring. Suatu himpunan bagian tak kosong N dari R dikatakan ideal dari
R jika N memenuhi

1. Untuk setiap a,b N diperoleh a-b N


2. Untuk setiap n N dan setiap r R, rn dan nr berada di N

Bukti :

Andaikan N adalah himpunan bagian tak kosong dari ring R yang memenuhi aksioma
(1) dan (2). Kita perlihatkan N adalah suatu ideal dari R. Menurut definisi H-1, kita
cukup memperlihatkan bahwa N adalah subring dari R
Karena N tak kosong, sedikitnya terdapat satu x N. Dengan menggunakan
aksioma (1), diperoleh fakta bahwa x-x = o N. Selanjutnya dari aksioma (2) kita
ketahui bahwa setiap x,y N, diperoleh xy N. Akibatnya N adalah suatu himpunan
bagian dari R yang memenuhi aksioma

1. 0 N
2. Untuk setiap x,y N, x-y N
3. Untuk setiap x,y N, xy N

Sehingga menurut Teorema E-1, N adalah ssubring dari R, dan sekarang kita dapat
menyatakan bahwa N adalah suatu ideal dari R

Contoh

Himpunan