The image of a morphism is the kernel of its cokernel, and the coimage is the ... m⊗b ∈ C/im(f)⊗RB maps to m⊗b under φ, so we have a surjection and.
確定! 回上一頁