1: \begin{abstract}

2:   The knapsack problem for groups was introduced by Miasnikov,

3:   Nikolaev, and Ushakov. It is defined for each finitely generated

4:   group $G$ and takes as input group elements

5:   $g_1,\ldots,g_n,g\in G$ and asks whether there are

6:   $x_1,\ldots,x_n\ge 0$ with $g_1^{x_1}\cdots

7:   g_n^{x_n}=g$. We study the knapsack problem for wreath products

8:   $G\wr H$ of groups $G$ and $H$.

9:   

10:   Our main result is a characterization of those wreath products

11:   $G\wr H$ for which the knapsack problem is decidable. The

12:   characterization is in terms of decidability properties of the

13:   indiviual factors $G$ and $H$.  To this end, we introduce two

14:   decision problems, the \emph{intersection knapsack problem} and its

15:   restriction, the \emph{positive intersection knapsack problem}.

16: 

17:   Moreover, we apply our main result to $H_3(\Z)$, the discrete

18:   Heisenberg group, and to Baumslag-Solitar groups $\BS(1,q)$ for

19:   $q\ge 1$. First, we show that the knapsack problem is undecidable

20:   for $G\wr H_3(\Z)$ for any $G\ne 1$. This implies that for $G\ne 1$

21:   and for infinite and virtually nilpotent groups $H$, the knapsack

22:   problem for $G\wr H$ is decidable if and only if $H$ is virtually

23:   abelian and solvability of systems of exponent equations is

24:   decidable for $G$. Second, we show that the knapsack problem is

25:   decidable for $G\wr\BS(1,q)$ if and only if solvability of systems

26:   of exponent equations is decidable for $G$.

27: \end{abstract}

28: