0
$\begingroup$

$\def\im{\operatorname{im}}\def\coker{\operatorname{coker}}$For a morphism $ f: A\to B$ in an abelian category, we let $\im f:=\ker(\coker f)$.

Then the morphism $A\to \im f$ is an epimorphism and $\coker(\ker f\to A).$

May I have their proofs?

  • 0
    I have understood all steps. Thank you again.2012-10-26

0 Answers 0