States [Bass-Heller-Swan Decomposition](/theorems/8686) for K_1: Let R be a unital ring, and interpret K_0 and K_1 as the low Quillen algebraic K-groups of unital rings, with K_0(R) defined from finitely generated projective left R-modules and K_1(R) in the standard stable automorphism model.