quillen proved that if "a" is the ring of algebraic integers in an algebraic number field "f" (a finite extension of the rationals), then the algebraic k-groups of "a" are finitely generated. armand borel used this to calculate "k"("a") and k("f") modulo torsion. for example, for the integers z, borel proved that (modulo torsion)