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

より一般に、圏論において、射の余像とは射の像の双対概念である。"f" : "X" → "Y" とするとき、"f" の余像は（存在するならば）次を満たす全射 "c" : "X" → "C" を言う：
# "f" = "f""c""c" であるような写像 "f""c" : "C" → "Y" が存在する；
# "f" = "f""z""z" であるような写像 "f""z" : "Z" → "Y" が存在する任意の全射 "z" : "X" → "Z" に対し、"c" = π"z" および "f""z" = "f""c"π のいずれも成立するような唯一つの写像 π : "Z" → "C" が存在する。
Q395
数学
Concept
Q3968
代数学
Concept
Q205464
代数系
Concept
Q215111
準同型写像
Concept
Q192439
定義域
Concept
Q574844
核
Concept
Q1065966
第一同型定理
Concept
Q860623
像
Concept
Q1442189
自然同型
Concept
Q217413
圏論
Concept
Q1948412
射
Concept
Q860530
射の像
Concept
Q1347208
全射
Concept
Q9388290
余像
UNK
Q9388290
余像
UNK
Q9388290
余像
UNK
Q9388290
余像
UNK
2020-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1
DATE
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
part of
studies
studies
studies
studies
studies
different from
studies
part of
part of