IDEAL PRIMA DAN IDEAL MAKSIMAL

MAKALAH

Disusun untuk memenuhi tugas mata kuliah Struktur Aljabar 2 yang dibina oleh Ibu Indriati

Oleh :

1. Guruh Refornando (160312604929)

2. Hesti Suryaningrum (160312604806)
3. Nur Hadi Irawan (160312604882)
4. Suci Dinda Maulidah (160312604847)
5. Syahrul Khoironi (160312601915)
6. Syarif Al Haramain (160312604921)

UNIVERSITAS NEGERI MALANG

FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM
JURUSAN MATEMATIKA
Maret 2018
2.1 Definisi Ideal Prima

Ideal prima A dari suatu komutativ ring R adalah ideal sejati dari R sedemikian sehingga
𝑎, 𝑏 ∈ 𝑅 dan 𝑎𝑏 ∈ 𝐴 mengakibatkan 𝑎 ∈ 𝐴 𝑎𝑡𝑎𝑢 𝑏 ∈ 𝐴

Dalam Bahasa Matematis, definisi ini dapat ditulis sebagai berikut

Misal R adalah ring komutativ dan 𝑎, 𝑏 ∈ 𝑅

Jika 𝑎𝑏 ∈ 𝐴 maka 𝑎 ∈ 𝐴 𝑎𝑡𝑎𝑢 𝑏 ∈ 𝐴

Contoh Soal

1. Tunjukkan bahwa <3> = 𝟑𝒁 adalah ideal prima dari Z!

Jawab :
Langkah 1 : Menunjukkan bahwa <3> adalah ideal dari Z
Ideal Test
a. Menunjukkan <3> tidak kosong
∃3 = 1.3 ∈< 3 >∋ < 3 > ≠ ∅

b. Menunjukkan < 3 > ⊆ 𝑍

Ambil sebarang 𝑥 ∈ < 3 >

karena 𝑥 ∈ < 3 > maka x dapat dinyatakan dengan 𝑧3 dengan 𝑧 ∈ 𝑍. Karena 𝑧 ∈ 𝑍

dan 𝑍 adalah ring, didapatkan bahwa 𝑥 = 𝑧3 ∈ 𝑍.

 < 3 >⊆ 𝑍
c. Menunjukkan 𝑥 − 𝑦 ∈ < 3 >, ∀𝑥, 𝑦 ∈< 3 >

Ambil sebarang 𝑥, 𝑦 ∈ < 3 >. Karena 𝑥, 𝑦 ∈ < 3 > maka x,y dapat dinyatakan
dengan 𝑥 = 𝑧1 3 𝑑𝑎𝑛 𝑦 = 𝑧2 3, 𝑧1 , 𝑧2 ∈ 𝑍.

Didapatkan

𝑥 − 𝑦 = 𝑧1 3 − 𝑧2 3

Karena 𝑧1 , 𝑧2 , 3 ∈ 𝑍 dan Z adalah ring didapatkan

𝑥 − 𝑦 = (𝑧1 − 𝑧2 )3
 Karena 𝑧1 , 𝑧2 ∈ 𝑍 dan Z adalah ring didapatkan bahwa 𝑥 − 𝑦 ∈ < 3 >

d. Menunjukkan 𝑎𝑟 ∈< 3 > 𝑑𝑎𝑛 𝑟𝑎 ∈< 3 > , ∀𝑎 ∈< 3 >, 𝑑𝑎𝑛 𝑟 ∈ 𝑍

Ambil sebarang 𝑎 ∈ < 3 > 𝑑𝑎𝑛 𝑟 ∈ 𝑍. Karena 𝑎 ∈ < 3 > dan 𝑟 ∈ 𝑍 didapatkan

𝑎𝑟 = 𝑧3𝑟, 𝑧 ∈ 𝑍

Karena 𝑧, 𝑟, 3 ∈ 𝑍 dan 𝑍 adalah ring komutativ didapatkan

𝑎𝑟 = 𝑟𝑧3

Karena 𝑎 ∈ < 3 > dan < 3 > ⊆ 𝑍 didapatkan bahwa 𝑎 ∈ 𝑍

 Karena 𝑎, 𝑟 ∈ 𝑍 dan Z adalah ring komutativ diketahui bahwa 𝑎𝑟 = 𝑟𝑎 ∈ < 3 >

 Sesuai Ideal Test, didapatkan bahwa < 𝟑 > ideal dari Z

Langkah 2 : Menunjukkan bahwa <3> adalah ideal prima dari Z

a. Menunjukkan bahwa <3> ideal sejati dari Z

∃1 ∈ 𝑍, 1 ∉ < 3 > ∋ < 3 > ≠ 𝑍

b. Menunjukkan <3> adalah ideal prima dari Z [sesuai definisi]

Ambil sebarang x = 𝑎𝑏 ∈ < 3 >. Karena 𝑥 = 𝑎𝑏 ∈< 3 >, 𝑥 dapat dinyatakan

dengan 𝑥 = 𝑎𝑏 = 𝑧3, ∃𝑧 ∈ 𝑍. Dari bentuk tersebut dapat dilihat bahwa

𝑎 = 3 = 1.3 ∈< 3 >.

 Sesuai definisi ideal prima, <3> adalah ideal prima dari Z [Terbukti]
Perhatikan bahwa :

<n> adalah ideal prima dari Z jika dan hanya jika n adalah bilangan prima.

()

Andaikan bahwa <n> adalah ideal prima dari Z dan n bukan bilangan prima, karena n bukan
bilangan prima didapatkan bahwa 𝑛 = 𝑠𝑡, 𝑠 < 𝑛, 𝑡 < 𝑛, tetapi 𝑠 ∉< 𝑛 > 𝑑𝑎𝑛 𝑡 ∉ 𝑛.

 Terjadi kontradiksi, maka n bilangan prima.

()

Misal n adalah bilangan prima dan 𝑎𝑏 ∈ < 𝑛 >.

Karena 𝑎𝑏 ∈ < 𝑛 >, didapatkan

𝑎𝑏 = 𝑧𝑛, ∃𝑧 ∈ 𝑍

Dari pernyataan tersebut, diperoleh dua kemungkinan yaitu n|a atau n|b, sedemikian sehingga
𝑎 ∈ < 𝑛 > 𝑎𝑡𝑎𝑢 𝑏 ∈ < 𝑛 >.

2.2 Definisi Ideal Maksimal

Ideal maksimal prima A adalah dari suatu komutativ ring R adalah ideal sejati dari R
sedemikian sehingga, jika B adalah ideal dari R dan 𝐴 ⊆ 𝐵 ⊆ 𝑅 maka 𝐵 = 𝐴 𝑎𝑡𝑎𝑢 𝐵 = 𝑅

Dalam Bahasa Matematis, definisi ini dapat ditulis sebagai berikut

Misal R adalah ring komutativ dan A adalah ideal sejati dari R

Jika B adalah ideal dari 𝑅 𝑑𝑎𝑛 𝐴 ⊆ 𝐵 maka 𝐵 = 𝐴 𝑎𝑡𝑎𝑢 𝐵 = 𝑅

Contoh Soal

̅ > adalah ideal maksimal dari 𝒁𝟑𝟔 !

1. Tunjukkan bahwa < 𝟑

Langkah 1: Menunjukkan < 3̅ > adalah ideal dari 𝑍36

Ideal Test

a. Menunjukkan < 3̅ > tidak kosong

∃3̅ = 1. 3̅ ∈ < 3̅ > ∋ < 3̅ >≠ ∅
b. Menunjukkan < ̅3 > ⊆ 𝑍36
Ambil sebarang 𝑥 ∈< 3̅ >.
Karena 𝑥 ∈ < 3̅ >, didapatkan 𝑥 = 𝑧3̅, 𝑧 ∈ 𝑍36
Karena 𝑧, 3̅ ∈ 𝑍36 dan 𝑍36 adalah ring didapatkan 𝑥 = 𝑧3̅ ∈ 𝑍36
 < ̅3 > ⊆ 𝑍36
c. Menunjukkan 𝑥 − 𝑦 ∈< 3̅ >, ∀𝑥, 𝑦 ∈ < 3̅ >
Ambil sebarang 𝑥, 𝑦 ∈ < 3̅ >
Karena 𝑥, 𝑦 ∈ < 3̅ >, didapatkan
𝑥 ∈ 𝑧1 3̅ 𝑑𝑎𝑛 𝑦 = 𝑧2 3̅, 𝑧1 , 𝑧2 ∈ 𝑍36
𝑥 − 𝑦 = 𝑧1 3̅ − 𝑧2 3̅
Karena 𝑧1 , 𝑧2 , 3 ∈ 𝑍36 dan 𝑍36 adalah ring didapatkan
𝑥 − 𝑦 = (𝑧1 − 𝑧2 )3̅
Karena 𝑧1 , 𝑧2 ∈ 𝑍36 dan 𝑍36 adalah ring didapatkan 𝑥 − 𝑦 ∈< 3̅ >
d. Menunjukkan 𝑎𝑟 ∈< 3̅ > 𝑑𝑎𝑛 𝑟𝑎 ∈< 3̅ >, ∀𝑎 ∈< 3̅ >, 𝑟 ∈ 𝑍36
Ambil sebarang 𝑎 ∈ < 3̅ > dan r ∈ 𝑍36
Karena 𝑎 ∈ < 3̅ > , 𝑎 = 𝑧3̅, 𝑧 ∈ 𝑍36
𝑎𝑟 = 𝑧3̅𝑟
Karena 𝑟, 𝑧, 3̅ ∈ 𝑍36 dan 𝑍36 adalah ring komutativ didapatkan
𝑎𝑟 = 𝑧𝑟3̅
Karena 𝑧, 𝑟 ∈ 𝑍36 dan 𝑍36 adalah ring didapatkan 𝑎𝑟 ∈ < 3̅ >
Karena 𝑎 ∈ < 3̅ > dan < 3̅ >⊆ 𝑍36 didapatkan 𝑎 ∈ 𝑍36
 Karena 𝑎, 𝑟 ∈ 𝑍36 dan 𝑍36 adalah ring komutativ didapatkan 𝑎𝑟 = 𝑟𝑎 ∈ < 3̅ >
̅ > ideal dari 𝒁𝟑𝟔
 Sesuai Ideal Test, didapatkan bahwa < 𝟑
Langkah 2: Menunjukkan < 3̅ > adalah ideal maksimal dari 𝑍36

a. Menunjukkan bahwa < 3̅ >adalah ideal sejati dari 𝑍36

∃1̅ ∈ 𝑍36 , 1̅ ∉< 3̅ > ∋ < 3̅ >≠ 𝑍36
b. Menunjukkan bahwa <3> adalah ideal maksimal dari 𝑍36 [Sesuai Definisi]
Ambil sebarang B ideal dari 𝑍36 dan < 3 > ⊆ 𝐵
Perhatikan bahwa setiap ideal dari 𝑍36 dapat dinyatakan dalam diagram lattice
berikut.

𝑍36 = {0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20, … … ,31,32,33,34,35}

< 2 > = {0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34}

< 3 > = {0, 3, 6, 9, 12, 15, 18, 21, 24, 27, 30, 33}

< 4 > = { 0, 4, 8, 12, 16, 20, 24, 28, 32}

< 6 > = {0, 6, 12, 18, 24, 30}

< 9 > = {0, 9, 18, 27}

< 12 > = {0, 12, 24}

< 18 > = {0, 18}

< 0 > = {0}

Dari daftar di atas tampak bahwa untuk setiap B ideal dari 𝑍36 , jika < 3 > subset dari B,
maka B = < 3 > atau B = 𝑍36 .

Jadi <3> adalah ideal maksimal dari 𝑍36

Teorema

Misal R adalah komutativ ring dengan unity dan misal A ideal dari R.

R/A adalah domain integral jika dan hanya jika A adalah ideal prima

Bukti :

()

Misal R/A adalah integral domain dan 𝑎𝑏 ∈ 𝐴.

(𝑎 + 𝐴)(𝑏 + 𝐴) = 𝑎𝑏 + 𝐴 = 0 + 𝐴

Karena R/A adalah integral domain dari A, hanya terdapat dua kemungkinan yaitu

𝑎 + 𝐴 = 0 + 𝐴 = 𝐴 atau 𝑏 + 𝐴 = 0 + 𝐴 = 𝐴 , atau yang dapat dinyatakan dengan 𝑎 ∈ 𝐴 atau

𝑏 ∈ 𝐴.

Dengan demikian, sesuai definisi diketahui bahwa 𝐴 adalah ideal prima.

()

Misal A adalah ideal prima dari R/A.

Karena A adalah ideal prima didapatkan

(𝑎 + 𝐴)(𝑏 + 𝐴) = 𝑎𝑏 + 𝐴 = 0 + 𝐴 = 𝐴

Dengan begitu didapatkan bahwa 𝑎𝑏 ∈ 𝐴.

Karena A adalah ideal prima didapatkan bahwa

𝑎 + 𝐴 ∈ 𝐴 atau 𝑏 + 𝐴 ∈ 𝐴 atau yang dapat dinyatakan dengan

𝑎 + 𝐴 = 0 + 𝐴 = 𝐴 atau 𝑏 + 𝐴 = 0 + 𝐴 = 𝐴.

Dari pernyataan tersebut, sesuai definsi diketahui bahwa R/A adalah integral domain
Teorema
Misal R adalah ring komutativ dengan unity dan misal A adalah ideal dari R.

R/A adalah field jika dan hanya jika A adalah ideal maksimal.

Bukti :

()

Misal R/A adalah field dan B adalah ideal dari R yang memuat dan tidak sama dengan A.
Misal 𝑏 ∈ 𝐵 tetapi 𝑏 ∉ 𝐴. Maka b+A adalah elemen tidak nol dari R/A dan karenanya ∃𝑐 +
𝐴 ∋ (𝑏 + 𝐴)(𝑐 + 𝐴) = 1 + 𝐴, unity dari R/A. Karena 𝑏 ∈ 𝐵, kita memiliki 𝑏𝑐 ∈ 𝐵. Karena

1 + 𝐴 = (𝑏 + 𝐴)(𝑐 + 𝐴) = 𝑏𝑐 + 𝐴

Kita dapatkan 1 − 𝑏𝑐 ∈ 𝐴 ⊂ B. Jadi, 1 = 1 − 𝑏𝑐 + 𝑏𝑐 ∈ 𝐵. Karena 1 ∈ 𝐵, maka 𝐵 = 𝑅.

Hal ini menunjukkan bahwa A adalah ideal maksimal.

()

Misal A adalah ideal maksimal dan misal 𝑏 ∈ 𝑅 tetapi 𝑏 ∉ 𝐴. Pernyataan tersebut telah cukup
dibuktikan dengan menyatakan bawa b+A memilki invers perkalian.

Hitung 𝐵 = {𝑏𝑟 + 𝑎|𝑟 ∈ 𝑅, 𝑎 ∈ 𝐴}. B adalah ideal dari R yang memuat dan tidak sama
dengan 𝐴. Karena 𝐴 adalah ideal maksimal, kita dapatkan 𝐵 = 𝑅. Karenanya

1 ∈ 𝐵, 1 = 𝑏𝑐 + 𝑎′ + 𝐴 = 𝑏𝑐 + 𝐴 = (𝑏 + 𝐴)(𝑐 + 𝐴)

Karena b+A memiliki invers perkalian maka A adalah ideal maximum.

Perhatikan bahwa :
 Setiap ideal maksimal adalah ideal prima

Andaikan A bukan merupakan ideal prima, berdasarkan teori pertama didapatkan bahwa R/A
bukan merupakan integral domain. Pada pembahasan sebelumnya telah diketahui bahwa field
adalah integral domain khusus.

 Terjadi kontradiksi
 Jadi, jika A bukan merupakan ideal prima, R/A bukan merupakan field.

Karena

NB : Semua ideal prima adalah ideal maksimal [Salah]

Bukti

∃ < 𝑥 > ideal prima di 𝑍[𝑥] , ∃< 𝑥, 2 > ideal dari 𝑍[𝑥] ∋ < 𝑥 > ⊆ < 𝑥, 2 > ⊆ 𝑍[𝑥] dan <
𝑥 >≠< 𝑥, 2 > dan < 𝑥, 2 > ≠ 𝑍[𝑥]