Bab Xii
Bab Xii
Dalam Bab XII ini kita mempelajari lebih jauh tentang ideal dalam suatu ring yaitu
Ideal Prime dan Ideal Maksimal. Ring yang dipandang disini adalah ring komutatif .
Dengan definisi ini kita ingat kembali dalam pelajaran terdahulu bahwa a dan b
berada dalam suatu klas-klas residu yang sama jika dan hanya jika a b P yaitu a
kongruen dengan b atau a b( P ) sehingga jika a 0( P ) berarti a P . Perhatikan bahwa
atau a b 0 & a 0 b 0 .
CONTOH 1
Ideal {0} merupakan ideal prima dalam ring karena untuk sebarang
( a, b)(c, d ) {0} menyatakan bd 0 . Sedangkan ( a, b) {0} maka b 0 atau
CONTOH 2
Ring R sendiri merupakan ideal prima karena ab R & a R b R dengan sendirinya
dipenuhi oleh karena anteseden dari implikasi ini mempunyai nilai salah. □
CONTOH 3
Ideal nol {0} adalah ideal prima karena ring-nya sendiri tidak memuat p.n. sejati. □
CONTOH 4
Misalkan R {.... 2, 1,0,1, 2,....} dan R[ x] ring suku banyak maka ideal (x) yaitu ideal
yang dihasilkan oleh x merupakan ideal prima dalam R[ x] . Karena misalkan f ( x) dan
g ( x ) dua anggota dari R[ x] yaitu
g ( x) b0 b1 x b2 x 2 , dengan bi R
dan f ( x ) a0 a1 x a2 x 2 , dengan ai R
atas kelipatan ring (ring multiples) dari x. Oleh karena itu jika f ( x ), g ( x ) ( x) maka
f ( x ) g ( x ) x h( x )
dengan h( x) R[ x] .
169
Misalkan h( x) c0 c1 x c2 x , dengan ci R maka
2
xh( x) c0 x c1 x 2 c2 x 3
Karena f ( x ) g ( x ) x h( x) maka
a0b0 (a0b1 a1b0 ) x c0 x c1 x 2
Dua suku banyak sama berarti a0b0 0 dengan a0 , b0 R . Karena R tidak memuat
f ( x ) a1 x a2 x 2 x (a1 a2 x )
atau g ( x) b1 x b2 x 2 x (b1 b2 x )
berarti f ( x) atau g ( x ) barada dalam (x). Jadi ideal (x) merupakan ideal prima. □
Dengan kata lain M adalah ideal maksimal jika M tidakmempunyai pembagi sejati
selain R. Suatu ring mungkin saja mempunyai beberapa ideal maksimal yang berlainan.
TEOREMA 12.3
Misalkan R ring dengan elemen satuan dan I ideal dari R, I R maka terdapat ideal
maksimal R yang memuat I.
Bukti
Misalkan S himpunan ideal-ideal J dari R dan memuat I ( S I ). Bahwa S R dan S
sebab I S .
(soal nomor 7)
Sekarang J R sebab 1 R maka 1 J untuk suatu . Akibatnya J adalah batas atas
himpunan C ( S J C R ). Menurut lemma Zorn S mempunyai ideal maksimal sebut
M dan ideal maksimal tersebut juga ideal maksimal dari R terbukti. ■
170
TEOREMA 12.4
Jika R ring komutatif dengan elemen satuan, maka M ideal maksimal dari ring R jika dan
hanya jika R M lapangan.
Bukti
() Diketahui M ideal maksimal dibuktikan R M lapangan.
1
Ambil sebarang a 0 R M , harus ditunjukkan bahwa terdapat a R M sehingga
1
a a 1.
Perhatikan a 0 maka a 0 M atau a M . Bentuk a Ra jelas ideal yang
dibangun oleh satu elemen. Dengan a Ra ideal dan M ideal maka Ra M juga ideal.
Diketahui M ideal maksimal Ra M ideal dan M Ra M R maka
Ra M M atau Ra M R
Karena R memuat elemen satuan ( 1 R ), 1 ra m untuk suatu r R dan m M .
r a (r M )( a M ) ra M (1 M ) M 1 M 1 R M
r 0 R M maka
r M 0 M r 0 M r M
Jadi r R maka r M atau M R . Menurut Teorema 12.3 maka ideal R memuat ideal
maksimal M terbukti ■
CONTOH 5
Diketahui 5 {5n n Z } 5 ideal dalam ring dan 5 merupakan ideal maksimal.
171
{0, 5, 10, 15,},{1, 6, 11, },{2, 7, 12, },{3, 8, 15,},
{4, 9, 14,}
{0, 1, 2, 3, 4} 5
5 5 lapangan menurut Teorema 12.4 jika dan hanya jika 5 ideal maksimal □
TEOREMA 12.5
Misalkan R ring komutatif dengan elemen satuan, maka P ideal prima jika dan hanya jika
R P Daerah Integral.
Bukti
() Diketahui P ideal maksimal dibuktikan R P DI.
a b (a P)(b P) ab P 0
ab P 0 P ab P
dengan ab P dan P ideal prima maka a P atau b P .
Perhatikan bahwa
aP a P 0 P a 0
b P b P 0 P b 0
b 0 b P 0 P b P
Jadi ab P maka a P atau b P yaitu P ideal prima terbukti. ■
172
AKIBAT 12.6
Misalkan R ring komutatif dengan elemen satuan dan M ideal maksimal dalam R maka M
ideal prima.
Bukti
Menurut Teorema 12.4, M ideal maksimal jhj R M lapangan. Menurut Teorema 8.8
R M lapangan jhj R M DI. Akhirnya menurut Teorema 12.5 R M DI jhj M ideal prima
terbukti. ■
2. Tentukan semua ideal prima dan semua ideal maksimal dari 12
3. Tentukan semua ideal prima dan semua ideal maksimal dari 2 2
4. Tentukan semua ideal prima dan semua ideal maksimal dari 2 4
7. Jika J J maka tunjukkan bahwa J merupakan ideal dari R (dalam Teorema 12.3)
A
8. Misalkan R ring komutatif dengan elemen satuan. Tunjukkan bahwa setiap ideal prima
dalam R adalah suatu ideal maksimal
12.6 REFERENSI
2. Soehakso, 1984, Aljabar Abstrak (Ring Ideal dan Field), Edisi Ketiga, terbitan Jurusan
Matematika FMIPA UGM
173