## Polycyclic group not of type $FP_\infty$

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 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) 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