Instead of trying to find an isomorphism you can show that satisfies this property, and also that because of the conditions imposed on mean it must in fact be (these conditions can be found by remembering that must map onto , the only infinite, one-generated group (up to isomorphism)).

Are you familiar with Free Groups?