4913839eb3b8ef67.tex
1: \begin{abstract}
2: 
3: 
4: In this note we prove the following results:
5: \begin{itemize}
6: 	\item If a finitely presented group $G$ admits a strongly aperiodic
7: 	  SFT, then $G$ has decidable word problem.
8: 	  More generally, for f.g. groups that are not recursively
9: 	  presented, there exists a computable obstruction for them to
10: 	  admit strongly aperiodic SFTs.
11: 	\item On the positive side, we build strongly aperiodic SFTs on
12: 	  some new classes of groups.
13: 	  We show in particular that some particular monster groups admits
14: 	  strongly aperiodic SFTs for trivial reasons.
15: 	  Then, for a large class of group $G$, we show how to build
16: 	  strongly aperiodic SFTs over $\mathbb{Z} \times G$.
17: 	  In particular, this is true for the free group with $2$
18: 	  generators, Thompson's groups $T$ and $V$, $PSL_2(\mathbb{Z})$
19: 	  and any f.g. group of rational matrices which is bounded.
20: \end{itemize}
21: \end{abstract}
22: