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: