RING FAKTOR

Pada suatu ring R, dan N suatu ideal dari R,
maka himpunan semua koset dari N dalam R
akan membentuk sebuah Ring kembali yang
dikatakan Ring Faktor (R/N).
R} r : N r ¦ R/N notasi dengan Ditulis Z
Contoh Contoh 11
adalah sebuah himpunan bilangan bulat,,
diketahui bahwa M adalah himpunan semua
bilangan bulat kelipatan 5 dan M ideal dari
. Tunjukkan bahwa koset - koset dalam
membentuk sebuah gelanggang.
Penyelesaian Penyelesaian
Koset dari M dalam adalah:
M+1 ={..,-9,-4,1,6,11,...}= M+6 =M - 4= ...
M+2 ={...,-8,-3,2,7,12,...}=M+7= M - 3= ...
M+3={...,-7,-2,3,8,13,...}=M+8=M - 2 = ...
M+4={...,-9,-4,1,6,11,..}=M+9 = M - 1= ...
M+1={...,-10,-5,0,5,10,...}=M+5=M+10=...
Sehingga diperoleh,
/M ={M, M + 1, M + 2, M+ 3, M + 4}
&ntuk &ntuk membuktikan membuktikan himpunan himpunan B/M B/M
membentuk membentuk ring ring atau atau tidak tidak akan akan
diselidiki diselidiki melalui melalui tabel tabel Cayley Cayley berikut berikut: :
Tabel cayley untuk /M operasi +
+ M M + 1 M + 2 M + 3 M + 4
M M M + 1 M + 2 M + 3 M + 4
M+1 M + 1 M + 2 M + 3 M + 4 M
M+2 M +2 M + 3 M + 4 M M + 1
M+3 M + 3 M + 4 M M + 1 M + 2
M+4 M + 4 M M + 1 M + 2 M + 3
Tabel Cayley untuk operasi perkalian
terhadap M
Dengan memperhatikan tabel cayley
untuk /M maka dapat dengan mudah
kita selidiki bahwa /M membentuk
sebuah ring yang dikenal dengan ring
faktor
M M + 1 M + 2 M + 3 M + 4
M M M M M M
M+1 M M + 1 M + 2 M + 3 M + 4
M+2 M M + 2 M + 4 M + 1 M + 3
M+3 M M + 3 M + 1 M + 4 M + 2
M+4 M M + 4 M + 3 M + 2 M + 1
Teorema 1 :
Andaikan R adalah suatu Ring dan misalkan N
adalah ideal dari R.
Jika pada himpunan R/N = { r + N : r R }
didefinisikan operasi :
(r
1
+ N) + (r
2
+ N ) = (r
1
+ r
2
) + N
Dan
(r
1
+ N) . (r
2
+ N) = r
1
r
2
+ N
Untuk semua (r
1
+ N), (r
2
+ N) R/N,
Maka <R/N, +, .> adalah Ring.
Z
Z
ukti:
Karena <R,+> adalah suatu grup komutatif,
maka <R/N, +> adalah suatu grup komutatif.
Sekarang, akan diperlihatkan bahwa operasi
perkalian adalah asosiatif dan distributif terhadap
operasi penjumlahannya.
Perhatikan sebarang unsur
(r
1
+ N), (r
2
+ N), (r
3
+ N) R/N.
Maka
((r
1
+ N)(r
2
+ N)) (r
3
+ N)=((r
1
r
2
+ N)(r
3
+ N)
=(r
1
r
2
) r
3
+ N
=r
1
(r
2
r
3
) + N
= (r
1
+ N)(r
2
r
3
+ N)
=(r
1
+N)((r
2
+ N)(r
3
+ N))
Sehingga operasi perkalian adalah asosiatif.
Z
Untuk sebarang (r
1
+ N), (r
2
+ N), (r
3
+ N) R/N.
(r
1
+ N)((r
2
+ N)+(r
3
+ N))= (r
1
+ N)((r
2
+ r
3
)+ N)
= (r
1
(r
2
+ r
3
) + N)=(r
1
r
2
+ r
1
r
3
) + N
= (r
1
r
2
+ N) + (r
1
r
3
+ N)
= (r
1
+ N)(r
2
+ N) + (r
1
+ N)(r
3
+N)
Dengan cara yang sama dapat diperlihatkan
bahwa
((r
1
+ N) + (r
2
+ N))(r
3
+ N)=(r
1
+ N)(r
3
+ N) + (r
2
+ N)(r
3
+ N)
Sehingga <R/N, +, . > adalah suatu Ring.
Z
emma 2 emma 2
Andaikan R adalah Ring komutatif dengan unsur
satuan 1. ila N adalah suatu ideal dari R, maka
R/N adalah suatu ring komutatif dengan unsur
kesatuan.
Andaikan R adalah Ring komutatif dengan unsur
satuan 1. ila N adalah suatu ideal dari R, maka
R/N adalah suatu ring komutatif dengan unsur
kesatuan.
Bukti Bukti
Teorema 1 menjamin R/N adalah suatu ring,
selanjutnya untuk setiap r
1
+ N, r
2
+ N c
R/N,
(r
1
+ N)(r
2
+ N) = r
1
r
2
+ N
= r
2
r
1
+ N
= (r
2
+ N) (r
1
+ N)
sehingga R/N adalah ring komutatif. Karena,
(1 + N) (r + N) = (r + N) (r
1
+ N) = r + N
Untuk semua (r + N) c R/N, (1 + N) adalah
unsur satuan dari R/N
%eorema 3
Andaikan R adalah suatu Ring komutatiI dengan unsur
kesatuan 1, dan misalkan N adalah suatu ideal dari N.
R/N adalah suatu lapangan iika dan hanya iika N adalah
ideal maksimal.
Bukti :
Misalkan R/N adalah suatu lapangan, kita perlihatkan
bahwa N adalah ideal maksimal. Untuk itu misalkan
adalah ideal maksimal dari # sehingga akan
diperlihatkan bahwa # Menurut teorema 2 cukup
diperlihatkan bahwa 1 M.

Z
lapangan suatu adalah R/N kan diperlihat Akan
R/N. dari maksimal ideal adalah N misalkan , Sebaliknya
maksimal. ideal adalah N sehingga R, M Jadi
M. mk maka
M, m dan ideal suatu adalah M karena a, Selaniutny
M. N mk 1 Akibatnya
N. 1 N mk N) N)(k (m bahwa Pastikan
N. 1 N) N)(k (m sehingga
R/N N k terdapat maka lapangan adalah R/N Karena
R/N. N m maka
N m sehingga M, m Misalkan

Z
Z
Z


Z
Z
[ Z
Akan diperlihatkan,
S, n sr , n ¹ sr sembarang Untuk
R. dari ideal suatu adalah S bahwa kan diperlihat Akan
S. N Diperoleh
N} n dan R r : n ¹ ¦sr ÷ S
himpunan Perhatikan
kesatuan) unsur dengan komutatiI R (karena
satuan unsur adalah R/N N) ¹ (r setiap Untuk
2 2 1 1
Z

Z Z
Z
S n2) - (n1 ¹ r2) - s(r1 maka N, n2) - (n1 dan R r2) - (r1 karena
n2) - (n1 ¹ r2) - s(r1 ÷
n2 - n1 ¹ sr2 - sr1 ÷ n2) ¹ (sr2 - n1) ¹ (sr1
Z Z Z
R. dari Ideal adalah S Jadi
S. n)r' ¹ (sr diperoleh sama yang cara Dengan
S. n) ¹ (sr r' iadi N. n r' maka Ideal suatu adalah N Karena
R) r (r' ; n r' ¹ r sr' ÷
n r' ¹ sr r' ÷ n) ¹ (sr r' maka
S, n ¹ sr dan R r' sebarang untuk Perhatikan
Z
Z Z
Z
Z Z
lapangan. suatu adalah R/N Sehingga
satuan. unsur adalah
R/N dari nol unsur tak setiap bahwa berakibat ini Hal
N). ¹ N)(r ¹ (s ÷
N ¹ sr ÷
N ¹ n' ¹ sr ÷ N) ¹ (1
: maka N, n dengan n' sr 1 Misalkan
S. 1 kesatuan unsur sehingga
R. ÷ S maka S, N dan R dari maksimal ideal adalah N Karena
Z
Z

%eorema %eorema 44
Andaikan # adalah suatu gelanggang
komutatif dengan unsur kesatuan 1 dan
misalkan adalah ideal dari #. #
adalah suatu daerah integral jika dan
hanya jika adalah ideal prima.
Bukti Bukti
Karena # adalah suatu gelanggang komutatif
dengan unsur kesatuan 1. Dari lemma 2 telah
dibuktikan bahwa # adalah suatu gelanggang
komutatif dengan unsur kesatuan (1+).
Andaikan adalah suatu ideal prima, untuk
memperlihatkan # adalah suatu daerah integral,
perlihatkan bahwa # tidak mempunyai unsur
pembagi nol. Yakni, jika
(r
1
+ N) (r
2
+ N) = (0+N)
Maka harus diperlihatkan
(r
1
+ N) = (0+N) atau (r
2
+ N) =(0 + N),
Misalkan (r
1
+ N) (r
2
+ N) =(0 + N),
maka r
1
r
2
+ N =(0 + N)
al ini berarti r
1
r
2
c N. Karena adalah suatu
ideal prima, maka r
1
c N atau r
2
c N . Sehingga r
1
+ N = N atau r
2
+ N = N. Jadi # adalah suatu
daerah integral
Sebaliknya, misalkan # adalah suatu daerah
integral, perlihatkan bahwa adalah ideal prima.
Yakni,jika r
1
r
2
c N , maka r
1
c N atau r
2
c N untuk
semua r
1
r
2
c R. Perhatikan sebarang dua unsur r
1
+ N dan r
2
+ N di #ila , r
1
r
2
c N, maka (r
1
+
N) (r
2
+ N) = r
1
r
2
+ N = N
karena # adalah suatu daerah integral
(r
1
+ N) (r
2
+ N) = r
1
r
2
+ N = N
akan selalu berakibat r
1
+ N = N atau r
2
+ N = N
al ini berarti r
1
c N atau r
2
c N . Sehingga
adalah suatu ideal prima.
kibat kibat 55
Setiap Setiap ideal ideal maksimal maksimal dari dari ring ring
komutatif komutatif R R dengan dengan unsur unsur kesatuan kesatuan
adalah adalah ideal prima ideal prima
Bukti : jika N adalah ideal maksimal
dari ring komutatif R dengan unsur
kesatuan, maka teorema 3
mengakibatkan R/N adalah lapangan,
sehingga R/N juga suatu daerah
integral. Selanjutnya, teorema 4
menjamin N adalah suatu ideal prima.

 9:8/03.3349.8#.

7 7Z#< .

: -.3./.3 802:.9 05..3  /0. 0.3  /..9..3.3 -./. -.. 80-:.3. /..9 /09. 25:3.  .7  %:3:.4394   .3 -:.2  202-039: 80-:. 25:3. 4809 4809 /.3 .3 -:.3 -.

/..3 4809 /..             <            <          <          <          <    $03. /50740 .7  /.!03008.2  ..

         < .

3 .3 25:3.&39: 202-:9.

0 :39: . 202-039: 73 .9.: 9.-0 . .-0 ..0 -07:9 -07:9 %.3 /80/ 20.: 9/..

8                                                                .4507.

3 202507.9./.3                      03.%.3 9.-0 .-0 ..0 :39: .5                   :39:            4507..8            507.0 907.

80/ -.3 2:/.. /. 2.. . 9.5.9 /03.

 73 . /03. 202-039: 80-:.3 73 1.947 .3 /03.

3 ..9:#3/. 3/.3#.7#  .3#./0./.%04702.8:.328.././../.5..25:3.

3 7    7    7   7  7 7 7    &39:802:.8 Z 7 . 7   7  #.7 7#< //0138.34507.

.  .#.

#3 Z ../.   .

91  2./..9:7:542:9.:9 .8:. #.# .703..

3 /897-:91 907..  .3 ..3 -.91 /./.3 /507.. !07.91 $0..33.9.3 80-.848.5 4507.3 :38:7 7  7  7  Z #../. 8:.3 .8 503:2.7. 4507.. ./.7.9: 7:5 42:9.9.8 507.

/.. .3 ..8 507..848. . 4507. 7  7  7   7  7  7   7 7 7  7  7 7   7  7  7   7  7  7  $03.91 .

3 7 7  7  7   7    7 Z  #.7.&39:80-.

.5..   7     7 7  7 7 7    7 7 7 7   7 7    7 7  7  7    7  7  03./. 7    7  7   7  7    7  7  $03.3.9.38.#.3 -.2.7..9/507.

   .9:#3 ./.8:..

.022.91 /03.7 # 2.9: /0.3  . #.3 :38:7 8... 3/.9:.. 8:.  . /.3 # ././. #3 42:9.

9:. 8:.91 /03./. ..9: 73 42:9.3 :38:7 08.3 .

 203.23 #.:9 %04702.

 8:..5 7  7   #.3:93.9: 73 80. ./. :39: 809.

#. 7  7   7  7   7 7   7  7  803.

. .   7   7  7  7  &39: 802:. 7   #. 73 42:9.91 ./.703.

 :38:7 8.9:.3 /.7 #.

 ../.   .

./.9:..  3/..3 28.%04702. /.3 # .3 :38:7 08./. 8:..3  .91 /03.7  #.9: #3 42:9.3  /. 8:.9: /0.

 :9  8.82. .  .3 .5..3 #. .3. 8:./. /. /0. 2./.3...9: .3 .

   . /.. 2.. ..7 # 803..82.9.5. &39: 9: 28.3 /507.3 -.9.9: ./.3  . /0. 507./.3.3 -.  ..::5 /507.3 -. 2..   # 03:7:9 904702.82...3 9. 8:.  Z .  ./.9. /0.

8..32Z 803.2[ 2.2 Z#..

 .#.703.

..9 Z#./.5.5.3..907/..32.

/./.3..8:.. $0-.9:/0. 803./0. 28. ..3:93. 2Z $0..2..2Z  ..7#./.82./0.703.89../. 2       !.3-.2.93. 2    2    -.82.32Z 2./# 803../.3.

3#.3/507.9. .

8:.5.3 ../.9:..3.

3 &39:809..3 /507.5 7  Z#.9.

$.3 !07.9:/0.3  ..8:.3 $87 3 7 Z#/.387 3   87  3  Z$ .3-...:38:78.325:3.3/507..9:.9.9:.91 /03./.#42:9.9./.703.33Z < 50740 $  .3:38:708.7# &39:802-./.7.

9./.2.703.3:39:80-.2./.37 Z#/.87 3   87 3 87 87 3 3 8 7 7   3 3 .387 3Z $ 2.8:./7 87 3 Z$ 03.7 87 3  7 87 7 3 87 7 7 3 7 7 Z# .3 3 3 Z  2.38.7./0./..7./$.703..7# .. 7 7 Z#/..8 7 7   3 3 Z$ !07./50740 87 3 7 Z$ .9:/0.3.7 3Z  .....

/.    87 3   87   8  7  .-.5:38:79.:38:708.809.2.3  87 3 /03.7#/..9:..703./.$#  803./0.82..3 $ 2..34/..9-.33 Z 2..3 Z$ 8..3-07.7#.

3  $03.:38:78..9:. .#./.

8:./.3 ...3.9:.5.

3 :38:7 08.3 28.3  /.9:. /. /0./../.3 # ..7 # #.. 8:.3 42:9.%04702.3.9: 0.91 /03.3  ..  3/.

/.. 8:.9: /.3 ./. . ..  .3. /0. . 572. 3907. /. .07.

3  ..3 42:9.  90.. 8:.91 /03./.3 -.9:.703.3. # .9: 0.7 022.3 :38:7 08. /-:9.:9 . #.

9. :39: 202507.. 572. 8:.3   3/./.9: /0. 8:.3 #.91 /03.9:.3  . .9: 0.3..3 42:9..3 :38:7 08./.

9. 8:. 507. 3907.9: /..3 -./.. #. .07.

9.3 7    . 7 7   . 34 . 9/. .: 7    8.3 .9. 2025:3..3 7  7    2.. :38:7 502-..7:8 /507. 7  7    .

./. 8:../ #.: 7  $03.79 77  .  .703.9.9: /0..: 7  .3 -07.572. 2.9. 7 . 7 .

07.3. 3907./. 28..9: /. .3 #. $0-. 8:..

/. 7 . 507.: 7  :39: 802:.9. :38:7 7 /.9. /0. 3907.07..3 /:.3 7 / #.. 77  2.. .7. 77 # !07.3 -.3 80-.9: /. 8:.  ./.  .9.572..3 .

77  2. .. #.703. 7    7  77  .

 3907.9 7 .: -07. 8:.3 -07. 8:. 7   7  77  .: 7  $03../. ...: 7   .  .9: /0. .9: /./.07.572.3 80.79 7  .9.9.-.

/.2..82.82.-.3 :38:7 08.9  $09. :9 .2.91 #/03.2.7 7342:9. 42:9.3 #/03.3 :38:7 08. .-.9:.3 #. /0.9:. /.91 #/03.572. 904702.7 73 /0. /0.  203.82.5 /0.3 2./..3 ..9. /.

 .3  803./.. #.3.5..

 3907.9: /.3:93.572.9: /0.07. 904702. 8:..23 ./. $0.:. .  203. 8:.