你想弄懂什么？

模块同态 $f:A\to B$ 的余核是商模 $B/\operatorname{im}(f)$。它表示陪域模去该映射的像。

适用条件：$f:A\to B$ 是 $R$-模的同态。

模块同态 $f:A\to B$ 的余核是商模 $B/\operatorname{im}(f)$。它表示陪域模去该映射的像。

适用条件：$f:A\to B$ 是 $R$-模的同态。

模块同态 $f:A\to B$ 的余核定义为陪域 $B$ 除以 $f$ 的像所得的商，记作 $\operatorname{coker}(f) = B/\operatorname{im}(f)$。它通过捕获 $B$ 中不在 $A$ 的像中的元素，来衡量 $f$ 未能满射的程度。

适用条件：$f:A\to B$ 是 $R$-模的同态。；$\operatorname{im}(f)$ 是 $B$ 的子模。

模块同态 $f:A\to B$ 的余核定义为陪域 $B$ 除以 $f$ 的像所得的商，记作 $\operatorname{coker}(f) = B/\operatorname{im}(f)$。它通过捕获 $B$ 中不在 $A$ 的像中的元素，来衡量 $f$ 未能满射的程度。

适用条件：$f:A\to B$ 是 $R$-模的同态。；$\operatorname{im}(f)$ 是 $B$ 的子模。