from 余核

定義

加群準同型f: M\to Nに対し、以下のように定義する

\mathrm{Coker}f:=N/\mathrm{Im}f　

\mathrm{Im}fは加群の像Im

参考

『層とホモロジー代数』 p.11