Map factorization in an abelian category

Suppose we are working in an abelian category. Prove that any map has a decomposition where the left arrow is epi and the right arrow is monic.

My attempt of solution

Let's consider cokernel of f: it exists since we are in abelian category. For the same reason the cokernel has a kernel .

Since there is map such that . This is the factorization we were looking for.

Immediatly we see, that the right arrow is monic (since kernels are monics), so the only problem is to prove that is epi. And this is the thing i cannot do :(

I was unable to prove that since i cannot see any nonzero arrows from (and I need such arrow in order to use cokernel universality property).

Yet I was able to see some things...

Let . One thing I was able to notice is that . It is obvious that we have to use property, that the rightmost arrow is a cokernel (we can do the above construction with any map for which composition with f is 0, but f' need not to be epi). However again I don't see any arrows from B (so i cannot use cokernel property).

I had some other idea to deal with it. Let us start "from the other side". So consider kernel of f: . The analogous construction yields decomposition where the first arrow is and the second one is denoted by .

I was able to construct a map which has good "composition properties" (the corresponding triangles are commutative), however i was unable to prove that is an isomorphism (i was unable to construct the arrow in the opposite direction).

I would appreciate any ideas concerning this problem.

Re: Map factorization in an abelian category

It looks like it is the uniqueness part I was missing all the time.

I have found the proof in here 3xw.tac.mta.ca/tac/reprints/articles/3/tr3.pdf (3xw = www)

It is lucid, however not direct (not in a way I think about abelian category) so i will present my version of this proof (which is more complicated)

------------------------------------------------------------------------------

Step 0

Let us start with , let denote cokernel of f.

We know that f factors through and .

We can do the same with f'. Namely let denote cokernel of f'. Then f' factors through and .

--------------------------------------------------------------------------

Step 1

There is a monomorphism

Proof:

Let . Then we can see that there is a map e such that .

We can see that . Hence factorize through m. So we have .

--------------------------------------------------------------

Step 2

Since is monomorhpism we have .

Next we see that so we can see that . Therefore is an isomorphism.

Finally because every epi is cokernel of its kernel in abelian category.

-------------------------------------------------------------------

My remarks.

I wouldn't be able to do this proof without the book. Their aproach is more lucid, however it is not so beautyful in my opinion.

They argument that there should be not proper subobject in because image can be thought as the smallest subobject that factors f.

It is a good idea to think about image that way. Conversely cokernel can be thought as the biggest quotient object.

Also it is a good idea to think about Ker and Coker as inverse maps on quotient objects and subobjects. And what is important they are order reversing (step one above is the construction of that).