### The completion theorem in K-theory for proper actions of a discrete group, by Wolfgang Lueck and Bob Oliver

We prove a version of the Atiyah-Segal completion theorem for proper
actions of an infinite discrete group G. More precisely, for any finite
proper G-CW-complex X, K^*(EG times_G X) is the completion of
K^*_G(X) with respect to a certain ideal. We also show, for such G
and X, that K_G(X) can be defined as the Grothendieck group of the
monoid of G-vector bundles over X.

Wolfgang Lueck <lueck@math.uni-muenster.de>

Bob Oliver <bob@math.univ-paris13.fr>