Idempotent ideals and non-finitely generated projective modules over integral group rings of polycyclic-by-finite groups

Peter A. Linnell, Gena Puninski, Patrick F. Smith

We prove that every non-finitely generated projective module over the integral group ring of a polycyclic-by-finite group G is free if and only if G is polycyclic.