1: \begin{abstract}

2:     We study the Hopf property for wreath products of finitely generated groups, focusing on the case of an abelian base group. 

3:     Our main result establishes a strong connection between this problem and Kaplansky's stable finiteness conjecture. Namely, the latter holds true if and only if for every finitely generated abelian group $A$ and every finitely generated Hopfian group $\Gamma$ the wreath product $A \wr \Gamma$ is Hopfian. In fact, we characterize precisely when $A \wr \Gamma$ is Hopfian, in terms of the existence of one-sided units in certain matrix algebras over $\mathbb{F}_p[\Gamma]$, for every prime factor $p$ occurring as the order of some element in $A$.

4: 

5:     A tool in our arguments is the fact that fields of positive characteristic locally embed into matrix algebras over $\mathbb{F}_p$ thus reducing the stable finiteness conjecture to the case of $\mathbb{F}_p$.

6:     A further application of this result shows that the validity of Kaplansky's stable finiteness conjecture is equivalent to a version of Gottschalk's surjunctivity conjecture for additive cellular automata.

7: \end{abstract}

8: