Talk:Finitely dominated CW complexes (Ex)

The obstruction to being homotopy equivalent to a finite complex lies in the group $\tilde{K}_0(\Z\pi_1(X))$$<wikitex>; The obstruction to being homotopy equivalent to a finite complex lies in the group $\tilde{K}_0(\Z\pi_1(X))$ which is the trivial group if $\pi_1(M)$ is trivial. </wikitex>\tilde{K}_0(\Z\pi_1(X))$ which is the trivial group if $\pi_1(M)$$\pi_1(M)$ is trivial.