A geometric simulation theorem on direct products of finitely generated groups
We show that every effectively closed action of a finitely generated group on a closed subset of can be obtained as a topological factor of the -subaction of a -subshift of finite type (SFT) for any choice of infinite and finitely generated groups . As a consequence, we obtain that every group of the form admits a non-empty strongly aperiodic SFT subject to the condition that each is finitely generated and has decidable word problem. As a corollary of this last result we prove the existence of non-empty strongly aperiodic SFT in a large class of branch groups, notably including the Grigorchuk group.