Number Theory Seminar

Algebraic K-theory of Z/p was computed by Quillen shortly after defining higher K-groups. On the contrary, K(Z/p^n) for n>1 has so far eluded computation in all but the smallest degrees. Based on the recently discovered prismatic cohomology, we compute algebraic K-theory of those rings. We do not quite obtain closed-form descriptions, but our calculation is completely effective and we have turned it into a program computing K-theory through an arbitrary range of degrees. In this talk, I want to give an overview over our methods.