1: \begin{abstract}

2: A finite set of integers $A$ tiles the integers by translations if $\ZZ$ can be covered by pairwise disjoint translated copies of $A$. In this article, we develop concepts and methods that enable a systematic study of such tilings. A major objective of our work is to determine whether all finite tiles must satisfy the tiling conditions proposed by Coven and Meyerowitz 

3: \cite{CM}. The tools we develop here are crucial in our proof in \cite{LaLo2} that this is true for all tilings of period $(pqr)^2$, where $p,q,r$ are distinct odd primes. Our methods can also be used to determine whether a set $A$ containing a certain configuration can tile a cyclic group $\ZZ_M$, or to recover a tiling set based on partial information about its structure.

4: \end{abstract}

5: