余像

数学の代数学において、ある種の代数系における準同型写像
 f: A → B
の余像（よぞう、）とは、定義域と核の
 coim f = A/ker f
のことを言う。その代数系において第一同型定理が成り立つならば、定理に言うところの同型写像
 
によって余像と像とは自然同型（canonical isomorphism）である。

より一般に、圏論において、射の余像とは射の像の双対概念である。f : X → Y とするとき、f の余像は（存在するならば）次を満たす全射 c : X → C を言う：
 f = fcc であるような写像 fc : C → Y が存在する；
 f = fzz であるような写像 fz : Z → Y が存在する任意の全射 z : X → Z に対し、c = πz および fz = fcπ のいずれも成立するような唯一つの写像 π : Z → C が存在する。

関連項目 
 商対象: 部分対象の双対概念
 余核

参考文献 
 

代数学
数学に関する記事

pl:Twierdzenie o izomorfizmie#Pierwsze twierdzenie