1: \begin{abstract}

2: We prove new complexity results for computational problems in certain wreath products of groups and (as an application)

3: for free solvable group. For a finitely generated group we study the so-called power word problem (does a given expression $u_1^{k_1} \ldots u_d^{k_d}$,

4: where $u_1, \ldots, u_d$ are words over the group generators and $k_1, \ldots, k_d$ are binary encoded integers, evaluate to the group identity?)

5: and knapsack problem (does a given equation $u_1^{x_1} \ldots u_d^{x_d} = v$, where $u_1, \ldots, u_d,v$ are words over the group generators

6: and $x_1,\ldots,x_d$ are variables, has a solution in the natural numbers). We prove that the power word problem for wreath products

7: of the form $G \wr \Z$ with $G$ nilpotent and iterated wreath products of free abelian groups belongs to $\TC^0$. As an application of the latter,

8: the power word problem for free solvable groups is in $\TC^0$. On the other hand we show that for wreath products $G \wr \Z$, where $G$ is a

9: so called uniformly strongly efficiently non-solvable group (which form a large subclass of non-solvable groups), 

10: the power word problem is $\coNP$-hard. For the knapsack problem we show $\NP$-completeness for iterated

11: wreath products of free abelian groups and hence free solvable groups. Moreover, the knapsack problem for every wreath product

12: $G \wr \Z$, where $G$ is uniformly efficiently non-solvable, is $\Sigma^2_p$-hard.

13: \end{abstract}

14: