J. Pijar MIPA, Vol. X No.2, September 2015: 76-79
ISSN 1907-1744 (Cetak) ISSN 2410-1500 (Online)
PERUMUMAN LEMMA SNAKE DAN LEMMA LIMA Sripatmi1, Yunita Septriana Anwar2 1 Program Studi Pendidikan Matematika FKIP Universitas Mataram Program Studi Pendidikan Matematika FKIP Universitas Muhammadiyah Mataram Email:
[email protected],
[email protected]
2
Abstrak. Barisan π-eksak merupakan perumuman dari barisan eksak yang diperkenalkan oleh Davvaz dan Parnian-Garamaleky. Dalam tulisan ini akan dikaji perumuman dari Lemma Snake dan Lemma Lima yang memanfaatkan sifat-sifat dari barisan π-eksak. Kata Kunci : Barisan π-eksak, Lemma Snake, Lemma Lima Abstract. π-exact sequences was introduced by Davvaz dan Parnian-Garamaleky as a generalization of exact sequences. In this paper, we give some characterizations and properties of π-exact sequences. We use these result to find a generalization of Snake Lemma and Five Lemma. Key words Kunci : π-exact sequences, Snake Lemma, Five Lemma PENDAHULUAN Diasumsikan π
adalah ring asosiatif dengan elemen identitas dan semua π
-modul adalah π
π
π
-modul unital. Barisan 0βπ΄βπ΅βπΆ β0 disebut barisan eksak pendek jika πΌπ π = ker(π). π
π
Barisan 0 β β€π β β€ππ β β€π β 0 merupakan salah satu contoh barisan eksak pendek. Secara umum barisan π
-modul dan π
-homomorfisma β― ππ
ππ+1
β ππβ1 β ππ β ππ+1 β β― disebut eksak di ππ jika Im (ππ ) = πππ(ππ+1 ) atau Im (ππ ) = β1 ({0}). Apabila sebarang submodul ππβ1 dari ππ+1 ππβ1 disubstitusikan pada submodul {0}, Davvaz dan Parnian- Garamaleky pada tahun 1999 memperkenalkan konsep dari barisan π-eksak yang memperumum definsi barisan eksak. Konsep barisan π-eksak banyak digunakan secara luas dalam Teori Ring dan Modul, Teori Grup, Teori Homologi, Aljabar Topologi, dan Teori Kompleks. Barisan π
-modul dan π
-homomorfisma ππ
ππ+1
β― β ππβ1 β ππ β ππ+1 β β― disebut β1 (ππ+1 ). Dari ππ+1 -eksak di ππ jika Im (ππ ) = ππ+1 definisi ini diperoleh bahwa barisan eksak pendek π
π
0 β π΄ β π΅ β πΆ β 0 merupakan barisan {0}-eksak di π΄, π-eksak di π΅, dan {0}-eksak di πΆ, atau sederhananya disebut π-eksak. Akibat lain yang diperoleh dari definisi barisan π-eksak adalah π
π
barisan 0 β π΄ β π΅ β πΆ β 0 adalah π-eksak jika dan hanya jika π injektif, π surjektif, dan Im(π) = πβ1 (π). Misalnya barisan 0 β 2β€ β β€ β β€4 β 0 merupakan barisan β€4 -eksak. Jika π adalah π
-modul dan π adalah submodul dari π
π dan π adalah submodul-submodul dari π sedemikian hingga π β π β π, maka barisan 0 β β
π
π β π β π/π β 0 adalah barisan π/π-eksak dimana π adalah homomorfisma natural. Barisan π
PEMBAHASAN Definisi 1. Barisan dari dari π
-modul dan π
homomorfisma ππ
ππ+1
β― β ππβ1 β ππ β ππ+1 β β― disebut barisan ππ+1 -eksak di ππ jika Im (ππ ) = β1 (ππ+1 ), dimana ππ+1 adalah submodul dari ππ+1 ππ+1 . π
π
Definisi 2. Barisan π-eksak 0 β π΄ β π΅ β πΆ β 0 πβ²
isomorfis dengan barisan πβ²-eksak 0 β π΄β² β π΅β² πβ²
β πΆβ² β 0 jika terdapat diagram komutatif dari π
homomorfisma:
β
π
π, maka barisan 0 β π β π
β π β 0 adalah barisan π-eksak. Selanjutnya, jika
π
π-eksak 0 β π΄ β π΅ β πΆ β 0 disebut eksak jika dan hanya jika π = {0} sehingga barisan π-eksak merupakan perumuman dari barisan eksak. Dalam tulisan ini diawali dengan definisi dan karakterisasi dari barisan π-eksak. Selanjutnya dikaji perumuman Lemma Snake dan Lemma Lima yang memanfaatkan karakterisasi dari barisan πeksak. Karakterisasi dari barisan π-eksak diambil dari [2], pembuktian Lemma Snake dan Lemma Lima dapat dilihat di [1] dan [5], sedangkan perumuman Lemma Snake dan Lemma Lima merujuk pada [3] dan [4].
0
π΄
πΆ
π΅
πΌ 0
π
πΎ
π½
π΄β²
π΅β² πβ²
76 πΆβ²
πβ²
0
0
J. Pijar MIPA, Vol. X No.2, September 2015: 76-79
πΌ,
sedemikian hingga isomorfisma.
π½,
πΎ
dan
adalah
Teorema 3. Isomorfisma dari barisan π-eksak merupakan relasi ekuivalen. Bukti. Harus ditunjukkan isomorfisma dari barisan π-eksak dan πβ²-eksak merupakan relasi refleksif, simetris, dan transitif. Dengan mengambil πΌ, π½, dan πΎ berupa pemetaan identitas, jelas πΌ, π½, dan πΎ merupakan ismorfisma. Sehingga diperoleh ismorfisma dari barisan π-eksak memenuhi sifat refleksif. Selanjutnya, misalkan barisan π-eksak π
π
0 β π΄ β π΅ β πΆ β 0 isomorfis dengan barisan πβ²πβ²
sedemikian hingga πΌ, π½, πΎ, πΌβ², π½β², dan πΎβ² adalah isomorfisma. Dengan memilih πΌ β πΌβ², π½ β π½β², dan πΎ β πΎβ² yang juga merupakan isomorfisma, diperoleh π
π
barisan π-eksak 0 β π΄ β π΅ β πΆ β 0 isomorfis π β²β²
π
π
π΄
πΆ
π΅
πΌ
Teorema 4. Jika barisan π-eksak dan πβ²-eksak isomorfis, maka π β
πβ². Bukti. Diberikan barisan π-eksak dan πβ²-eksak isomorfis, maka terdapat diagram komutatif
π½
π
0
π΄
π΅
πΌ
0
πΎ
0
π
π½
π΄β²
π΄β²
π΅β²
πΆβ²
πβ²
πβ²
πβ²
0 β π΄β² β π΅β² β πΆβ² β 0
isomorfis dengan π
π
barisan π-eksak 0 β π΄ β π΅ β πΆ β 0 atau ismorfisma dari barisan π-eksak memenuhi sifat simetris. Tinggal ditunjukkan ismorfisma dari barisan π-eksak memenuhi sifat transitif. Misalkan π-eksak
misalkan barisan
π
π
0βπ΄βπ΅βπΆ β0 πβ²
isomorfis dengan barisan πβ²-eksak 0 β π΄β² β π΅β² πβ²
β πΆβ² β 0
πβ²
πβ²-eksak
dan barisan
0 β π΄β² β π΅β²
πβ²
β πΆβ² β 0 isomorfis dengan barisan πβ²β²-eksak 0 β π β²β²
πβ²β²
π΄β²β² β π΅β²β² β πΆβ²β² β 0 sehingga terdapat diagram komutatif π
0
π½
π΅β²
π΄β²
π΅β²
π΄β²β²
Lemma 5 (Lemma Lima). Diberikan diagram komutatif dari π
-modul homomorfisma berikut dimana setiap baris merupakan barisan eksak:
πΆβ²
0
πΎβ²
π΅β²β² πβ²β²
0
sedemikian hingga πΌ, π½, dan πΎ adalah isomorfisma. Untuk menunjukkan π β
πβ², cukup ditunjukkan πΎ(π) = πβ². Ambil sebarang π₯ β πΎ(π), sehingga terdapat π’ β π sehingga π₯ = πΎ(π’). Karena π’ β π dan baris pertama merupakan barisan π-eksak, maka πβ1 (π’) β πβ1 (π) = Im π sehingga ππβ1 (π’) β ππ(π΄). Akibatnya, π’ β ππ(π΄), yaitu terdapat π0 β π΄ sedemikian hingga π’ = ππ(π0 ). Perhatikan bahwa, π₯ = πΎ(π’) = πΎ(ππ(π0 )) = (πΎπ)π(π0 ) = (πβ²π½)π(π0 ) = πβ² (π½π)(π0 ) = πβ² (π β² πΌ)(π0 ) = (πβ² π β² )(πΌ(π0 )) Akibatnya, π₯ β πβ² π β² (π΄β²) β πβ² atau πΎ(π) β πβ². Selanjutnya, ambil π¦ β πβ². Karena πβ² epimorfisma, maka terdapat π β π΅β² sehingga πβ² (π) = π¦ atau β1 π = πβ² (π¦). Mengingat baris kedua merupakan β1 barisan πβ²-eksak, yaitu Im π β² = πβ² (πβ²), maka β² (π). terdapat π β π΄ sehingga π = π Karena πΎ dan π½ adalah isomorfisma, maka π¦ = πβ² (π) = β² β² (π) β² β1 β² β² (π)) ππ = π πΎ π (π =. Sehingga π¦= β1 (π)) β1 (π)) β² β1 (π)) (πΎπ)(π½ πΎ(ππ½ = = π π½(π½ = πβ² (π).
πβ²
π½β²
πΌβ²
πΆβ² πβ²
0
πΎ
πβ²
0
πΆ
π΅
πΌ 0
π
π΄
0
0
πβ²
sedemikian hingga πΌ, π½, dan πΎ adalah isomorfisma. Karena πΌ, π½, dan πΎ adalah isomorfisma, maka terdapat πΌ β1 , π½ β1 , dan πΎ β1 yang juga adalah isomorfisma. Sehingga barisan πβ²eksak
πΆ πΎ
πβ²
0
πβ²β²
dengan barisan πβ²β²-eksak 0 β π΄β²β² β π΅β²β² β πΆβ²β² β 0. Sehingga ismorfisma dari barisan π-eksak memenuhi sifat transitif.
πβ²
eksak 0 β π΄β² β π΅β² β πΆβ² β 0, maka terdapat diagram komutatif
0
ISSN 1907-1744 (Cetak) ISSN 2410-1500 (Online)
π΄5 πΆβ²β²
0
π5
π΄4
π4
πΌ4 4
πΌ5
πβ²β²
π΅5
π5
π΅4
π3
π΅3
π΄1 πΌ1
πΌ2
πΌ3 π4
π2 π΄2
π΄3
π΅2 π3
π2
π΅1 77
J. Pijar MIPA, Vol. X No.2, September 2015: 76-79
ISSN 1907-1744 (Cetak) ISSN 2410-1500 (Online)
Akan ditunjukkan πΌ3 adalah epimorfisma. Ambil sebarang π₯ β π΅3 , maka dimiliki π3 (π₯) β π΅2 . Karena πΌ2 epimorfisma, maka terdapat π¦ β π΄2 sehingga πΌ2 (π¦) = π3 (π₯). Mengingat baris kedua {0}-eksak di π΅2 , diperoleh 0 = π2 π3 (π₯) = π2 πΌ2 (π¦) = πΌ1 π2 (π¦). Sehingga, π2 (π¦) β Ker πΌ1 = 0. Akibatnya, π¦ β Ker π2 β π2 β1 (π) = Im π3 , yaitu terdapat π§ β π΄3 sedemikian hingga π3 (π§) = π¦. Selanjutnya, πΌ2 (π¦) = πΌ2 π3 (π§) = π3 πΌ3 (π§) = π3 (π₯) karena πΌ2 (π¦) = π3 (π₯). Sehingga, π3 (πΌ3 (π§) β π₯) = 0 atau πΌ3 (π§) β π₯ β Ker π3 β π3 β1 (πβ²) = Im π4 , yaitu terdapat π β π΅4 sedemikian hingga πΌ3 (π§) β π₯ = π4 (π). Dilain pihak, πΌ4 adalah epimorfisma, yaitu terdapat π β π΄4 sehingga πΌ4 (π) = π. Selanjutnya, π4 (π) = π4 πΌ4 (π) = πΌ3 π4 (π) = πΌ3 (π§) β π₯ karena πΌ3 (π§) β π₯ = π4 (π). Akibatnya, πΌ3 (π4 (π) β π§) = π₯, yaitu πΌ3 adalah epimorfisma. Dengan memanfaatkan (i) dan (ii) diperoleh langsung πΌ3 juga isomorfisma. (ii)
(i)
(ii)
(iii)
Jika πΌ2 , πΌ4 adalah monomorfisma dan πΌ5 epimorfisma, maka πΌ3 adalah monomorfisma. Jika πΌ2 , πΌ4 adalah epimorfisma dan πΌ1 adalah monomorfisma, maka πΌ3 adalah epimorfisma. Jika πΌ5 adalah epimorfisma, πΌ1 monomorfisma, πΌ2 , πΌ4 adalah isomorfisma, maka πΌ3 juga isomorfisma.
Lemma 6 (Perumuman Lemma Lima). Diberikan diagram komutatif dari π
-modul homomorfisma berikut dengan baris pertama adalah π-eksak di π΄2 , π-eksak di π΄3 dan {0}-eksak di π΄4 , dan baris kedua adalah {0}-eksak di π΅2 , πβ²-eksak di π΅3 dan πβ²-eksak di π΅4 :
π΄5
π5
π΄4
π4
π3
πΌ4 4
πΌ5 π΅5
π5
π΅4
π4
π΄1 πΌ1
πΌ2
πΌ3 π΅3
π2 π΄2
π΄3
π΅2 π3
π2
Lemma 8 (Perumuman Lemma Snake). Misalkan πβ²
π΅1
πβ²
πΌ (iv)
(v)
(vi)
Jika πΌ2 , πΌ4 adalah monomorfisma dan πΌ5 epimorfisma, maka πΌ3 adalah monomorfisma. Jika πΌ2 , πΌ4 adalah epimorfisma dan πΌ1 adalah monomorfisma, maka πΌ3 adalah epimorfisma. Jika πΌ1 , πΌ2 , πΌ4 , πΌ5 adalah isomorfisma, maka πΌ3 juga isomorfisma.
Bukti. (i) Akan ditunjukkan πΌ3 adalah monomorfisma. Ambil π₯ β Ker πΌ3 . Berarti πΌ3 (π₯) = 0. Karena 0 = π3 πΌ3 (π₯) = πΌ2 π3 (π₯), maka π3 (π₯) β Ker πΌ2 = 0. Akibatnya, π₯ β Ker π3 β π3 β1 (π) = Im π4. Sehingga, terdapat π¦ β π΄4 sedemikian hingga π4 (π¦) = π₯. Perhatikan bahwa : 0 = πΌ3 (π₯) = πΌ3 π4 (π¦) = π4 πΌ4 (π¦). Akibatnya, πΌ4 (π¦) β Ker π4 β π4 β1 (πβ²) = Im π5 . Berarti terdapat π§ β π΅5 sehingga π5 (π§) = πΌ4 (π¦). Mengingat πΌ5 epimorfisma, maka terdapat π€ β π΄5 sehingga πΌ5 (π€) = π§. Selanjutnya, πΌ4 (π¦) = π5 (π§) = π5 πΌ5 (π€) = πΌ4 π5 (π€) atau πΌ4 (π¦ β π5 (π€)) = 0. Karena πΌ4 monomorfisma, maka π¦ β π5 (π€) = 0 atau π¦ = π5 (π€). Dengan memanfaatkan {0}-eksak pada π΄4 diperoleh π₯ = π4 (π¦) = π4 π5 (π€) = 0. Dengan demikian πΌ3 adalah monomorfisma.
0
πΆβ²
π΅β²
π΄β²
πΎ
π½
π΄
π΅
π
0
πΆ π
adalah diagram komutatif sedemikian hingga (1) Baris pertama adalah πβ²-eksak dan baris kedua adalah π-eksak. (2) π β Im πΌ (3) π β Im Ξ³ (4) π(π) β π, π(π) = π (5) πβ² β πΎ β1 (π) πΎβ1 (π)
Maka terdapat homomorfisma πβΆ βΆ πβ² Coker Ξ± sedemikian hingga barisan : β1 πββ² πββ² πΎ (π) π πΌ β1 (π) β π½ β1 (π) β β Coker Ξ± πβ² πββ²
πββ²
β Coker Ξ² β Coker Ξ³ eksak. Bukti. Ambil π₯ β πβ² (π½ β1 (π)), maka terdapat π¦ β π sedemikian hingga πβ² (π½ β1 (π¦)) = π₯. Karena π¦ β π maka π(π¦) β πΆ, dan π(π) β π mengakibatkan π(π¦) β π. Sehingga πΎ β1 (π(π¦)) β πΎ β1 (π). β² β1 (π¦)) Akibatnya π (π½ = πΎ β1 (π(π¦)) β πΎ β1 (π). Sehingga πβ² (π½ β1 (π)) β πΎ β1 (π). Dengan cara yang sama dapat ditunjukkan π β² (πΌ β1 (π)) β π½ β1 (π). Akibatnya terbentuk barisan: π β²|πΌβ1 (π)
πΌ β1 (π) β
πβ² |π½β1 (π)
π½ β1 (π) β
πΎ β1 (π)
77
J. Pijar MIPA, Vol. X No.2, September 2015: 76-79 Dibentuk homomorfisma kanonik π βΆ πΎ β1 (π) βΆ πΎβ1 (π)
Misalkan πββ² = π β² |πΌβ1(π) dan ππ |π½β1 (π) sehingga diperoleh barisan: (I) πΌ β1 (π) πβ² β²
πββ² =
.
πββ²
πββ² πΎ β1 (π)
β π½ β1 (π) β πβ² Dilain pihak, dari π dan π dapat dibentuk π΄ π΅ homomorfisma π β βΆ βΆ dengan π β (π + πΌπ πΌ
πΌπ πΌ) = π(π) + πΌπ π½,
πΌπ π½
dan
πβ βΆ
π΅ πΌπ π½
βΆ
πΆ πΌπ πΎ
dengan πβ (π + πΌπ π½) = π(π) + πΌπ πΎ. Sehingga diperoleh barisan: (II) πβ
terdapatnya
πΎβ1 (π)
homomorfisma π βΆ βΆ Coker Ξ± yang πβ² menghubungkan barisan (I) dan (II). Misalkan π§ + πΎβ1 (π)
πβ² β . Pilih πβ² β π΅β² sehingga πβ² (πβ²) = π§. πβ² Karena ππ½(πβ²) = πΎπβ² (πβ²) = πΎ(π§) β π, maka β1 (π). π½(πβ²) β π Mengingat barisan (II) eksak, maka π½(πβ²) β πΌπ π. Akibatnya terdapat dengan tunggal π β π΄ sedemikian hingga π½(πβ²) = π(π) dan π = π β1 π½(πβ²). Didefinisikan π(π§ + πβ²) = π + πΌπ πΌ. Misalkan πβ²β² β π΅β² dengan πβ² (πβ²β²) = π§, maka terdapat πβ² β π΄ sedemikian hingga π½(π β²β² ) = π(πβ²). Dari πβ² (πβ²) = π§ dan πβ² (πβ²β²) = π§, diperoleh πβ² (π β² β πβ²β²) = 0. Akibatnya π β² β π β²β² β Ker πβ² β β² β1 (π β² ) π = πΌπ πβ², sehingga terdapat πΜ
β π΄β² dengan π β² β π β²β² = π β² (πΜ
). Karena π½π β² (πΜ
) = ππΌ(πΜ
), diperoleh π½(π β πβ²β²) = ππΌ(πΜ
) yang berakibat π(π β πβ²) = ππΌ(πΜ
). Mengingat π monomorfisma, maka π β πβ² = πΌ(πΜ
) β πΌπ πΌ. Akibatnya π + πΌπ πΌ = πβ² + πΌπ πΌ, yaitu π terdefinisi dengan baik. Tinggal ditunjukkan keeksakan πββ² πββ² πΎ β1 (π) π πΌ β1 (π) β π½ β1 (π) β β Coker Ξ± πβ² πββ²
Ambil π₯ β πΌπ πββ² terdapat πβ² β π½ β1 (π) sehingga πβ² (πβ²) + π β² = π₯. Selanjutnya π(π₯) = π(πβ² (πβ²) + β1 πβ²) = π β1 π½ (πβ² (πβ² (πβ²))) + πΌπ πΌ = π β1 π½(πβ²) + πΌπ πΌ. Karena πβ² β π½ β1 (π) maka π½(πβ²) β π. Mengingat π(π) = π dan π monomorfisma maka π β1 π½(πβ²) β π β πΌπ πΌ. Akibatnya π(π₯) β πΌπ πΌ sehingga π₯ β Ker π. Jadi πΌπ πββ² β Ker π. Ambil π¦ = π β² + πβ² β Ker π dengan πβ² β πΎ β1 (π) berarti β1 π(π β² + πβ²) = πΌπ πΌ atau π β1 π½ (πβ² (πβ²)) +
πΌπ πΌ β πΌπ πΌ. Sehingga terdapat π₯ β π΄β² sedemikian β1 hingga π½ (πβ² (πβ²)) = ππΌ(π₯) = π½π β² (π₯).
πββ²
β Coker Ξ² β Coker Ξ³ Langkah 1 : Akan ditunjukkan πΌπ πββ² = Ker πββ² . Ambil π β² β Ker πββ² . Berarti πββ² (π β² ) = 0 + π β² sehingga diperoleh πβ² (π β² ) β π β² . Akibatnya π β² β β1 πβ² (π β² ). Karena baris (I) eksak, terdapat π₯ β π΄β² sehingga π β² = π β² (π₯). Karena πββ² = π β² |πΌβ1(π) , tinggal ditunjukkan π₯ β πΌ β1 (π). Perhatikan bahwa: ππΌ(π₯) = π½π β² (π₯) = π½(π β² ). Karena π β² β π½ β1 (π), maka π½(π β² ) β π. Akibatnya ππΌ(π₯) β π. Dilain pihak π(π) = π dan π monomorfisma, maka πΌ(π₯) β π atau π₯ β πΌ β1 (π). Akibatnya Ker πββ² β πΌπ πββ² . Selanjutnya, ambil π β πΌπ πββ² berarti terdapat π₯ β πΌ β1 (π) sehingga πββ² (π₯) = π atau π β² |πΌβ1(π) = β1 π, π β² (π₯) = π. Akibatnya π β πΌπ π β² = πβ² (π β² ), β² (π) β² β² yaitu π β π . Sehingga πΌπ πβ β Ker πββ² , dengan kata lain πΌπ πββ² = Ker πββ² . Langkah 2 : πΌπ πββ² = Ker π.
π½ (πβ²
Akibatnya π
πβ
πΆππππ πΌ β πΆππππ π½ β πΆππππ πΎ Selanjutnya akan ditunjukkan
ISSN 1907-1744 (Cetak) ISSN 2410-1500 (Online)
β² β1 (πβ²)
πββ²
(π
βπ
β² (π₯)
β² β1 (πβ²)
β² (π₯))
(πβ²) β π β² (π₯)) = 0
β Ker Ξ² β π½
β1 (π).
β² (π₯))
= ππ (π
β² β1 (πβ²)
β² (π₯))
βπ
β²
β1
β²
β² β1 (πβ²)
yaitu Sehingga
β
β²
π = π (π βπ + π = π β² + πβ² = π¦. Akibatnya Ker π β πΌπ πββ² . Dengan demikian πΌπ πββ² = Ker π. Langkah 3 : πΌπ π = Ker π β . πΎβ1 (π)
Ambil π₯ β πΌπ π yaitu terdapat π β² + πβ² β πβ² sehingga π(π β² + πβ²) = π₯. Perhatikan bahwa: β1 π β1 π½ (πβ² (πβ²)) + πΌπ πΌ = π₯, π β [π β1 π½ (πβ²
β1
(πβ²)) + πΌπ πΌ] = π β [π₯],
β1 π½ (πβ² (πβ²)) + πΌπ π½ = π β (π₯). Sehingga π₯ β Ker π β atau πΌπ π β Ker π β . Selanjutnya misalkan π¦ = π + πΌπ πΌ β Ker π β berarti π β (π + πΌπ πΌ) = πΌπ π½ atau π(π) + πΌπ π½ = πΌπ π½, sehingga π(π) β πΌπ π½. Akibatnya terdapat πβ² β π΅β² sedemikian hingga π½(πβ²) = π(π). Mengingat ππ½ = πΎπβ² diperoleh πΎπβ² (πβ²) β π. Akibatnya, πβ² (πβ²) β πΎ β1 (π) sehingga π(πβ² (πβ²) + π β² ) = π β1 π½(πβ²) + πΌπ πΌ = π + πΌπ πΌ = π¦. Diperoleh Ker π β β πΌπ π sehingga Ker π β = πΌπ π. Langkah 4 : πΌπ π β = Ker πβ . Misalkan π β (π + πΌπ πΌ) β πΌπ π β , maka πβ π β (π + πΌπ πΌ) = ππ(π) + πΌπ πΎ. Karena ππ(π) β π β πΌπ πΎ maka πβ π β (π + πΌπ πΌ) β πΌπ πΎ. Akibatnya π β (π + πΌπ πΌ) β Ker πβ , yaitu πΌπ π β β Ker πβ . Selanjutnya ambil π + πΌπ π½ β Ker πβ , berarti πβ (π + πΌπ π½) = π(π) + πΌπ πΎ β πΌπ πΎ. Sehingga terdapat πβ² β πΆβ² sedemikian hingga π(π) = πΎ(πβ²). Karena πβ² epimorfisma, maka π(π) = πΎπβ² (πβ²) = ππ½(πβ²). Ini berakibat π(π β π½(πβ²)) = 0 atau π β π½(πβ²) β Ker π β πβ1 (π) = πΌπ π. Sehingga terdapat π β π΄ sedemikian hingga π + πΌπ π½ = π(π) + πΌπ π½ = π β (π + πΌπ πΌ), yaitu Ker πβ βπΌπ π β . Dengan demikian πΌπ π β = Ker πβ .
Akibat 9. Misalkan πβ²
πβ²
πΌ 0
πΆβ²
π΅β²
π΄β² π½
π΄ π
0
πΎ π΅
πΆ π
78
J. Pijar MIPA, Vol. X No.2, September 2015: 76-79
ISSN 1907-1744 (Cetak) ISSN 2410-1500 (Online)
adalah diagram komutatif sedemikian hingga (1) Baris pertama adalah πβ²-eksak dan baris kedua adalah π-eksak. (2) πβ² β πΎ β1 (π) dan π β Im Ξ³. Maka barisan : πββ² πββ² πΎ β1 (π) π Ker πΌ β Ker π½ β β Coker Ξ± πβ² πββ²
πββ²
β Coker Ξ² β Coker Ξ³ eksak.
DAFTAR PUSTAKA [1] Anderson, F.W. and Fuller, K.R., Rings and Categories of Modules, Springer-Verlag, New York, Inc. 1992. [2] Davvaz, B. and Parnian-Garamaleky, Y.A., A Note On Exact Sequences, Bull. Malaysian Math. Soc. 22 (1999), No. 2, pp. 53β56. [3] Davvaz, B. and Shabani-Solt, H., A Generalization Of Homological Algebra, J. Korean Math. Soc. 39 (2002), No. 6, pp. 881β898. [4] Madanshekaf, A., Quasi-Exact Sequence and Finitely Presented Modules, Iranian Journal of Mathematical Sciences and Informatics, Vol. 3 (2008), No. 2, pp. 4953. [5] Wisbauer, R., Foundations of Module and Ring Theory, Gordon and Breach : Philade, 1991.
79