1: \begin{abstract}

2: 		Let $G$ be a group and $H\leqslant G$ a subgroup. The free extension of an $H$-subshift $X$ to $G$ is the $G$-subshift $\widetilde{X}$ whose configurations are those for which the restriction to every coset of $H$ is a configuration from $X$. We study the case of $G = H \times K$ for infinite and finitely generated groups $H$ and $K$: on the one hand we show that if $K$ is nonamenable and $H$ has decidable word problem, then the free extension to $G$ of any $H$-subshift which is effectively closed is a sofic $G$-subshift. On the other hand we prove that if both $H$ and $K$ are amenable, there are always $H$-subshifts which are effectively closed by patterns whose free extension to $G$ is non-sofic. We also present a few applications in the form of a new simulation theorem and a new class of groups which admit strongly aperiodic SFTs.

3: 		

4: 		\medskip

5: 		

6: 		\noindent

7: 		\emph{Keywords:} symbolic dynamics, effectively closed action, free extension, simulation, non-amenable group, subshift of finite type.

8: 		

9: 		\smallskip

10: 		

11: 		\noindent

12: 		\emph{MSC2020:} \textit{Primary:}

13: 		37B10, %Symbolic dynamics

14: 		\textit{Secondary:}

15: 		%37B50, %Multidimensional shifts of finite type

16: 		37B05,  %Dynamical systems involving transformations and group actions with special properties (minimality, distality, proximality, expansivity, etc.)

17: 		20F10.  %Word problems

18: 		

19: 	\end{abstract}

20: