### A note on the Quillen-Lichtenbaum conjecture and the arithmetic of square rings, by Grzegorz Banaszak, Wojciech Gajda, Piotr Krason, and Piotr Zelewski

We define a wild kernel for K-groups of number fields for all indices. This
wild kernel is always finite. We conjecture that the wild kernel in K_n(F)
should be equal to divisible elements in K_n(F), up to 2-torsion. We can
verify this conjecture for n = 0, 1, 2, 3 and for any number field F, and
also for n = 4 and F = Q, hence in the cases where K-groups are better
understood. We give a condition when our conjecture and the conjecture of
Quillen-Lichtenbaum are equivalent. One of our results shows that these
conjectures are equivalent - unconditionally - for F = Q and n > 1. In the
last two sections of our paper we work with SK_1 description of K-theory. We
reformulate our conjecture in terms of linear algebra over square rings, and
investigate further the wild kernel.

Grzegorz Banaszak <banaszak@math.amu.edu.pl>

Wojciech Gajda <gajda@math.amu.edu.pl>

Piotr Krason <krason@uoo.univ.szczecin.pl>

Piotr Zelewski <piotr@icarus.math.mcmaster.ca>