1: \begin{abstract}

2: 	In this work we introduce a new succinct variant of the word problem in a finitely generated group $G$, which we call the power word problem: the input word may contain powers $p^x$, where $p$ is a finite word

3: 	over generators of $G$ and $x$ is a binary encoded integer. The power

4: 	word problem is a restriction

5: 	of the compressed word problem, where the input word is represented by 

6: 	a straight-line program (i.e., an algebraic circuit over $G$). The main result of the paper

7: 	states that the power word problem for a finitely generated free group $F$ is 

8: 	\Ac{0}-Turing-reducible to the word problem for $F$.

9: 	Moreover, the following hardness result is

10: 	shown: For a wreath product $G \wr \mathbb{Z}$, where $G$ is either free of rank at least two

11: 	or finite non-solvable, the power word problem is complete for \coNP. This contrasts with the situation where $G$ is abelian: then the power word problem is shown to be in \Tc0.

12: 	\end{abstract}

13: