Let $F_\infty$ be the free group on infinitely many generators, and let $\phi: Z \rightarrow$ Aut($F_\infty$) be any group homomorphism. If we form the semi-direct product $F_\infty \rtimes_\phi Z$, could this group be isomorphic to $F_\infty$?
Thanks! Kevin