assembling this exposition: notes taken by Hyman Bass at a talk of Quillen's in Oberwolfach
on June 25, 1974; notes from a course given by Quillen at MIT in Spring, 1975; and recent
telephone conversations with Quillen. For a ring of integers in a number field, Quillen had
already shown the groups KiA are finitely generated by September, 1972, when he spoke at
the Battelle conference [Q2]. An examination of the proof there reveals that the only portion …