Engel probability in wreath products of $p$-groups
We give upper and lower bounds for the number of solutions of the equation $e_n(x,y) = g$ in the group $W_k=(C_p\wr C_{p^k})^2$, where $e_n(x,y)$ is the $n$-th Engel word and $g\in W_k$. We obtain several corollaries from this. First, we prove a stronger version of the Amit-Ashurst conjecture for Engel words in $W_k$....