Lompat ke isi

Kocitra

Dari Wikipedia bahasa Indonesia, ensiklopedia bebas

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

  1. peta dengan ,
  2. untuk suatu epimorfisme yang terdapat sebuah peta dengan , pada peta sehingga keduanya dan

Lihat pula

[sunting | sunting sumber]

Referensi

[sunting | sunting sumber]