Barisan eksak: Perbedaan antara revisi
Juliandane (bicara | kontrib) k Revisi minor pada beberapa bagian yang kelupaan diterjemahkan |
Juliandane (bicara | kontrib) k Revisi minor beberapa term mengikuti panduan kemdikbud |
||
Baris 1: | Baris 1: | ||
{{short description|Urutan homomorfisme sehingga setiap kernel sama dengan gambar sebelumnya}} |
{{short description|Urutan homomorfisme sehingga setiap kernel sama dengan gambar sebelumnya}} |
||
[[File:Illustration of an Exact Sequence of Groups.svg|thumb|533x533px|Ilustrasi urutan dari [[Grup (matematika)|grup]] <math> G_i </math> menggunakan [[Diagram Venn l|diagram Venn]]. [[Homomorfisme grup]] <math>f_i : G_{i-1} \to G_i</math> peta <math>G_{i-1}</math> ke [[Kernel (aljabar)|kernel]] dari homomorfisme berikutnya. Dengan berkurangnya subgrup dari kiri ke kanan.|alt=Ilustrasi urutan grup yang tepat menggunakan diagram Venn. Grup lingkaran, di dalamnya ada subgrup yang secara bersamaan merupakan kisaran homomorfisme sebelumnya dan inti dari yang berikutnya.]] |
[[File:Illustration of an Exact Sequence of Groups.svg|thumb|533x533px|Ilustrasi urutan dari [[Grup (matematika)|grup]] <math> G_i </math> menggunakan [[Diagram Venn l|diagram Venn]]. [[Homomorfisme grup]] <math>f_i : G_{i-1} \to G_i</math> peta <math>G_{i-1}</math> ke [[Kernel (aljabar)|kernel]] dari homomorfisme berikutnya. Dengan berkurangnya subgrup dari kiri ke kanan.|alt=Ilustrasi urutan grup yang tepat menggunakan diagram Venn. Grup lingkaran, di dalamnya ada subgrup yang secara bersamaan merupakan kisaran homomorfisme sebelumnya dan inti dari yang berikutnya.]] |
||
'''Barisan eksak''' adalah sebuah konsep dalam [[matematika]], khususnya dalam [[teori grup]], [[Gelanggang (matematika)|gelanggang]] dan [[Modul (matematika)|modul]] teori, [[aljabar homologis]], serta dalam [[geometri diferensial]]. Barisan eksak adalah [[urutan|barisan]] terbatas atau tak terbatas dari objek dan [[morfisme]] sedemikian sehingga |
'''Barisan eksak''' adalah sebuah konsep dalam [[matematika]], khususnya dalam [[teori grup]], [[Gelanggang (matematika)|gelanggang]] dan [[Modul (matematika)|modul]] teori, [[aljabar homologis]], serta dalam [[geometri diferensial]]. Barisan eksak adalah [[urutan|barisan]] terbatas atau tak terbatas dari objek dan [[morfisme]] sedemikian sehingga peta dari satu morfisme sama dengan [[Kernel (aljabar)|kernel]] yang berikutnya. |
||
== Definisi == |
== Definisi == |
||
Baris 8: | Baris 8: | ||
: <math>G_0\;\xrightarrow{\ f_1\ }\; G_1 \;\xrightarrow{\ f_2\ }\; G_2 \;\xrightarrow{\ f_3\ }\; \cdots \;\xrightarrow{\ f_n\ }\; G_n</math> |
: <math>G_0\;\xrightarrow{\ f_1\ }\; G_1 \;\xrightarrow{\ f_2\ }\; G_2 \;\xrightarrow{\ f_3\ }\; \cdots \;\xrightarrow{\ f_n\ }\; G_n</math> |
||
dari [[Grup (matematika)|grup]] dan [[homomorfisme grup]] disebut '''eksak''' jika [[Galeri (matematika)|peta]] |
dari [[Grup (matematika)|grup]] dan [[homomorfisme grup]] disebut '''eksak''' jika [[Galeri (matematika)|peta]] dari setiap homomorfisme sama dengan [[Kernel (aljabar)|kernel]] dari homomorfisme berikutnya: |
||
: <math>\operatorname{im}(f_k) = \ker(f_{k+1}),</math> |
: <math>\operatorname{im}(f_k) = \ker(f_{k+1}),</math> |
||
Baris 17: | Baris 17: | ||
=== Kasus sederhana === |
=== Kasus sederhana === |
||
Untuk memahami pengertian dari barisan eksak, mari meninjau kasus-kasus sederhana |
Untuk memahami pengertian dari barisan eksak, mari meninjau kasus-kasus sederhana dengan barisan bersifat terbatas yang dimulai atau diakhiri dengan [[grup gabungan|grup trivial]]. Biasanya, grup trivial dengan elemen identitas tunggal, dilambangkan dengan 0 (notasi aditif, biasanya jika grupnya abelian), atau dilambangkan 1 (notasi perkalian). |
||
* Tinjau barisan <math>0\rightarrow A \rightarrow B</math>. |
* Tinjau barisan <math>0\rightarrow A \rightarrow B</math>. Peta pemetaan paling kiri adalah <math>0</math>. Oleh karena itu, barisan ini eksak jika dan hanya jika pemetaan paling kanan (dari <math>A</math> ke <math>B</math>) memiliki kernel <math>0</math>; yaitu jika dan hanya jika pemetaan paling kanan adalah [[monomorfisme]] (injektif, atau satu-ke-satu). |
||
* Tinjau barisan <math>B \rightarrow C \rightarrow 0</math>. Kernel peta paling kanan adalah <math>C</math>. Oleh karena itu, barisan ini eksak jika dan hanya jika |
* Tinjau barisan <math>B \rightarrow C \rightarrow 0</math>. Kernel peta paling kanan adalah <math>C</math>. Oleh karena itu, barisan ini eksak jika dan hanya jika peta pemetaan paling kiri (dari <math>B</math> ke <math>C</math>) adalah <math>C</math>; yaitu jika dan hanya jika pemetaan paling kanan adalah [[epimorfisme]] (perkiraan, atau ke atas). |
||
* Oleh karena itu, barisan <math>0\rightarrow X \rightarrow Y \rightarrow 0</math> eksak jika dan hanya jika pemetaan dari <math>X \rightarrow Y</math> adalah monomorfisme dan epimorfisme (yaitu, [[bimorfisme]]), yang biasanya juga merupakan [[Bimorfisme|isomorfisme]] antara <math>X</math> dan <math>Y</math> (hal ini berlaku pada kategori eksak seperti kategori himpunan). |
* Oleh karena itu, barisan <math>0\rightarrow X \rightarrow Y \rightarrow 0</math> eksak jika dan hanya jika pemetaan dari <math>X \rightarrow Y</math> adalah monomorfisme dan epimorfisme (yaitu, [[bimorfisme]]), yang biasanya juga merupakan [[Bimorfisme|isomorfisme]] antara <math>X</math> dan <math>Y</math> (hal ini berlaku pada kategori eksak seperti kategori himpunan). |
||
Baris 28: | Baris 28: | ||
: <math>0 \to A \;\xrightarrow{\ f\ }\; B \;\xrightarrow{\ g\ }\; C \to 0</math>. |
: <math>0 \to A \;\xrightarrow{\ f\ }\; B \;\xrightarrow{\ g\ }\; C \to 0</math>. |
||
Dari pembahasan di atas, barisan di atas merupakan barisan eksak pendek jika dan hanya jika <math>f</math> adalah [[monomorfisme]], <math>g</math> adalah [[epimorfisme]], dan |
Dari pembahasan di atas, barisan di atas merupakan barisan eksak pendek jika dan hanya jika <math>f</math> adalah [[monomorfisme]], <math>g</math> adalah [[epimorfisme]], dan peta dari <math>f</math> sama dengan kernel <math>g</math>. Untuk memudahkan, pandang <math>A</math> sebagai [[subobjek]] dari <math>B</math> dengan <math>f</math> pemetaan yang "memasukkan" <math>A</math> ke dalam <math>B</math>, dan <math>C</math> sebagai objek faktor (atau [[hasil bagi]]) <math>B/A</math> melalui [[isomorfisme]] yang diinduksi oleh <math>g</math> berikut. |
||
: <math>C \cong B/\operatorname{im}(f)=B/\ker(g)</math>. |
: <math>C \cong B/\operatorname{im}(f)=B/\ker(g)</math>. |
||
Baris 65: | Baris 65: | ||
: <math>\mathbb{Z} \;\;\overset{2\times}{\hookrightarrow}\;\; \mathbb{Z} \twoheadrightarrow \mathbb{Z}/2\mathbb{Z}</math> |
: <math>\mathbb{Z} \;\;\overset{2\times}{\hookrightarrow}\;\; \mathbb{Z} \twoheadrightarrow \mathbb{Z}/2\mathbb{Z}</math> |
||
Homomorfisme pertama memetakan setiap <math>i\in \mathbb{Z}</math> ke <math>2i \in \mathbb{Z}</math>. Homomorfisme kedua memetakan setiap <math>i \in \mathbb{Z}</math> ke <math>i\bmod 2</math>. Di sini panah kait <math>\hookrightarrow</math> menunjukkan bahwa pemetaan <math>2 \times</math> dari <math>\mathbb{Z}</math> ke <math>\mathbb{Z}</math> adalah [[monomorfisme]], dan panah berkepala dua <math>\twoheadrightarrow</math> menunjukkan [[epimorfisme]] (pemetaan modulo 2). Ini adalah barisan eksak, karena |
Homomorfisme pertama memetakan setiap <math>i\in \mathbb{Z}</math> ke <math>2i \in \mathbb{Z}</math>. Homomorfisme kedua memetakan setiap <math>i \in \mathbb{Z}</math> ke <math>i\bmod 2</math>. Di sini panah kait <math>\hookrightarrow</math> menunjukkan bahwa pemetaan <math>2 \times</math> dari <math>\mathbb{Z}</math> ke <math>\mathbb{Z}</math> adalah [[monomorfisme]], dan panah berkepala dua <math>\twoheadrightarrow</math> menunjukkan [[epimorfisme]] (pemetaan modulo 2). Ini adalah barisan eksak, karena peta dari monomorfisme <math>2 \times</math> adalah kernel dari epimorfisme. Pada dasarnya, barisan yang "sama" juga dapat ditulis sebagai |
||
: <math>2\mathbb{Z} \;\;{\hookrightarrow}\;\; \mathbb{Z} \twoheadrightarrow \mathbb{Z}/2\mathbb{Z}</math> |
: <math>2\mathbb{Z} \;\;{\hookrightarrow}\;\; \mathbb{Z} \twoheadrightarrow \mathbb{Z}/2\mathbb{Z}</math> |
||
Dalam hal ini, monomorfismenya adalah pemetaan inklusi <math>2n \mapsto 2n</math>, yang meskipun terlihat seperti fungsi identitas, bukanlah fungsi identitas (bukan epimorfisme), karena bilangan ganjil bukanlah elemen <math>2 \mathbb{Z}</math>'''''. ''''' |
Dalam hal ini, monomorfismenya adalah pemetaan inklusi <math>2n \mapsto 2n</math>, yang meskipun terlihat seperti fungsi identitas, bukanlah fungsi identitas (bukan epimorfisme), karena bilangan ganjil bukanlah elemen <math>2 \mathbb{Z}</math>'''''. '''''Peta dari <math>\mathbb{2Z}</math> melalui monomorfisme ini adalah subhimpunan dari <math>\mathbb{Z}</math> yang merupakan peta dari pemetaan <math>n \mapsto 2n</math> yang digunakan dalam barisan eksak sebelumnya. Secara konkret, barisan eksak ini berbeda dengan barisan eksak sebelumnya, mengingat objek pertama barisan eksak ini adalah <math>2 \mathbb{Z}</math> dan objek pertama pada barisan sebelumnya adalah <math>\mathbb{Z}</math>, meskipun keduanya isomorfik sebagai grup. |
||
Barisan eksak pada contoh pertama juga dapat ditulis tanpa menggunakan simbol khusus untuk monomorfisme dan epimorfisme: |
Barisan eksak pada contoh pertama juga dapat ditulis tanpa menggunakan simbol khusus untuk monomorfisme dan epimorfisme: |
||
Baris 77: | Baris 77: | ||
Di sini <math>0</math> menunjukkan grup trivial, pemetaan dari <math>\mathbb{Z}</math> ke <math>\mathbb{Z}</math> adalah perkalian dengan <math>2</math>, dan pemetaan dari <math>\mathbb{Z}</math> ke [[grup faktor]] <math>\mathbb{Z}/2\mathbb{Z}</math> adalah pemetaan [[Aritmetika modular|modulo]] <math>2</math>. adalah barisan yang eksak, mengingat: |
Di sini <math>0</math> menunjukkan grup trivial, pemetaan dari <math>\mathbb{Z}</math> ke <math>\mathbb{Z}</math> adalah perkalian dengan <math>2</math>, dan pemetaan dari <math>\mathbb{Z}</math> ke [[grup faktor]] <math>\mathbb{Z}/2\mathbb{Z}</math> adalah pemetaan [[Aritmetika modular|modulo]] <math>2</math>. adalah barisan yang eksak, mengingat: |
||
* |
* peta pemetaan <math>0 \rightarrow \mathbb{Z}</math> adalah <math>0</math>, dan kernel dari perkalian dengan <math>2</math> juga adalah <math>0</math>, sehingga barisannya eksak di <math>\mathbb{Z}</math> pertama. |
||
* |
* peta perkalian dengan <math>2</math> adalah <math>2 \mathbb{Z}</math>, dan kernel dari pemetaan modulo <math>2</math> juga adalah <math>2 \mathbb{Z}</math>, sehingga barisannya eksak di <math>\mathbb{Z}</math> kedua. |
||
* |
* peta pemetaan modulo 2 adalah <math>\mathbb{Z}/2\mathbb{Z}</math>, dan kernel dari pemetaan nol juga adalah <math>\mathbb{Z}/2\mathbb{Z}</math>, sehingga barisannya eksak di <math>\mathbb{Z}/\mathbb{2Z}</math>. |
||
Perhatikan kembali barisan eksak pertama dan ketiga. Pada kedua barisan tersebut, pemetaan inklusi dari <math>\mathbb{Z}</math> ke <math>\mathbb{Z}</math> merupakan endomorfisme dari <math>\mathbb{Z}</math> yang merupakan monomorfisme. Hal ini memungkinkan untuk <math>\mathbb{Z}</math>, karena <math>\mathbb{Z}</math> adalah grup tak hingga. Tidak seperti <math>\mathbb{Z}</math>, grup berhingga tidak mungkin dipetakan oleh pemetaan inklusi (oleh monomorfisme) sebagai subgrup sejati dari grup berhingga itu sendiri. Sebaliknya, secara umum, barisan eksak pendek grup berhingga, berdasarkan [[teorema isomorfisme pertama|teorema isomorfisme pertama,]] dapat ditulis sebagai berikut |
Perhatikan kembali barisan eksak pertama dan ketiga. Pada kedua barisan tersebut, pemetaan inklusi dari <math>\mathbb{Z}</math> ke <math>\mathbb{Z}</math> merupakan endomorfisme dari <math>\mathbb{Z}</math> yang merupakan monomorfisme. Hal ini memungkinkan untuk <math>\mathbb{Z}</math>, karena <math>\mathbb{Z}</math> adalah grup tak hingga. Tidak seperti <math>\mathbb{Z}</math>, grup berhingga tidak mungkin dipetakan oleh pemetaan inklusi (oleh monomorfisme) sebagai subgrup sejati dari grup berhingga itu sendiri. Sebaliknya, secara umum, barisan eksak pendek grup berhingga, berdasarkan [[teorema isomorfisme pertama|teorema isomorfisme pertama,]] dapat ditulis sebagai berikut |
||
Baris 89: | Baris 89: | ||
: <math>1\to C_n \to D_{2n} \to C_2\to 1</math> |
: <math>1\to C_n \to D_{2n} \to C_2\to 1</math> |
||
dengan <math>C_n</math> adalah [[grup siklik]] dari order ''n'' dan <math>D_{2n}</math> adalah [[grup dihedral]] dari order 2''n'', yang merupakan grup nonabelian. |
|||
=== Irisan dan jumlah modul === |
=== Irisan dan jumlah modul === |
||
Baris 116: | Baris 116: | ||
Lema ular memperlihatkan bahwa diagram komutatif dengan dua baris eksak menginduksi barisan eksak panjang. Lema sembilan adalah contoh khusus dari aplikasi lema ular. |
Lema ular memperlihatkan bahwa diagram komutatif dengan dua baris eksak menginduksi barisan eksak panjang. Lema sembilan adalah contoh khusus dari aplikasi lema ular. |
||
Lema lima memberikan kondisi |
Lema lima memberikan kondisi untuk pemetaan di tengah pada diagram komutatif dengan dua baris eksak memiliki panjang 5 menjadi isomorfisme; lema pendek lima merupakan contoh khusus dari aplikasi lema lima pada barisan eksak pendek. |
||
Fakta bahwa setiap barisan eksak dapat dilihat sebagai hasil dari "menghubungkan" beberapa barisan eksak pendek yang tumpang tindih menunjukkan betapa pentingnya barisan eksak pendek. Sebagai contoh, tinjau barisan eksak berikut |
Fakta bahwa setiap barisan eksak dapat dilihat sebagai hasil dari "menghubungkan" beberapa barisan eksak pendek yang tumpang tindih menunjukkan betapa pentingnya barisan eksak pendek. Sebagai contoh, tinjau barisan eksak berikut |
||
Baris 126: | Baris 126: | ||
<math>C_k \cong \ker(A_k \rightarrow A_{k+1}) \cong \operatorname{im}(A_{k-1}\rightarrow A_{k}).</math> |
<math>C_k \cong \ker(A_k \rightarrow A_{k+1}) \cong \operatorname{im}(A_{k-1}\rightarrow A_{k}).</math> |
||
Misalkan pula kokernel setiap morfisme pada barisan ada pada kategori objek barisan tersebut, dan isomorfis dengan |
Misalkan pula kokernel setiap morfisme pada barisan ada pada kategori objek barisan tersebut, dan isomorfis dengan peta morfisme setelahnya pada barisan eksak di atas: |
||
<math>C_k \cong \operatorname{coker}(A_{k-2} \rightarrow A_{k-1})</math> |
<math>C_k \cong \operatorname{coker}(A_{k-2} \rightarrow A_{k-1})</math> |
||
(Ini benar untuk beberapa kategori, termasuk kategori abelian seperti kategori grup abelian;namun tidak benar untuk semua kategori yang mengenal konsep barisan eksak, dan khususnya tidak benar untuk kategori grup |
(Ini benar untuk beberapa kategori, termasuk kategori abelian seperti kategori grup abelian;namun tidak benar untuk semua kategori yang mengenal konsep barisan eksak, dan khususnya tidak benar untuk kategori grup; spesifiknya <math>\operatorname{coker}(f):G \rightarrow H</math> bukanlah <math>H/\operatorname{Im}(f)</math>, tetapi adalah grup hasil bagi <math>H</math> dengan tutupan normal dari <math>\operatorname{Im}(f)</math>, i.e. irisan semua subgrup normal dari <math>H</math> yang memuat <math>\operatorname{Im}(f)</math>.) Dengan demikian, kita mendapati diagram komutatif berikut yang setiap diagonalnya adalah barisan eksak pendek: |
||
[[Berkas:Long_short_exact_sequences.png|Long short exact sequences]] |
[[Berkas:Long_short_exact_sequences.png|Long short exact sequences]] |
||
Bagian dari diagram ini yang bergantung pada eksistensi kokernel di kategori objek barisan adalah objek <math>C_7</math> dan pasangan morfisme terakhir <math>A_6 \rightarrow C_7 \rightarrow 0</math>. Hal ini dikarenakan adanya objek <math>A_{k+1}</math> dan morfisme <math>A_{k} \rightarrow A_{k+1}</math> sedemikian sehingga <math>A_{k-1} \rightarrow A_k \rightarrow A_{k+1}</math> adalah barisan yang eksak juga membuat barisan <math>0 \rightarrow C_k \rightarrow A_k \rightarrow C_{k+1} \rightarrow 0</math> menjadi eksak. Dengan demikian, misalnya pada kategori grup, <math>\operatorname{im}(f)</math> adalah kernel dari suatu homomorfisme dengan domain <math>H</math> mengimplikasikan bahwa <math>\operatorname{im}(f)</math> adalah subgrup normal dari <math>H</math>. Oleh karena itu, <math>\operatorname{coker}(f)</math> isomorfik dengan hasil |
Bagian dari diagram ini yang bergantung pada eksistensi kokernel di kategori objek barisan adalah objek <math>C_7</math> dan pasangan morfisme terakhir <math>A_6 \rightarrow C_7 \rightarrow 0</math>. Hal ini dikarenakan adanya objek <math>A_{k+1}</math> dan morfisme <math>A_{k} \rightarrow A_{k+1}</math> sedemikian sehingga <math>A_{k-1} \rightarrow A_k \rightarrow A_{k+1}</math> adalah barisan yang eksak juga membuat barisan <math>0 \rightarrow C_k \rightarrow A_k \rightarrow C_{k+1} \rightarrow 0</math> menjadi eksak. Dengan demikian, misalnya pada kategori grup, <math>\operatorname{im}(f)</math> adalah kernel dari suatu homomorfisme dengan domain <math>H</math> mengimplikasikan bahwa <math>\operatorname{im}(f)</math> adalah subgrup normal dari <math>H</math>. Oleh karena itu, <math>\operatorname{coker}(f)</math> isomorfik dengan hasil peta dari <math>H/\operatorname{im}(f)</math> oleh pemetaan berikutnya. |
||
Sebaliknya, jika diberikan sembarang kumpulan barisan eksak pendek yang saling tumpah tindih, maka suku tengah barisan eksak membentuk suatu barisan eksak dengan cara yang serupa. |
Sebaliknya, jika diberikan sembarang kumpulan barisan eksak pendek yang saling tumpah tindih, maka suku tengah barisan eksak membentuk suatu barisan eksak dengan cara yang serupa. |
||
Baris 143: | Baris 143: | ||
[[Masalah ekstensi]] pada dasarnya adalah pertanyaan "Misalkan <math>A</math> dan <math>C</math> adalah suku akhir tidak nol pada barisan eksak pendek, apa yang dapat dikatakan mengenai suku tengah <math>B</math> ?" Dalam kategori grup, ini ekuivalen dengan pertanyaan, "Grup <math>B</math> apakah yang memiliki <math>A</math> sebagai [[Subgrup normal|subgrup normalnya]] dengan <math>C</math> merupakan grup hasil baginya?" Masalah ini penting dalam [[Klasifikasi grup sederhana hingga|klasifikasi grup]]. Lihat pula [[grup automorfisme luar]]. |
[[Masalah ekstensi]] pada dasarnya adalah pertanyaan "Misalkan <math>A</math> dan <math>C</math> adalah suku akhir tidak nol pada barisan eksak pendek, apa yang dapat dikatakan mengenai suku tengah <math>B</math> ?" Dalam kategori grup, ini ekuivalen dengan pertanyaan, "Grup <math>B</math> apakah yang memiliki <math>A</math> sebagai [[Subgrup normal|subgrup normalnya]] dengan <math>C</math> merupakan grup hasil baginya?" Masalah ini penting dalam [[Klasifikasi grup sederhana hingga|klasifikasi grup]]. Lihat pula [[grup automorfisme luar]]. |
||
Perhatikan bahwa komposisi <math>f_{i+1} \circ f_i</math> dalam barisan eksak merupakan pemetaan <math>0</math> dari <math>A_i</math> ke <math>A_{i+2}</math>, sehingga setiap barisan eksak adalah [[kaidah kompleks|rantai kompleks]]. Selanjutnya, hanya |
Perhatikan bahwa komposisi <math>f_{i+1} \circ f_i</math> dalam barisan eksak merupakan pemetaan <math>0</math> dari <math>A_i</math> ke <math>A_{i+2}</math>, sehingga setiap barisan eksak adalah [[kaidah kompleks|rantai kompleks]]. Selanjutnya, hanya peta dari <math>f_i</math> yang dipetakan ke <math>0</math> oleh <math>f_{i+1}</math>, sehingga [[Homologi (matematika)|homologi]] dari rantai kompleks (yaitu <math>H_i=\ker(f_{i+1})/\mathrm{im}(f_{i})</math>) semuanya trivial (merupakan grup nol). Dalam bahasa rantai kompleks, barisan eksak disebut rantai [[Kompleks asiklik|asiklik]]. Dari pembahasan sebelumnya, hal ini ekuivalen dengan rantai kompleks yang memiliki homologi trivial |
||
Pada sembarang rantai kompleks, homologi dapat dianggap sebagai alat yang mengukur kegagalan rantai kompleks menjadi barisan yang eksak. |
Pada sembarang rantai kompleks, homologi dapat dianggap sebagai alat yang mengukur kegagalan rantai kompleks menjadi barisan yang eksak. |
||
Jika |
Jika barisan eksak pendek dihubungkan sedemikian rupa menjadi sebuah rantai kompleks (yaitu, barisan eksak pendek yang sukunya berupa rantai kompleks, atau dari sudut pandang lain, rantai kompleks yang sukunya berupa barisan eksak pendek), maka '''barisan eksak panjang''' dari homologi (yaitu barisan eksak yang tidak terbatas) dapat dikonstruksi dengan menggunakan [[lema zig-zag]]. Hal ini muncul di [[topologi aljabar]] dalam studi tentang [[homologi relatif]]; [[urutan Mayer–Vietoris|barisan Mayer–Vietoris]] adalah contoh lain. Praktik mengkonstruksi barisan eksak panjang dari barisan eksak pendek seperti ini juga muncul pada pembahasan [[funktor turunan]]. |
||
[[Funktor]] yang mengirimkan barisan eksak ke barisan eksak disebut [[funktor eksak]]. |
[[Funktor]] yang mengirimkan barisan eksak ke barisan eksak disebut [[funktor eksak]]. |
Revisi per 19 November 2022 16.13
![Ilustrasi urutan grup yang tepat menggunakan diagram Venn. Grup lingkaran, di dalamnya ada subgrup yang secara bersamaan merupakan kisaran homomorfisme sebelumnya dan inti dari yang berikutnya.](http://upload.wikimedia.org/wikipedia/commons/thumb/b/bc/Illustration_of_an_Exact_Sequence_of_Groups.svg/533px-Illustration_of_an_Exact_Sequence_of_Groups.svg.png)
Barisan eksak adalah sebuah konsep dalam matematika, khususnya dalam teori grup, gelanggang dan modul teori, aljabar homologis, serta dalam geometri diferensial. Barisan eksak adalah barisan terbatas atau tak terbatas dari objek dan morfisme sedemikian sehingga peta dari satu morfisme sama dengan kernel yang berikutnya.
Definisi
Dalam konteks teori grup, sebuah barisan
dari grup dan homomorfisme grup disebut eksak jika peta dari setiap homomorfisme sama dengan kernel dari homomorfisme berikutnya:
untuk setiap . Di sini, barisan grup beserta homomorfismenya dapat bersifat terbatas, maupun tidak terbatas.
Definisi serupa dapat dibuat untuk struktur aljabar lainnya. Misalnya barisan dari ruang vektor dan transformasi linear, atau dari modul dan homomorfisme modul. Secara umum, konsep barisan eksak dapat didefinisikan pada kategori yang memiliki kernel dan kokernel.
Kasus sederhana
Untuk memahami pengertian dari barisan eksak, mari meninjau kasus-kasus sederhana dengan barisan bersifat terbatas yang dimulai atau diakhiri dengan grup trivial. Biasanya, grup trivial dengan elemen identitas tunggal, dilambangkan dengan 0 (notasi aditif, biasanya jika grupnya abelian), atau dilambangkan 1 (notasi perkalian).
- Tinjau barisan . Peta pemetaan paling kiri adalah . Oleh karena itu, barisan ini eksak jika dan hanya jika pemetaan paling kanan (dari ke ) memiliki kernel ; yaitu jika dan hanya jika pemetaan paling kanan adalah monomorfisme (injektif, atau satu-ke-satu).
- Tinjau barisan . Kernel peta paling kanan adalah . Oleh karena itu, barisan ini eksak jika dan hanya jika peta pemetaan paling kiri (dari ke ) adalah ; yaitu jika dan hanya jika pemetaan paling kanan adalah epimorfisme (perkiraan, atau ke atas).
- Oleh karena itu, barisan eksak jika dan hanya jika pemetaan dari adalah monomorfisme dan epimorfisme (yaitu, bimorfisme), yang biasanya juga merupakan isomorfisme antara dan (hal ini berlaku pada kategori eksak seperti kategori himpunan).
Barisan eksak pendek
Barisan eksak pendek merupakan barisan eksak berbentuk
- .
Dari pembahasan di atas, barisan di atas merupakan barisan eksak pendek jika dan hanya jika adalah monomorfisme, adalah epimorfisme, dan peta dari sama dengan kernel . Untuk memudahkan, pandang sebagai subobjek dari dengan pemetaan yang "memasukkan" ke dalam , dan sebagai objek faktor (atau hasil bagi) melalui isomorfisme yang diinduksi oleh berikut.
- .
Barisan eksak pendek
disebut 'split' jika terdapat homomorfisme sedemikian sehingga , dengan adalah pemetaan identitas pada Akibatnya, jika barisan ini merupakan barisan eksak dari grup abelian, isomorfik terhadap jumlah langsung dari dan :
Barisan eksak panjang
Barisan eksak panjang adalah barisan eksak yang terdiri dari lebih dari tiga suku bukan nol, sering kali merupakan barisan eksak tak terbatas.
Barisan eksak panjang ekuivalen dengan kumpulan barisan eksak pendek. Misalkan
adalah barisan eksak panjang dengan , maka barisan eksak ini dapat dipecah menjadi beberapa barisan eksak pendek
dimana untuk .
Contoh
Bilangan bulat modulo dua
Tinjau barisan eksak grup abelian berikut:
Homomorfisme pertama memetakan setiap ke . Homomorfisme kedua memetakan setiap ke . Di sini panah kait menunjukkan bahwa pemetaan dari ke adalah monomorfisme, dan panah berkepala dua menunjukkan epimorfisme (pemetaan modulo 2). Ini adalah barisan eksak, karena peta dari monomorfisme adalah kernel dari epimorfisme. Pada dasarnya, barisan yang "sama" juga dapat ditulis sebagai
Dalam hal ini, monomorfismenya adalah pemetaan inklusi , yang meskipun terlihat seperti fungsi identitas, bukanlah fungsi identitas (bukan epimorfisme), karena bilangan ganjil bukanlah elemen . Peta dari melalui monomorfisme ini adalah subhimpunan dari yang merupakan peta dari pemetaan yang digunakan dalam barisan eksak sebelumnya. Secara konkret, barisan eksak ini berbeda dengan barisan eksak sebelumnya, mengingat objek pertama barisan eksak ini adalah dan objek pertama pada barisan sebelumnya adalah , meskipun keduanya isomorfik sebagai grup.
Barisan eksak pada contoh pertama juga dapat ditulis tanpa menggunakan simbol khusus untuk monomorfisme dan epimorfisme:
Di sini menunjukkan grup trivial, pemetaan dari ke adalah perkalian dengan , dan pemetaan dari ke grup faktor adalah pemetaan modulo . adalah barisan yang eksak, mengingat:
- peta pemetaan adalah , dan kernel dari perkalian dengan juga adalah , sehingga barisannya eksak di pertama.
- peta perkalian dengan adalah , dan kernel dari pemetaan modulo juga adalah , sehingga barisannya eksak di kedua.
- peta pemetaan modulo 2 adalah , dan kernel dari pemetaan nol juga adalah , sehingga barisannya eksak di .
Perhatikan kembali barisan eksak pertama dan ketiga. Pada kedua barisan tersebut, pemetaan inklusi dari ke merupakan endomorfisme dari yang merupakan monomorfisme. Hal ini memungkinkan untuk , karena adalah grup tak hingga. Tidak seperti , grup berhingga tidak mungkin dipetakan oleh pemetaan inklusi (oleh monomorfisme) sebagai subgrup sejati dari grup berhingga itu sendiri. Sebaliknya, secara umum, barisan eksak pendek grup berhingga, berdasarkan teorema isomorfisme pertama, dapat ditulis sebagai berikut
Berikut contoh yang lebih konkret dari barisan eksak grup berhingga:
dengan adalah grup siklik dari order n dan adalah grup dihedral dari order 2n, yang merupakan grup nonabelian.
Irisan dan jumlah modul
Misalkan I dan J adalah dua ideal dari sebuah gelanggang R. Kemudian
adalah barisan yang eksak modul-R, dengan homomorfisme modul memetakan setiap elemen ke elemen pada jumlah langsung , dan homomorfisme memetakan setiap elemen dari ke .
Homomorfisme-homomorfisme pada barisan eksak di atas dapat dilihat sebagai batasan dari homomorfisme-homomorfisme yang didefinisikan secara serupa pada barisan eksak pendek berikut
Dengan menggunakan modul hasil bagi, barisan eksak ini menghasilkan barisan eksak yang sama persis dengan barisan eksak di atas
Sifat barisan eksak
Lema split menyatakan barisan eksak pendek
merupakan barisan eksak yang 'split', i.e. , jika dan hanya jika terdapat morfisme sedemikian sehingga atau terdapat morfisme sedemikian sehingga .
Lema ular memperlihatkan bahwa diagram komutatif dengan dua baris eksak menginduksi barisan eksak panjang. Lema sembilan adalah contoh khusus dari aplikasi lema ular.
Lema lima memberikan kondisi untuk pemetaan di tengah pada diagram komutatif dengan dua baris eksak memiliki panjang 5 menjadi isomorfisme; lema pendek lima merupakan contoh khusus dari aplikasi lema lima pada barisan eksak pendek.
Fakta bahwa setiap barisan eksak dapat dilihat sebagai hasil dari "menghubungkan" beberapa barisan eksak pendek yang tumpang tindih menunjukkan betapa pentingnya barisan eksak pendek. Sebagai contoh, tinjau barisan eksak berikut
yang mengimplikasikan terdapat objek pada kategori objek barisan tersebut sedemikian sehingga
Misalkan pula kokernel setiap morfisme pada barisan ada pada kategori objek barisan tersebut, dan isomorfis dengan peta morfisme setelahnya pada barisan eksak di atas:
(Ini benar untuk beberapa kategori, termasuk kategori abelian seperti kategori grup abelian;namun tidak benar untuk semua kategori yang mengenal konsep barisan eksak, dan khususnya tidak benar untuk kategori grup; spesifiknya bukanlah , tetapi adalah grup hasil bagi dengan tutupan normal dari , i.e. irisan semua subgrup normal dari yang memuat .) Dengan demikian, kita mendapati diagram komutatif berikut yang setiap diagonalnya adalah barisan eksak pendek:
Bagian dari diagram ini yang bergantung pada eksistensi kokernel di kategori objek barisan adalah objek dan pasangan morfisme terakhir . Hal ini dikarenakan adanya objek dan morfisme sedemikian sehingga adalah barisan yang eksak juga membuat barisan menjadi eksak. Dengan demikian, misalnya pada kategori grup, adalah kernel dari suatu homomorfisme dengan domain mengimplikasikan bahwa adalah subgrup normal dari . Oleh karena itu, isomorfik dengan hasil peta dari oleh pemetaan berikutnya.
Sebaliknya, jika diberikan sembarang kumpulan barisan eksak pendek yang saling tumpah tindih, maka suku tengah barisan eksak membentuk suatu barisan eksak dengan cara yang serupa.
Penerapan barisan eksak
Dalam teori kategori abelian, barisan eksak pendek seringkali digunakan sebagai media untuk membicarakan subobjek dan objek faktor.
Masalah ekstensi pada dasarnya adalah pertanyaan "Misalkan dan adalah suku akhir tidak nol pada barisan eksak pendek, apa yang dapat dikatakan mengenai suku tengah ?" Dalam kategori grup, ini ekuivalen dengan pertanyaan, "Grup apakah yang memiliki sebagai subgrup normalnya dengan merupakan grup hasil baginya?" Masalah ini penting dalam klasifikasi grup. Lihat pula grup automorfisme luar.
Perhatikan bahwa komposisi dalam barisan eksak merupakan pemetaan dari ke , sehingga setiap barisan eksak adalah rantai kompleks. Selanjutnya, hanya peta dari yang dipetakan ke oleh , sehingga homologi dari rantai kompleks (yaitu ) semuanya trivial (merupakan grup nol). Dalam bahasa rantai kompleks, barisan eksak disebut rantai asiklik. Dari pembahasan sebelumnya, hal ini ekuivalen dengan rantai kompleks yang memiliki homologi trivial
Pada sembarang rantai kompleks, homologi dapat dianggap sebagai alat yang mengukur kegagalan rantai kompleks menjadi barisan yang eksak.
Jika barisan eksak pendek dihubungkan sedemikian rupa menjadi sebuah rantai kompleks (yaitu, barisan eksak pendek yang sukunya berupa rantai kompleks, atau dari sudut pandang lain, rantai kompleks yang sukunya berupa barisan eksak pendek), maka barisan eksak panjang dari homologi (yaitu barisan eksak yang tidak terbatas) dapat dikonstruksi dengan menggunakan lema zig-zag. Hal ini muncul di topologi aljabar dalam studi tentang homologi relatif; barisan Mayer–Vietoris adalah contoh lain. Praktik mengkonstruksi barisan eksak panjang dari barisan eksak pendek seperti ini juga muncul pada pembahasan funktor turunan.
Funktor yang mengirimkan barisan eksak ke barisan eksak disebut funktor eksak.
Daftar pustaka
- Spanier, Edwin Henry (1995). Algebraic Topology
. Berlin: Springer. hlm. 179. ISBN 0-387-94426-5.
- Eisenbud, David (1995). Commutative Algebra: with a View Toward Algebraic Geometry
. Springer-Verlag New York. hlm. 785. ISBN 0-387-94269-6.
- Kutipan