余象

代数中,同态

fA → B

余象:

coim f = A/ker f

根据第一同构定理,余象自然同构于,如果该定理适用。

更一般地,在范畴论态射余象态射的像的对偶表示。如果f : XY,则f的余象(如果存在的话)是满同态 c : XC使得

  1. 存在映射fc : CY满足f = fcc
  2. 对于任何满同态z : XZ满足存在映射fz : ZYf = fzz,存在唯一的映射π : ZC使得c = πzfz = fcπ。

参加

  • 上核

参考文献

Mitchell,Barry (1965),Theory of categories,Pure and applied mathematics,17,Academic Press,ISBN 978-0-124-99250-4,MR0202787