7.2.

Ideal
Pada materi Grup kita ketahui ada Subgrup Normal yang
merupakan Subgrup yang 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
deal.
Pada deal dikenal dengan deal kiri yaitu bila tertutup terhadap
perkalian unsur di sebelah kiri dan deal kanan yaitu bila tertutup terhadap
perkalian unsur di sebelah kanan. !ntuk lebih jelasnya akan kita lihat
dalam definisi berikut "
Definisi 7.3 :
#isalkan $R%&%.' adalah suatu Ring dan $S%&%.' adalah Subring dari R
disebut deal kiri jika untuk setiap
Definisi 7.4 :
#isalkan $R%&%.' adalah suatu Ring dan $S%&%.' adalah Subring dari R
disebut deal kanan jika untuk setiap
Definisi 7.5 :
#isalkan $R%&%.' adalah suatu Ring dan $S%&%.' adalah Subring dari R
disebut deal jika merupakan deal kiri dan deal kanan yaitu untuk setiap
dan
!ntuk lebih mempermudah memahami suatu deal baik itu deal
kiri maupun deal kanan% dapat kita jabarkan secara rinci definisi-definisi
yang telah ada sebagai berikut "
Definisi 7.6 :
#isalkan $R%&%.' adalah suatu Ring dan merupakan himpunan bagian
dari R disebut deal kiri% bila untuk setiap
berlaku "
(. a - b S
). a . b S
*. ra S
Definisi 7.7 :
#isalkan $R%&%.' adalah suatu Ring dan merupakan himpunan bagian
dari R $S R' disebut deal kanan% bila untuk setiap a%b S dan r R%
berlaku "
(. a - b S
). a . b S
*. ar S
Definisi 7.8 :
#isalkan $R%&%.' adalah suatu Ring dan S + f merupakan himpunan bagian
dari R $S R' disebut deal% bila untuk setiap a%b S dan r S% berlaku "
(. a - b S
). a . b S
*. ra S dan ar S
,adi suatu Subring dinamakan deal bila Subring tersebut tertutup
terhadap operasi perkalian unsur di sebelah kiri $deal kiri' dan Subring
tersebut juga tertutup terhadap operasi perkalian unsur di sebelah kanan
$deal kanan'.
Contoh 7.3 :
Dari contoh -.(% #isalkan .
/
0 12% (% )% *3 merupakan suatu Ring%
tunjukan bahwa Subring S 0 12% )3 adalah suatu deal.
Penyelesaian :
Pada contoh -.( telah kita tunjukan bahwa S 0 12% )3 adalah Subring dari
.
/
0 12% (% )% *3. Sekarang kita akan tunjukan bahwa S merupakan suatu
deal% dengan membuktikan bahwa S adalah deal kiri dan deal kanan.
Diketahui "
deal kiri 2 . 2 0 2
( . 2 0 2
) . 2 0 2
* . 2 0 2
2 . ) 0 2
( . ) 0 )
) . ) 0 2
* . ) 0 )
S merupakan deal kiri dari .
/
deal kanan 2 . 2 0 2
2 . ( 0 2
2 . ) 0 2
2 . * 0 2
) . 2 0 2
) . ( 0 )
) . ) 0 2
) . * 0 )
S merupakan deal kanan dari .
/
,adi S merupakan deal kiri dan deal kanan dari .
/
sehingga S adalah
Ideal dari Z
4
.