Subring Test
Suatu subset takkosong S dari suatu ring R adalah subring jika S tertutup terhadap
pengurangan dan perkalian , yaitu, jika a - b dan ab di S bilamana a dan b di S.
Misalkan R adalah sebuah ring dan S adalah subset dari R, maka S adalah sebuah
subring dari R jika dan hanya jika memenuhi :
1. 𝑆 ≠ ∅
2. 𝑎 − 𝑏 ∈ 𝑆, ∀𝑎, 𝑏 ∈ 𝑆
3. 𝑎𝑏 ∈ 𝑆, ∀𝑎, 𝑏 ∈ 𝑆
1) Misalkan 𝑍6 merupakan ring. Tunjukkan bahwa {0,2,4} adalah sebuah subring dari
𝑍6 dan 4 merupakan unity dari {0,2,4}.
Penyelesaian :
a) Menggunakan Definisi :
𝑍6 = { 0, 1, 2, 3, 4, 5}
{0,2,4} ⊆ 𝑍6
1
( i ) Pembuktian bahwa ({0,2,4},+,.) adalah ring
+ 0 2 4 . 0 2 4
0 0 2 4 0 0 0 0
2 2 4 0 2 0 4 2
4 4 0 2 4 0 2 4
∴ Karena {0,2,4} ⊆ 𝑍6 dan ({0, 2, 4,+,.) adalah ring, maka {0,2,4} adalah subring dari 𝑍6
2
b) Menggunakan Teorema
𝑍6 = { 0, 1, 2, 3, 4, 5}
( ii ) (𝑍6 , −)
- 0 2 4
0 0 0 0
2 2 0 4
4 4 2 0
Dari tabel Cayley diatas terbukti bahwa ∀𝑎,b ∈ {0, 2, 4}, 𝑎 − 𝑏 ∈ {0, 2, 4}
( iii ) (𝑍6 , . )
. 0 2 4
0 0 0 0
2 0 4 2
4 0 2 4
Dari tabel Cayley diatas terbukti bahwa ∀𝑎,b ∈ {0, 2, 4}, 𝑎𝑏 ∈ {0, 2, 4}
Dari tabel cayley di atas juga, terbukti bahwa 4 merupakan unity dari {0, 2, 4}
Jadi {0, 2, 4} merupakan subring dari 𝑍6 karena telah memenuhi syarat subring.
3) {0} dan R adalah subring dari setiap ring R. {0} disebut subring trivial dari R dan R
disebut subring tak sejati dari R. Subring selain {0} dan R disebut subring sejati dari R
3
Penyelesaian :
(C,+,.)
Z[i] = { a + bi ǀ a, b ∈ ℤ}
(i) ∃0 ∈ ℤ ∋ 0 + 0.i = 0 ∈ Z[i] , sehingga Z[i] ≠ Ø
(ii) Ambil sebarang a = c + di , b = x + yi ∈ Z[i] , adib a - b ∈ Z[i]
a – b = (c + di) – (x + yi)
= c + di – x – yi
= c – x + di – yi
= (c – x) + (d – y )i,
Karena (c – x ), (d – y ) ∈ ℤ, maka a - b ∈ Z[i]
(iii) Ambil sebarang a = c + di , b = x + yi ∈ Z[i] , adib a.b ∈ Z[i]
a. b = (c+ di). (x + yi)
= cx + cyi + dxi - dy
= cx – dy + cyi + dxi
= (cx – dy) + (cy + dx) i
Karena (cx – dy), (cy + dx) ∈ ℤ, maka a.b ∈ Z[i]
∴ Terbukti bahwa Z[i] = { a + bi ǀ a, b ∈ ℤ} adalah subring dari bilangan kompleks C.
5) Himpunan
𝑎 0
{[ ] ǀ 𝑎, 𝑏 ∈ ℤ}
0 𝑏
adalah subring dari ring M2x2 terhadap ℤ.
Penyelesaian :
𝑎 0
Misal A = {[ ] ǀ 𝑎, 𝑏 ∈ ℤ}, maka A ⊆ M2(ℤ)
0 𝑏
0 0
( i ) ∃0 ∈ ℤ ∋ [ ] ∈ 𝐴. A ≠ Ø
0 0
𝑐 0 𝑒 0
( ii ) Ambil sebarang a = [ ], 𝑏 = [ ] ∈ 𝐴 adit 𝑎 − 𝑏 ∈ 𝐴
0 𝑑 0 𝑓
𝑐 0 𝑒 0
a-b = [ ]-[ ]
0 𝑑 0 𝑓
𝑐−𝑒 0
= [ ]
0 𝑑−𝑓
𝑐−𝑒 0
= [ ]
0 𝑑−𝑓
Karena (c - e), (d - f) ∈ ℤ , maka 𝑎 − 𝑏 ∈ 𝐴
𝑐 0 𝑒 0
(iii) Ambil sebarang a = [ ], 𝑏 = [ ] ∈ 𝐴 adit 𝑎𝑏 ∈ 𝐴
0 𝑑 0 𝑓
𝑐 0 𝑒 0
𝑎. 𝑏 =[ ].[ ]
0 𝑑 0 𝑓
𝑐𝑒 + 0 𝑐0 + 0𝑓
=[ ]
0𝑒 + 𝑑0 0 + 𝑑𝑓
𝑐𝑒 0
=[ ]
0 𝑑𝑓
Karena ce, df ∈ ℤ , maka 𝑎𝑏 ∈ 𝐴
4
𝑎 0
Jadi, terbukti bahwa A = {[ ] ǀ 𝑎, 𝑏 ∈ ℤ} adalah subring dari M2(ℤ)
0 𝑏
6) Misalkan M2(ℤ) adalah ring dari semua matriks 2x2 dari bilangan bulat dan
misalkan
𝑎 𝑎+𝑏
R = {[ ] ǀ 𝑎, 𝑏 ∈ ℤ}
𝑎+𝑏 𝑏
Apakah R adalah subring dari M2(ℤ) ?
Penyelesaian :
1 1
(i) ∃0,1 ∈ ℤ ∋ [ ] ∈ 𝑅. R ≠ Ø
1 0
1 1 1 2 1 1 1 2 3 3
(ii) ∃a=[ ],b=[ ]∈ R ∋ [ ][ ]=[ ]∉ R
1 0 2 1 1 0 2 1 1 2
∴ R bukanlah subring dari M2(ℤ) karena tidak tertutup terhadap perkalian
EXERCISES 12
𝑎 𝑎
42. Misalkan R = {[ ] ǀ 𝑎, 𝑏 ∈ ℤ}. Apakah R adalah subring dari M2(ℤ) ?
𝑏 𝑏
Penyelesaian :
0 0
( i ) ∃0 ∈ ℤ ∋ [ ] ∈ 𝑅. R ≠ Ø
0 0
𝑐 𝑐 𝑒 𝑒
( ii ) Ambil sebarang a = [ ], 𝑏 = [𝑓 𝑓 ] ∈ 𝑅 adit 𝑎 − 𝑏 ∈ 𝑅
𝑑 𝑑
𝑐 𝑐 𝑒 𝑒
a-b = [ ] - [𝑓 𝑓 ]
𝑑 𝑑
𝑐−𝑒 𝑐−𝑒
= [𝑑 − 𝑓 𝑑 − 𝑓 ]
5
Karena (c - e), (d - f) ∈ ℤ , maka 𝑎 − 𝑏 ∈ 𝑅
𝑐 𝑐 𝑒 𝑒
(iii) Ambil sebarang a = [ ], 𝑏 = [𝑓 𝑓] ∈ 𝑅 adit 𝑎𝑏 ∈ 𝑅
𝑑 𝑑
𝑐 𝑐 𝑒 𝑒
𝑎. 𝑏 =[ ] . [𝑓 𝑓 ]
𝑑 𝑑
𝑐𝑒 + 𝑐𝑓 𝑐𝑒 + 𝑐𝑓
=[ ]
𝑑𝑒 + 𝑑𝑓 𝑑𝑒 + 𝑑𝑓
Karena (ce+cf ),(de+df) ∈ ℤ , maka 𝑎𝑏 ∈ 𝑅.
Jadi, R adalah subring dari M2(ℤ) karena telah memenuhi syarat subring
19. Misalkan R adalah ring. Pusat dari R adalah himpunan {x R| ax=xa , ∀ a R}.
Buktikan bahwa pusat dari ring adalah subring.
Penyelesaian :
Misalkan R adalah ring dan Z(R) = {x R| ax=xa , ∀ a R}
(i) Z(R) ≠ Ø , karena ∃0R ∋ 0a = 0 = a0, ∀ a R. Sehingga 0 Z(R)
(ii) Ambil y,z Z(R) , akan dibuktikan y – z Z(R)
∀ a R , a(y-z) = ay – az
= ya – za
= (y – z)a
Jadi, y – z Z(R) ketika y,z Z(R)
(iii) Ambil y,z Z(R) , akan dibuktikan y z Z(R)
∀ a R, a(yz) = (ay)z
= (ya)z
= y(az)
= y(za)
= (yz)a
Jadi, y z Z(R) ketika y,z Z(R)
∴ Terbukti bahwa Z(R) = {x R| ax=xa , ∀ a R} adalah subring terhadap ring R