n OK/πn = W (k)[[z]]/(d, zn) is the π-adic filtration. We get an induced filtration on the prismatic envelope (and in fact, one can see that prismatic cohomology for such a filtered p, SAGE code and examples for computing the p-adic syntomic cohomology and p-adic algebraic K-groups of quotients of rings of integers in totally ramified p-adic fields., In this paper, we shall give a sufficient condition when a prime $p$ divides the order of the groups $K_ {2k} (\mathbb {Z} [\zeta_m+\zeta_m^ {-1}])$ and $K_ {2k} (\mathbb {Z} [\zeta_m])$, where $\zeta_m$ is a primitive $m$th root of unity., Abstract: In recent work with B. Antieau and T. Nikolaus, we develop an approach to compute K-theory of Z/p^n and related rings, based on prismatic cohomology. On one hand, this leads to an explicit, practical algorithm to compute these groups, greatly extending the known range., We give an explicit algebraic description, based on prismatic cohomology, of the algebraic K-groups of rings of the form OK/I where K is a p-adic field and I is a non-trivial ideal in the ring of integers OK; this class includes the rings Z/pn where p is a prime., In recent work with Antieau and Nikolaus we use prismatic cohomology to compute algebraic K-theory of Z/pn and similar rings. Our approach is based on a new description of absolute prismatic cohomology, which can be made completely algorithmic in this case..