Kocitra

Dalam aljabar, kocitra dari sebuah homomorfisme

$f:A\to B$

adalah hasil bagi

$\text{coim}f=A/\ker (f)$

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 $f:X\to Y$, maka kocitra dari $f$ (jika ada) adalah epimorfisme $c:X\to C$ sehingga

1. peta $f_c:C\to Y$ dengan $f=f_c\circ c$,
2. untuk suatu epimorfisme $z:X\to Z$ yang terdapat sebuah peta $f_z:Z\to Y$ dengan $f=f_z\circ z$, pada peta $h:Z\to C$ sehingga keduanya $c=h\circ z$ dan $f_z=f_c\circ h$

Lihat pula

• Objek hasil bagi
• Kokernel

Referensi

• Templat:Mitchell TOC