Addendum to "Tilings problems on Baumslag-Solitar groups"
Abstract
In our article in MCU'2013 we state the the Domino problem is undecidable for all Baumslag-Solitar groups $BS(m,n)$, and claim that the proof is a direct adaptation of the construction of a weakly aperiodic subshift of finite type for $BS(m,n)$ given in the paper. In this addendum, we clarify this point and give a detailed proof of the undecidability result. We assume the reader is already familiar with the article in MCU'2013.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2021
- DOI:
- 10.48550/arXiv.2101.12470
- arXiv:
- arXiv:2101.12470
- Bibcode:
- 2021arXiv210112470A
- Keywords:
-
- Mathematics - Group Theory;
- Computer Science - Discrete Mathematics;
- Mathematics - Dynamical Systems