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.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Hilton and Stammbach require an abelian category to be an additive category in which

1) all kernels and cokernels exist

2) all monos are the kernel of their cokernel, all epis are the cokernel of their kernel

3) every morphism factors as an epi composed with a mono

But Wikepedia's definition only requires it to be an additive category in which

1) all kernels and cokernels exist

2') all (co)kernels are (co)normal.

I managed to get 2') from 2), so they are equivalent. Now I'm wondering how to get a 3) from 1) and 2) but I'm stuck. Even Hilton and Stammbach made explicit use of 3) when they were proving their Proposition 9.6:

In an abelian category any morphism $\phi : A\rightarrow B$ factors as $K \hookrightarrow A \twoheadrightarrow I \hookrightarrow B \twoheadrightarrow C$.

and I can't see a way to get around it and prove 3) from the other two.

share|cite|improve this question
In 2') you mean that monos/epis are normal/conormal. – Martin Brandenburg Oct 27 '13 at 20:04
The proof of 3) (which follows from 1,2) can be found in the book CWM by Mac Lane. – Martin Brandenburg Oct 27 '13 at 20:05
possible duplicate of Some questions on abelian category – Zhen Lin Nov 2 '13 at 17:05

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.