We prove that the fourth algebraic K-group of the integers is the trivial group, i.e., that K_4(Z) = 0. The argument uses rank-, poset- and component filtrations of the algebraic K-theory spectrum K(Z) previously constructed by the author, and a group homology computation of H_1(SL_4(Z); St_4) by C. Soulé (see 0268), to compute the odd primary spectrum homology of K(Z) in degrees < 5. This shows that the odd torsion in K_4(Z) is trivial. The 2-torsion in K_4(Z) was shown to be trivial by the author and Weibel.

- 0267.bib (215 bytes)
- k4odd.dvi (65724 bytes) [March 12, 1998]
- k4odd.dvi.gz (25851 bytes)
- k4odd.pdf (156923 bytes)
- k4odd.ps.gz (166133 bytes)

John Rognes <rognes@math.uio.no>