你想弄懂什么？

模块同态 $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$-模的同态。