Kocitra: Perbedaan antara revisi
Tampilan
Konten dihapus Konten ditambahkan
k v2.04b - Fixed using Wikipedia:ProyekWiki Cek Wikipedia (Spasi dalam kategori) |
k →top: clean up |
||
Baris 7: | Baris 7: | ||
:<math>\text{coim} f = A/\ker(f)</math> |
:<math>\text{coim} f = A/\ker(f)</math> |
||
dari [[domain suatu fungsi|domain]] oleh [[kernel (aljabar)|kernel]]. Kocitra adalah [[isomorfisme natural |
dari [[domain suatu fungsi|domain]] oleh [[kernel (aljabar)|kernel]]. Kocitra adalah [[isomorfisme natural|isomorfik kanonik]] ke [[Citra (matematika)|citra]] oleh [[teorema isomorfisme |teorema isomorfisme pertama]], ketika teorema itu berlaku. |
||
Lebih umum lagi, dalam [[teori kategori]], '''kocitra''' dari [[morfisme]] adalah pengertian ganda dari [[galeri (teori kategori)|gambar morfisme]]. Jika <math>f : X \rightarrow Y</math>, maka kocitra dari <math> f </math> (jika ada) adalah [[epimorfisme]] <math>c : X \rightarrow C</math> sehingga |
Lebih umum lagi, dalam [[teori kategori]], '''kocitra''' dari [[morfisme]] adalah pengertian ganda dari [[galeri (teori kategori)|gambar morfisme]]. Jika <math>f : X \rightarrow Y</math>, maka kocitra dari <math> f </math> (jika ada) adalah [[epimorfisme]] <math>c : X \rightarrow C</math> sehingga |
Revisi terkini sejak 22 Januari 2023 22.07
Dalam aljabar, kocitra dari sebuah homomorfisme
adalah hasil bagi
dari domain oleh kernel. Kocitra adalah isomorfik kanonik ke citra oleh teorema isomorfisme pertama, ketika teorema itu berlaku.
Lebih umum lagi, dalam teori kategori, kocitra dari morfisme adalah pengertian ganda dari gambar morfisme. Jika , maka kocitra dari (jika ada) adalah epimorfisme sehingga
- peta dengan ,
- untuk suatu epimorfisme yang terdapat sebuah peta dengan , pada peta sehingga keduanya dan
Lihat pula
[sunting | sunting sumber]Referensi
[sunting | sunting sumber]- Mitchell, Barry (1965). Theory of categories. Pure and applied mathematics. 17. Academic Press. ISBN 978-0-124-99250-4. MR 0202787.