It would be of interest to know if there are situations in in which $K_0(i)$ is an injection other than when $R$ is regular or Artinian. commutative-algebra category-theory abelian-groups abelian-categories algebraic-k-theory share|improve this question edited Aug 29 '13 at 3:43