An Algebraic Proof of Quillen's Resolution Theorem for K 1

Abstract

In his 1973 paper [4] Quillen proved a resolution theorem for the K-Theory of an exact category; his proof was homotopic in nature. By using the main result of Nenashev's paper [3], we are able to give an algebraic proof of Quillen's Resolution Theorem for K1 of an exact category. We view this as an advance towards the goal of giving an essentially algebraic subject an algebraic foundation.