cokernel（余核）：在代数与范畴论中，给定一个映射（常见为群同态或线性映射）\(f: A \to B\)，其余核定义为
\[ \mathrm{coker}(f)=B/\mathrm{im}(f) \] 也就是把 \(B\) 按照 \(f\) 的像 \(\mathrm{im}(f)\) 进行商得到的对象。直观上，余核常用来刻画“\(f\) 离满射还差多少”（衡量不满射的部分）。在更一般的范畴里，它是“余等化子（coequalizer）”的一种特例。
/koknl/
The cokernel of this map is zero.
这个映射的余核为零。
In an exact sequence, the cokernel of \(f\) is isomorphic to the image of the next map.
在正合列中，\(f\) 的余核同构于下一个映射的像。
cokernel 由前缀 **co-**（表示“对偶、反向对应”的概念）+ kernel（核）构成，意思是“与核对偶的对象”。在许多代数结构里，“核”对应刻画不单射的部分，而“余核”对应刻画不满射的部分，这种成对出现的思想来自更一般的“对偶性（duality）”。
Select Language