En álgebra, la coimagen de un homomorfismo

Es el cociente

del dominio por el núcleo La coimagen es canónicamente isomórfica a la imagen por el primer teorema de isomorfismo.

Más generalmente, en teoría de categorías, la coimagen de un morfismo es el dual de la imagen de un morfismo.

Sea morfismo , un objeto cociente de se dice coimagen de si

Existe un morfismo tal que Para cualquier objeto cociente que cumple la condición anterior existe un único morfismo tal que .

Dada la definición anterior se demuestra que y

Véase también

Objeto cociente Conúcleo

Referencias

Lezama, Oswaldo (2019).

Categoría:Teoría de categorías Categoría:Álgebra abstracta