I have to say that this article http://arxiv.org/abs/1506.00887 has at least one mistake.
Lemma 3.5, Counterexample - take group G=sequences$G=$ sequences of integer numbers $=\mathbb{Z}^\mathbb{N}$.
l$\ell$ and m$m$ are right and left shift respectively.
m*l=idThen $m\circ\ell=id$, so Image(e)=G$Image(e)=G$.