b61984c2c0241e62.tex
1: \begin{abstract}
2:         We characterize the virtually nilpotent finitely generated groups
3:         (or, equivalently by Gromov's theorem, groups of polynomial growth) for which the
4:         Domino Problem is decidable: These are the virtually free groups, 
5:         i.e.~finite groups, and those having $\Z$ as a subgroup of finite index.\\
6:         Our proof uses a reduction of the undecidability of the domino problem on groups with infinite tree-width to the undecidability of the domino problem on $\mathbb Z^2$. This is achieved by relating infinite tree-width to the existence of a certain structure, resembling a half-grid, by an extension of a result of Halin.
7:         Since it is known  that any finitely generated group of finite tree-width is virtually free, we thus obtain the desired result.\\
8: \end{abstract}
9: