1: \begin{abstract}

2: We consider a set of necessary conditions which are efficient heuristics for deciding when a set of Wang tiles cannot tile a group. 

3: 

4: Piantadosi \cite{SP08} gave a necessary and sufficient condition for the existence of a valid tiling of any free group. This condition is actually necessary for the existence of a valid tiling for an arbitrary finitely generated group.

5: 

6: We then consider two other conditions: the first, also given by Piantadosi \cite{SP08}, is a necessary and sufficient condition to decide if a set of Wang tiles gives a strongly periodic tiling of the free group; the second, given by Chazottes et. al. \cite{CG14}, is a necessary condition to decide if a set of Wang tiles gives a tiling of $\mathbb Z^2$.

7: 

8: We show that these last two conditions are equivalent. Joining and generalising approaches from both sides, we prove that they are necessary for having a valid tiling of any finitely generated amenable group, confirming a remark of Jeandel \cite{EJ15b}.\medskip

9: 

10: MCS classification : Primary 37B50; Secondary 37B10, 05B45.\medskip

11: 

12: Keywords : Symbolic dynamics, tilings, groups, periodicity, amenability, domino problem

13: \end{abstract}