BAB III

NEAR-RING PRIMA DAN NEAR-RING SEMIPRIMA

Pada bagian ini akan dibahas mengenai ideal prima, near-ring prima, ideal

semiprima dan near-ring semiprima yang meliputi definisi dan sifat-sifatnya yang

dirujuk dari Pilz (1983).

3.1. Ideal Prima

Berikut akan diberikan definisi ideal prima dan beberapa sifat yang terkait

dengan ideal prima.

Definisi 3.1.1. Suatu ideal P dari near-ring N disebut ideal prima jika untuk

setiap ideal I dan J pada N , berlaku

I J⊆P I⊆P ∨ J⊆P.

Contoh 3.1.2. Diberikan near-ring ( , +, ) , maka {0} adalah ideal prima.

Bukti:

Karena {0} merupakan subgrup normal di grup ( , + ) , sehingga himpunan{0}

ideal pada . Diambil sebarang ideal I dan J pada yang memenuhi

I J = {0} . Akan ditunjukkan I = {0} atau J = {0}. Diperoleh kontraposisinya,

jika I ≠ {0} dan J ≠ {0} , maka I J ≠ {0} . Diambil sebarang i ∈ I dan j ∈ J

dengan i ≠ 0 dan j ≠ 0 , akibatnya i j ≠ 0 atau dengan kata lain I J ≠ {0} .

Definisi 3.1.3. Diberikan near-ring N dan himpunan K ⊆ N . Dibentuk

n
himpunan < K > = { ki ni ki ∈ K , ni ∈ N } yaitu ideal yang dibangun oleh
i =1

K ⊆ N , Sedangkan < {i} >=:< i >= {i n n ∈ N } adalah ideal yang dibangun oleh

i∈K .

Berikut akan diberikan teorema yang terkait dengan ideal prima beserta

sifat-sifat yang terkait di dalamnya.

Teorema 3.1.4. Diberikan ideal P pada near-ring N . Pernyataan-pernyataan

berikut ekuivalen:

1) Ideal P adalah prima.

2) Untuk setiap ideal I dan J pada N , jika I J ⊆ P maka I ⊆ P atau

J ⊆ P.

3) Untuk setiap i, j ∈ N , jika i ∉ P dan j ∉ P, maka < i > < j > ⊄ P .

4) Untuk setiap ideal I dan J pada N , jika P ⊂ I dan P ⊂ J , maka

I J ⊄ P.

5) Untuk setiap ideal I dan J pada N , jika I ⊄ P dan J ⊄ P, maka

I J ⊄ P.

Bukti:

1) 2) Jelas berdasarkan Definisi 3.1.1

2) 3) Diambil sebarang i, j ∈ N . Himpunan < i > dan < j > ideal pada N
 yang memenuhi < i > < j > ⊂ P . Berdasarkan (3), diperoleh < i >⊆ P

atau < j >⊆ P , akibatnya i ∈ P atau j ∈ P .

3) 4) Diambil sebarang ideal I dan J pada N dengan P ⊂ I dan P ⊂ J .

Diambil sebarang i ∈ I \ P dan j ∈ I \ P, maka i ∉ P dan j ∉ P .

Diketahui untuk setiap i, j ∈ N . Jika < i > < j > ⊂ P , maka i ∈ P atau

j ∈ P . Diperoleh kontraposisi ada i, j ∈ N jika i ∉ P dan j ∉ P maka

< i > < j > ⊄ P . Karena diketahui i ∉ P dan j ∉ P dengan P adalah

ideal pada N , maka terbukti < i > < j > ⊄ P .

4) 5) Diambil sebarang ideal I dan J pada N dengan I ⊄ P dan J ⊄ P .

Diambil sebarang i ∈ I \ P dan j ∈ I \ P, dibentuk P ⊂< i > + P dan

P ⊂< j > + P . Menurut (4) diperoleh (< i > + P ) (< j > + P ) ⊄ P.

Diambil x ∈ (< i > + P ) (< j > + P ) , sehingga terdapat i ' ∈< i >, j ' ∈< j >

dan p, p ' ∈ P , dan diperoleh persamaan:

x = (i '+ p ) ( j '+ p ')

= i ' ( j '+ p ') + p ( j '+ p ')

= i ' ( j '+ p ') − i ' j '+ i ' j '+ p ( j '+ p ').

Karena i ' ( j '+ p ') − i ' j ' ∈ P , i ' j ' ∈< i > < j > dan p ( j '+ p ') ∈ P,

akibatnya i ' j ' ∉ P yang berarti (i '+ p ) ( j '+ p ') . Jadi x ∉ P , dengan kata

lain terbukti I J ⊄ P.
5) 1) Diambil sebarang ideal I dan J pada N . Jika I ⊄ P dan J ⊄ P maka

I J ⊄ P. Diperoleh kontraposisinya yaitu ada ideal I dan J pada N .

Jika I J ⊆ P maka I ⊆ P atau J ⊆ P . Berdasarkan Definisi 3.1.1

maka P adalah ideal prima.

Teorema 3.1.5 Jika ( Pα )α∈A keluarga ideal-ideal prima, maka Pα := P

α∈A

adalah ideal prima.

Bukti:

Diasumsikan A adalah himpunan terurut total, sedemikian sehingga untuk setiap

α , β ∈ A , jika α ≤ β maka Pα ⊆ Pβ . Diambil sebarang ideal I dan J pada N ,

jika I J ⊆ Pα maka I J ⊆ Pα . Jika terdapat α ∈ A dengan I ⊄ Pα , maka

α∈A

J ⊆ Pα . Sehingga untuk setiap α ≤ β , berlaku J ⊆ Pα ⊆ Pβ . Jika terdapat γ ≤ α

dengan J ⊄ Pγ maka I ⊆ Pγ , sehingga berlaku I ⊆ Pγ ⊆ Pα . Dari sini timbul

kontradiksi, yaitu I ⊄ Pα dan I ⊆ Pγ ⊆ Pα . Sehingga yang benar, untuk setiap

α ∈ A diperoleh J ⊆ Pα dan J ⊆ Pα .
α∈A

Teorema 3.1.6 Diberikan ideal I dan P pada N dengan I ⊆ P. Jika

π :N → N/I = N adalah epimorfisma kanonik, maka berlaku

P adalah ideal prima ⇔ π ( P ) adalah ideal prima.

 ) Diketahui P adalah ideal prima. Akan dibuktikan π ( P ) adalah ideal prima

artinya untuk setiap J1 dan J 2 ideal pada N , jika J1 J 2 ⊆ π ( P) maka

J1 ⊆ π ( P) atau J 2 ⊆ π ( P) . Diambil sebarang J1 dan J 2 ideal pada N ,

dengan J1 J 2 ⊆ π ( P). Kemudian diberikan J1 = π −1 ( J1 ) dan J 2 = π −1 ( J 2 )

dengan menggunakan Teorema 2.3.4 diperoleh J1 J 2 = π −1 ( J1 ) π −1 ( J 2 )

⊆ π −1 ( J1 J 2 ) ⊆ π −1 (π ( P)) = P + I = P . Karena P ideal prima maka J1 ⊆ P

atau J 2 ⊆ P . Akibatnya J1 = π (π −1 ( J1 )) = π ( J1 ) ⊆ π ( P) ,

J 2 = π (π −1 ( J 2 )) = π ( J 2 ) ⊆ π ( P) .

⇐) Diketahui π ( P ) adalah ideal prima. Akan dibuktikan P adalah ideal prima

artinya untuk setiap ideal J1 dan J 2 pada N , jika J1 J 2 ⊆ P maka J1 ⊆ P

atau J 2 ⊆ P. Diambil sebarang ideal J1 dan J 2 pada N , dengan J1 J 2 ⊆ P

akibatnya π ( J1 ) π ( J 2 ) = π ( J1 J 2 ) ⊆ π ( P ). Karena π ( P) ideal prima,

akibatnya π ( I ) ⊆ π ( P ) atau π ( J ) ⊆ π ( P ). Jadi

J1 ⊆ J1 + I = π −1 (π ( J1 )) ⊆ π −1 (π ( P)) = P + I = P atau

J 2 ⊆ J 2 + I = π −1 (π ( J 2 )) ⊆ π −1 (π ( P )) = P + I = P .

Lemma 3.1.7. Jika N near-ring simetri konstan, maka setiap subgrup normal

dari ( N , + ) adalah ideal prima.

Bukti:

Diketahui N adalah near-ring simetri konstan artinya N = N C . Akan dibuktikan

setiap subgrup normal P dari ( N , + ) adalah ideal prima. Pertama ditunjukkan

terlebih dahulu himpunan P adalah ideal pada N , yaitu jika diambil sebarang

p ∈ P dan n, n ' ∈ N maka p n = p∈P sehingga P N ⊆ P dan

n ( n '+ p ) − n n ' = n − n = 0 ∈ P . Dari sini terbukti bahwa himpunan P adalah

ideal pada N . Selanjutnya dibuktikan ideal P adalah prima. Diambil sebarang

ideal I dan J pada N , dengan I J ⊆ P . Akibatnya untuk setiap i ∈ I dan j ∈ J

berlaku i j = i ∈ I ⊆ P . Dari sini terbukti bahwa setiap subgrup normal P dari

( N , + ) adalah ideal prima .

Berikut diberikan suatu teorema mengenai ideal prima yang belum dibahas

di Pilz (1983) yang akan digunakan pada bab selanjutnya.

Teorema 3.1.8. Diberikan near-ring N dan himpunan P ⊆ N dengan

P N ⊆ P. Pernyataan berikut ekuivalen:

1) Untuk setiap ideal I dan J pada N , jika I J ⊆ P maka I ⊆ P atau

J ⊆ P.

2) Untuk setiap i, j ∈ N , jika i N j ∈ P maka i ∈ P atau j ∈ P.

Bukti:

(1 2) Diketahui untuk setiap ideal I dan J pada N , jika I J ⊆ P maka

 I⊆P atau J ⊆ P . Diambil sebarang i, j ∈ N , dengan i N j ∈ P .

Dibentuk < i >= {i n n ∈ N } dan < j >= { j n n ∈ N } , sehingga

n
< i > < j >= { xi yi xi ∈< i >, yi ∈< j >}
i =1
n
={ i ni j ni i ni ∈< i >, j ni ∈< j >}
i =1
n
={ (i ni j ) ni (i ni j ) ∈ P, ni ∈ N } ⊆ P.
i =1

Karena < i > < j >⊆ P , maka < i >⊆ P atau < j >⊆ P , akibatnya i ∈ P

atau j ∈ P.

(2 1) Diketahui untuk setiap i, j ∈ N , jika i N j ∈ P maka i ∈ P atau

j ∈ P. Diambil sebarang ideal I dan J pada N, dengan

n
I J ={ ii ji ii ∈ I , j ∈ J } ⊆ P. Diambil sebarang ii ji ∈ I J ⊆ P maka
i =1

n
i N j = {i ( ni ) j ni ∈ N } ∈ P. Akibatnya i ∈ P atau j ∈ P . Jadi I ⊆ P
i =1

atau J ⊆ P .

3.2. Near-ring Prima

Berikut akan diberikan definisi near-ring prima dan beberapa teorema

yang terkait dengan near-ring prima.

Definisi 3.2.1. Near-ring N disebut prima jika {0} adalah ideal prima.

Contoh 3.2.2. Himpunan ( , +, ) adalah near-ring prima.

Bukti:

Dari Contoh 3.1.2 terbukti bahwa himpunan {0} adalah ideal prima pada ( , +, ) .

sesuai Definisi 3.2.1 berakibat merupakan near-ring prima.

Berikut diberikan pernyataan-pernyataan yang ekuivalen dengan Teorema

3.1.4 hanya dengan mengganti ideal P dengan ideal {0} .

Teorema 3.2.3. Diberikan suatu near-ring N . Pernyataan-pernyataan berikut

ekuivalen:

1) Near-ring N adalah prima.

2) Untuk setiap ideal I dan J pada N , jika I J ⊆ {0} maka I ⊆ {0} atau

J ⊆ {0} .

3) Untuk setiap i, j ∈ N , jika i ∉ {0} dan j ∉ {0}, maka < i > < j > ⊄ {0} .

4) Untuk setiap ideal I dan J pada N , jika {0} ⊂ I dan {0} ⊂ J , maka

I J ⊄ {0}.

5) Untuk setiap ideal I dan J pada N , jika I ⊄ {0} dan J ⊄ {0}, maka

I J ⊄ {0}.

Bukti:

Analog Teorema 3.1.4 dengan mengganti ideal P dengan ideal {0}.

Teorema 3.2.4. Diberikan ideal I pada N . Himpunan I adalah ideal prima

jika dan hanya jika N / I adalah near-ring prima.

Bukti:

) Diketahui himpunan I adalah ideal prima. Akan dibuktikan N / I adalah

near-ring prima artinya {0} adalah ideal prima. Diambil sebarang ideal A + I

dan B + I pada N/I dengan A dan B ideal pada N . Jika

( A + I ) ( B + I ) = A B + I = {0} maka A B ⊆ I . Karena himpunan I adalah

ideal prima, akibatnya A ⊆ I atau B ⊆ I sehingga ( A + I ) = {0} atau

( B + I ) = {0}.

) Diketahui N / I adalah near-ring prima. Akan dibuktikan ideal I adalah

prima artinya untuk setiap A dan B ideal pada N , jika A B ⊆ I maka A ⊆ I

atau B ⊆ I . Diambil sebarang A dan B pada N , dengan A B ⊆ I sehingga

A B + I = ( A + I ) ( B + I ) = {0} . Karena N / I adalah near-ring prima maka

( A + I ) = {0} atau ( B + I ) = {0} berakibat A ⊆ I atau B ⊆ I .

Teorema 3.2.5. Jika N adalah near-ring konstan, maka N adalah near-ring

prima.

Bukti:

Near-ring N mempunyai subgrup normal {0}, sehingga sesuai Lemma 3.1.7

berakibat {0} merupakan ideal prima di N . Dan berdasarkan Definisi 3.2.1

berakibat N merupakan near-ring prima.

Berikut diberikan suatu teorema mengenai near-ring prima yang

merupakan kejadian khusus dari Teorema 3.1.8 sebagai berikut:

Teorema 3.2.6. Diberikan near-ring N . Pernyataan berikut ekuivalen:

1) Untuk setiap ideal I dan J pada N , jika I J = {0} maka I = {0} atau

J = {0} .

2) Untuk setiap i, j ∈ N , jika i N j = 0 maka i = 0 atau j = 0.

Bukti:

(1 2 ) Diketahui untuk setiap ideal I dan J pada N , jika I J = {0} maka

I = {0} atau J = {0} . Diambil sebarang i, j ∈ N , dengan i N j = 0 .

Dibentuk < i >= {i n n ∈ N } dan < j >= { j n n ∈ N } , sehingga

n
< i > < j >= { xi yi xi ∈< i >, yi ∈< j >}
i =1
n
={ i ni j ni i ni ∈< i >, j ni ∈< j >}
i =1
n
={ (i ni j ) ni (i ni j ) = 0, ni ∈ N }
i =1

n n
={ 0 ni ni ∈ N } = { 0} ={0}.
i =1 i =1

Karena < i > < j >= {0} , maka < i >= {0} atau < j >= {0} , akibatnya

i=0 atau j = 0.

(⇐ ) Diketahui untuk setiap i, j ∈ N , jika i N j = 0 maka i = 0 atau j = 0.

Diambil sebarang ideal I dan J pada N , dengan

 n
I J ={ ii ji ii ∈ I , j ∈ J } = {0}. Diambil sebarang ii ji ∈ I J = {0} , maka
i =1

n
i N j = {i ( ni ) j ni ∈ N } = 0. Akibatnya i = 0 atau j = 0 . Jadi I = {0}
i =1

atau J = {0} .

3.3.Ideal Semiprima

Berikut akan diberikan definisi mengenai ideal semiprima dan beberapa

teorema yang terkait dengan ideal semiprima.

Definisi 3.3.1. Suatu ideal S dari near-ring N disebut semiprima, jika untuk

setiap ideal I pada N , berlaku

I I = I2 ⊆ S I ⊆ S.

Contoh 3.3.2. Jika merupakan near-ring terhadap operasi penjumlahan dan

pergandaan biasa, maka {0} adalah ideal semiprima.

Bukti:

Karena {0} merupakan subgrup normal di grup ( , +) sehingga{0}merupakan

ideal pada . Diambil sebarang ideal I pada dan memenuhi I 2 ⊆ {0} . Akan

ditunjukkan I ⊆ {0} . Karena I 2 ⊆ {0} atau I • I ⊆ {0} yang berarti I • I = 0 ,

sehingga diperoleh I = 0. Jadi {0} merupakan ideal semiprima.

Berikut diberikan beberapa teorema dan lemma yang terkait dengan ideal

semiprima.
Teorema 3.3.3. Diberikan ideal S pada N . Pernyataan-pernyataan berikut

ekuivalen:

Ideal S adalah semiprima.

Untuk setiap ideal I pada N , jika I 2 ⊆ S maka I ⊆ S .

Untuk setiap n ∈ N , jika < n > 2 ⊆ S maka n ∈ S .

Untuk setiap ideal I pada N , jika S ⊂ I maka I 2 ⊄ S .

Untuk setiap ideal I pada N , Jika I ⊄ S maka I 2 ⊄ S .

Bukti:

a) b) Jelas berdasarkan Definisi 3.3.1.

b) c) Diambil sebarang n ∈ N dan < n > ideal pada N yang memenuhi

< n > 2 ⊆ S . Berdasarkan (b), diperoleh < n > ⊆ S berakibat n ∈ S .

c) d) Diambil sebarang ideal I pada N dan S ⊂ I . Diambil sebarang

i ∈ I \ S , maka i ∉ S . Diketahui untuk setiap n ∈ N , jika < n > 2 ⊆ S ,

maka n ∈ S . Diperoleh kontraposisi ada n ∈ N jika n ∉ S maka

< n > 2 ⊄ S . Karena diketahui i ∉ S dan S adalah ideal pada N , maka

i ∈ N . Berdasarkan kontraposisi diatas diperoleh < i > 2 ⊄ S . Dengan

kata lain I 2 ⊄ S .

d) e) Diambil sebarang ideal I pada N dan I ⊄ S . Diambil sebarang

i∈I \ S dan dibentuk S ⊂ (< i > + S ) menurut (d) diperoleh

 (< i > + S ) (< i > + S ) ⊄ S . Diambil x ∈ (< i > + S ) (< i > + S ) , sehingga

terdapat i1 ', i2 ' ∈< i > dan s, s ' ∈ S , dan diperoleh persamaan:

x = (i1 '+ s ) (i2 '+ s ').

= i1 ' (i2 '+ s ') + s (i2 '+ s ').

= i1 ' (i2 '+ s ') − i1 ' i2 '+ i1 ' i2 '+ s(i2 '+ s ').

Dengan (i1 ' (i2 '+ s ') − i1 ' i2 ') ∈ S , i1 ' i2 ' ∈< i > < i > dan s (i2 '+ s ') ∈ S

berakibat i1 ' i2 ' ∉ S berarti (i1 '+ s ) (i2 '+ s ') ∉ S . Jadi x ∉ S . Terbukti

I I ⊄ S atau I 2 ⊄ S .

e) a) Diambil sebarang ideal I pada N . Jika I ⊄ S maka I 2 ⊄ S . Diperoleh

kontraposisinya, yaitu ada ideal I pada N . Jika I 2 ⊆ S maka I ⊆ S .

Berdasarkan Definisi 3.3.1 maka S adalah ideal semiprima.

Teorema 3.3.4. Jika ( Sα )α∈A adalah kumpulan ideal semiprima maka Sα

α∈A

adalah ideal semiprima.

Bukti:

Diambil sebarang ideal I pada N . Jika I 2 ⊆ Sα , maka untuk setiap α ∈ A

α∈A

berlaku I 2 ⊆ Sα . Karena ( Sα )α ∈A adalah kumpulan ideal semiprima berakibat

I ⊆ Sα sehingga I ⊆ Sα
α ∈A
Teorema 3.3.5. Diberikan ideal I dan S pada N dengan I ⊆ S . Jika

pemetaan π : N → N / I = N adalah epimorfisma, maka berlaku pernyataan

berikut

S adalah ideal semiprima ⇔ π ( S ) ⊆ N / I adalah ideal semiprima.

Bukti:

) Diketahui S adalah ideal semiprima. Akan dibuktikan π ( S ) adalah ideal

2
semiprima artinya untuk setiap ideal I pada N , jika I ⊆ π ( S ) maka

2
I ⊆ π ( S ) . Diambil sebarang ideal I pada N , dengan I ⊆ π ( S ). Kemudian

dibentuk I = π −1 ( I ) dengan menggunakan Teorema 2.3.4 diperoleh

2
I 2 = π −1 ( I ) π −1 ( I ) ⊆ π −1 ( I ) ⊆ π −1 (π ( S )) = S . Karena S adalah ideal

semiprima, akibatnya I ⊆ S . Jadi terbukti I = π (π −1 ( I )) = π ( I ) ⊆ π ( S ) .

⇐) Diketahui π ( S ) adalah ideal semiprima. Akan dibuktikan S adalah ideal

semiprima artinya untuk setiap ideal I pada N jika I I ⊆ S , maka I ⊆ S .

Diambil sebarang ideal I pada N, dengan I I⊆ S maka

π ( I ) π ( I ) ⊆ π ( I I ) ⊆ π ( S ). Karena ideal π ( S ) adalah semiprima berakibat

π ( I ) ⊆ π ( S ) . Jadi terbukti I = π −1 (π ( I )) ⊆ π −1 (π ( S )) = S .

Lemma 3.3.6. Jika N near-ring simetri konstan, maka setiap subgrup normal

dari ( N , +) adalah ideal semiprima.

Bukti:

Diketahui N adalah near-ring simetri konstan artinya N = N C . Akan dibuktikan

setiap subgrup normal S dari ( N , + ) adalah ideal semiprima. Pertama ditunjukkan

terlebih dahulu himpunan S adalah ideal pada N yaitu diambil sebarang s ∈ S

dan n, n ' ∈ N diperoleh s n = s∈S sehingga S N⊆S dan

n ( n '+ s ) − n n ' = n − n = 0 ∈ S . Dari sini dapat ditunjukkan bahwa himpunan S

adalah ideal pada N . Selanjutnya dibuktikan himpunan S adalah ideal

semiprima yaitu untuk setiap ideal I pada N , jika I I ⊆ S maka I ⊆ S .

Diambil sebarang ideal I pada N , sehingga untuk setiap i ∈ I berlaku

i i = i ∈ I ⊆ S , dengan kata lain I ⊆ S . Dari sini terbukti setiap subgrup normal

S dari ( N , +) adalah ideal semiprima .

Berikut diberikan suatu teorema mengenai ideal semiprima yang belum

dibahas di Pilz (1983) yang akan digunakan pada bab selanjutnya.

Teorema 3.3.7. Diberikan near-ring N dan himpunan S dengan S N ⊆ S .

Pernyataan berikut ekuivalen:

1) Untuk setiap ideal I pada N , jika I 2 ⊆ S maka I ⊆ S .

2) Untuk setiap s ∈ N , jika s N s ∈ S maka s ∈ S .

Bukti:

( ) Diketahui untuk setiap ideal I pada N , jika I 2 ⊆ S maka I ⊆ S . Diambil

sebarang s ∈ N dengan s N s ∈ S . Dibentuk < s >= {s n n ∈ N } , sehingga

 n
< s >2 = { xi 2 xi ∈< s >}
i =1
n
={ xi xi xi ∈< s >}
i =1
n
={ s ni s ni s ni ∈< s >}
i =1
n
={ ( s ni s) ni ( s ni s ) ∈ S , ni ∈ N } ⊆ S .
i =1

Karena < s > 2 ⊆ S maka < s >⊆ S , akibatnya s ∈ S .

(⇐ ) Diketahui untuk setiap s ∈ N , jika s N s ∈ S maka s ∈ S . Diambil

n
sebarang ideal I pada N , dengan I 2 = { ii 2 ii ∈ I } ⊆ S . Diambil sebarang
i =1

n
ii 2 ∈ I 2 ⊆ S maka i N i = {i ( ni ) i ni ∈ N } ∈ S . Akibatnya i ∈ S . Jadi
i =1

I⊆ S.

3.4. Near ring semiprima

Berikut akan diberikan definisi near-ring semiprima dan beberapa teorema

yang terkait dengan near-ring semiprima.

Definisi 3.4.1. Near-ring N disebut semiprima jika {0} adalah ideal semiprima.

Berikut diberikan pernyataan-pernyataan yang ekuivalen dengan Teorema

3.3.3 hanya dengan mengganti ideal S dengan ideal {0} .

Teorema 3.4.2. Diberikan near ring N . Pernyataan-pernyataan berikut

ekuivalen:
 Near ring N adalah semiprima.

Untuk setiap ideal I pada N , jika I 2 ⊆ {0} maka I ⊆ {0} .

Untuk setiap n ∈ N , jika < n > 2 ⊆ {0} maka n ∈ {0} .

Untuk setiap ideal I pada N , jika S ⊂ {0} maka I 2 ⊄ {0} .

Untuk setiap ideal I pada N , Jika I ⊄ {0} maka I 2 ⊄ {0} .

Bukti:

Analog Teorema 3.3.3 dengan mengganti ideal S dengan ideal {0}.

Teorema 3.4.3. Jika N adalah near-ring simetri konstan, maka near-ring N

adalah semiprima.

Bukti:

Near-ring N mempunyai subgrup normal {0}. Sehingga sesuai Lemma 3.3.6,

ideal {0} adalah semiprima pada N . Dan berdasarkan Definisi 3.4.1, akibatnya

N merupakan near-ring semiprima.

Berikut diberikan suatu teorema mengenai near-ring semiprima yang

merupakan kejadian khusus dari Teorema 3.3.7 sebagai berikut.

Teorema 3.4.4. Diberikan near-ring N . Pernyataan berikut ekuivalen:

1. Untuk setiap ideal I pada N , jika I 2 = {0} maka I = {0} .

2. Untuk setiap s ∈ N , jika s N s = 0 maka s = 0.

Bukti:

( ) Diketahui untuk setiap ideal I pada N , jika I 2 = {0} maka I = {0} . Diambil
 sebarang s∈N dengan s N s = 0 . Dibentuk < s >= {s n n ∈ N } ,

sehingga

n
< s >2 = { xi 2 xi ∈< s >}
i =1
n
={ xi xi xi ∈< s >}
i =1
n
={ s ni s ni s ni ∈< s >}
i =1
n
={ ( s ni s) ni ( s ni s) = 0, ni ∈ N }
i =1
n n
={ 0 ni ni ∈ N } = { 0} ={0}.
i =1 i =1

Karena < s > 2 = {0} maka < s >= {0} , akibatnya s = 0.

(⇐ ) Diketahui untuk setiap s ∈ N , jika s N s = 0 maka s = 0. Diambil

n
sebarang ideal I pada N , dengan I 2 = { ii 2 ii ∈ I } = {0}. Diambil
i =1

n
sebarang ii 2 ∈ I 2 = {0} maka i N i = {i ( ni ) i ni ∈ N } = 0 Akibatnya
i =1

i = 0. Jadi I = {0} .

Dari definisi ideal prima dan ideal semiprima di atas. Terdapat keterkaitan

antara ideal prima dengan ideal semiprima, seperti yang tersaji dalam teorema

berikut.
Teorema 3.4.5. Setiap ideal prima merupakan ideal semiprima.

Bukti:

Diketahui himpunan I adalah ideal prima pada N . Berdasarkan Definisi 3.1.1,

untuk setiap ideal I1 dan I 2 pada N jika I1 I 2 ⊆ I , maka I1 ⊆ I atau I 2 ⊆ I .

Kemudian diambil I1 = I 2 diperoleh I1 I 2 = I1 I1 ⊆ I berakibat I1 ⊆ I . Dengan

kata lain himpunan I adalah ideal semiprima pada N .

Teorema 3.4.6. Sebarang irisan dari ideal prima adalah ideal semiprima.

Bukti:

Diambil sebarang ideal I dan J pada N . Diketahui himpunan I ∩ J adalah

ideal prima pada N . Akan ditunjukkan himpunan I ∩ J adalah ideal semiprima.

Berdasarkan pendefinisian ideal prima, suatu ideal I pada N disebut prima jika

untuk setiap ideal I1 dan I 2 pada N dengan I1 I 2 ⊆ I , maka I1 ⊆ I atau I 2 ⊆ I .

Juga berdasarkan pendefinisian ideal prima, suatu ideal J pada N disebut prima

jika untuk setiap ideal J1 , J 2 pada N dengan J1 J 2 ⊆ J , maka J1 ⊆ J atau

J 2 ⊆ J . Dari ideal I , J prima diatas dapat dibentuk suatu irisan sedemikian

sehingga untuk sebarang ideal I1 dan J1 pada N jika I1 J1 ⊆ I ∩ J maka

I1 ⊆ I ∩ J atau J1 ⊆ I ∩ J . Kemudian diambil I1 = J1 diperoleh

I1 J1 = I1 I1 ⊆ I ∩ J , akibatnya I1 ⊆ I ∩ J . Dengan kata lain himpunan I ∩ J

adalah ideal semiprima.

Contoh 3.4.7. Gabungan 2 ideal prima belum tentu ideal prima.

Bukti:

Himpunan 3 dan 5 masing-masing merupakan ideal prima dari near-ring ,

tetapi 3 ∪ 5 = {±0, ±3, ±5, ±6, ±9, ±10...} bukan merupakan ideal prima di ,

sebab ada elemen 5 ∈ 3 ∪ 5 dan 3 ∈ 3 ∪ 5 sehingga 5 − 3 = 2 ∉ 3 ∪ 5 .