The conjecture in Quillen's original form states that if A is a finitely-generated algebra over the integers and l is prime, then there is a spectral sequence analogous to the Atiyah–Hirzebruch spectral sequence, starting at
(which is understood to be 0 if q is odd)
and abutting to
for −p − q > 1 + dim A.
K-theory of the integers
Assuming the Quillen–Lichtenbaum conjecture and the Vandiver conjecture, the K-groups of the integers, Kn(Z), are given by:
Lichtenbaum, Stephen (1973), "Values of zeta-functions, étale cohomology, and algebraic K-theory", in Bass, H. (ed.), Algebraic K-theory, II: Classical algebraic K-theory and connections with arithmetic (Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972), Lecture Notes in Mathematics, vol. 342, Berlin, New York: Springer-Verlag, pp. 489–501, doi:10.1007/BFb0073737, ISBN978-3-540-06435-0, MR0406981