$\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?
Tell me more
×
Mathematics Stack Exchange is a question and answer site for
people studying math at any level and professionals in related fields. It's 100% free, no registration required.
|
|
|||||||||
|
