Realizability of Subgroups by Subshifts of Finite Type - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2024

Realizability of Subgroups by Subshifts of Finite Type

Résumé

We study the problem of realizing families of subgroups as the set of stabilizers of configurations from a subshift of finite type (SFT). This problem generalizes both the existence of strongly and weakly aperiodic SFTs. We show that a finitely generated normal subgroup is realizable if and only if the quotient by the subgroup admits a strongly aperiodic SFT. We also show that if a subgroup is realizable, its subgroup membership problem must be decidable. The article also contains the introduction of periodically rigid groups, which are groups for which every weakly aperiodic subshift of finite type is strongly aperiodic. We conjecture that the only finitely generated periodically rigid groups are virtually $\mathbb{Z}$ groups and torsion-free virtually $\mathbb{Z}^2$ groups. Finally, we show virtually nilpotent and polycyclic groups satisfy the conjecture.

Dates et versions

hal-04707424 , version 1 (24-09-2024)

Identifiants

Citer

Nicolás Bitar. Realizability of Subgroups by Subshifts of Finite Type. 2024. ⟨hal-04707424⟩
10 Consultations
0 Téléchargements

Altmetric

Partager

More