In finitely presented groups, the question of the existence of a projective resolution $P\_i$ (with each $P\_i$ finitely generated) of $\mathbb{Z}G$ is equivalent to the existence of a $K(G,1)$ which has finitely many cells in each dimension. Polycyclic groups are finitely presented. 


Are there polycyclic groups which are not $FP\_\infty$? 


As a side question, since polycylic groups are those which can be realised as subgroups of $\mathrm{GL}\_n(\mathbb{Z})$, when does there exists an embedding $\imath$ of $G$ polycyclic in $\mathrm{GL}\_n(\mathbb{Z})$ so that the above $K(G,1)$ may be realised as a quotient of $\mathbb{R}^n$ or some subspace of $\mathrm{GL}\_n(\mathbb{R})$ under the action of $\imath(G)$?



Polycyclic group not of type $FP_\infty$
Polycyclic groups are certainly of type $FP\_\infty$ since the integral group ring $\mathbb{Z}G$ is Noetherian ([<http://plms.oxfordjournals.org/content/s3-4/1/419>](http://plms.oxfordjournals.org/content/s3-4/1/419)) and so every finitely generated module over it has a resolution by finitely generated projective modules.


I believe it remains an open question as to whether the only groups $G$ with the property that $\mathbb{Z}G$ is Noetherian are those that are polycylic-by-finite 


