V.

IDEAL PADA RING

Pada materi grup kita ketahui ada subgrup normal yang merupakan Subgrup dari suatu grup dan memiliki
sifat khusus.

Di dalam ring juga ada subring khusus yang memiliki sifat-sifat istimewa yaitu tertutup terhadap perkalian
unsur di luar Subring. Subring semacam ini dinamakan suatu ideal.

Pada ideal dikenal dengan ideal kiri yaitu bila tertutup terhadap perkalian unsur di sebelah kiri dan ideal
kanan yaitu bila tertutup terhadap perkalian unsur di sebelah kanan.
Untuk lebih jelasnya akan kita lihat dalam definisi berikut :
–Definisi
  5.1
Misalkan (R,+,.) adalah suatu Ring dan dengan , I disebut ideal kiri dari R jika

Definisi 5.2
Misalkan (R,+,.) adalah suatu Ring dan dengan , I disebut ideal kiri dari R jika

Definisi 5.3
Misalkan (R,+,.) adalah suatu Ring dan dengan , I disebut Ideal Dua Sisi (Ideal Kiri Sekaligus Ideal Kanan) dari R
jika
 Contoh 5.1 –
3
Berdasarkan definisi 5.3, maka { 0 } dan R adalah ideal dari sebarang ring R.
Kedua ideal tersebut disebut ideal tak sejati dari ring R.
Semua ideal dari ring R selain { 0} dan R adalah ideal sejati dari R.

Contoh 5.2
Diketahui Z ring dari bilangan bulat dan dengan K bilangan bulat. Selidiki apakah I ideal dari
Z.
Penyelesaian
Akan dibuktikan I ideal dari Ring Z

Ambil dengan dan

Maka :

Jadi I adalah ideal dari ring Z

–Contoh
  5.3
Diketahui Ring matriks berordo 2 dengan dan
, dengan . Selidiki apakah I merupakan :
a. Ideal kiri dari ring R
b. Ideal kanan dari ring R
c. Ideal dari ring R
Penyelesaian:
a. Ambil sebarang dan dengan , maka
BA = ....
Jadi I adalah....
–b.   AB = ...
Jadi I adalah....
c. Jadi I adalah....

Catatan :
1. Ring yang tidak mempunyai ideal sejati disebut ring sederhana (simple ring).
2. Apabila R ring komutatif, maka ideal kanan juga merupakan ideal kiri.
3. Ideal pasti merupakan subring dan tidak sebaliknya.
4. Syarat ke-2, berlaku berarti bahwa
–Teorema
  5.1
Syarat perlu dan cukup untuk subset tidak kosong I dari ring R merupakan ideal dari R adalah
1. untuk setiap a, b I berlaku:
2. untuk setiap a I dan r R berlaku ar, ra I
Bukti:
Syarat perlu.
Diasumsikan bahwa I merupakan ideal dari ring R.
Dengan menggunakan definisi ideal, berarti ...
Karena I merupakan Ideal, maka I adalah subring dari ring R. Jadi berlaku....
–Syarat
  cukup.
Diasumsikan bahwa I adalah subset tak kosong dari ring R yang memenuhi sifat
1. untuk setiap a, b I berlaku:
2. untuk setiap a I dan r R berlaku ar, ra I
sehingga jika a dan b sebarang dua elemen di dalam I, maka dengan menggunakan sifat (1)
diperoleh:
(i). .....
dan dengan sifat (2), berlaku:
(ii). a I dan b I b R
Dari (i) dan (ii), Ini berarti I adalah .....
Dengan demikian I adalah subring dari ring R yang juga memenuhi sifat (2). Jadi, I ideal dari ring R.