K_1 of exact categories by mirror image sequences

摘要

We establish a presentation for K_1 of any small exact category P, based on the notion of mirror image sequence, originally introduced by Grayson in 1979; as part of the proof, we show that every element of K _1(P) arises from a mirror image sequence. This provides an alternative to Nenashev's presentation in terms of double short exact sequences.