加群の余核Coker - mrsekut-p

加群の余核Coker

定義

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

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

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

参考

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