态射像的词语属性

态射像的百科含义

态射像(image of a morphism)群论中同态像概念在阿贝尔范畴中的推广.由阿贝尔范畴的定义可知:加性范畴留为阿贝尔范畴的充分必要条件是对任一态射aEHom(A,B)，都有如下的可换图，其中，表满态射，表单态射，对阿贝尔范畴留，这里的(C,帕称为a的像，记为Im a = (C,帕，有时也称甲为a的像，记为Ima=r}.若留为群范畴，在同构意义下，C就是群同态a的像，也就是说，(C，帕为a的像.可对偶地定义态射的上像.对一般的范畴留可如下定义留中态射.f : X->Y的像:若有Y的子对象Y'与单态射g:Y'->Y,，使有态射二:X ->Y'满...