0
$\begingroup$

I was wondering whether there is some injective homomorphism from $\mathbb{Z}\star\mathbb{Z}$ to $\mathbb{Z}\times\mathbb{Z}$, where with $\star$ I have denoted the free product, and with $\times$ the direct sum?

My guess is that there is no injective homomorphism, since if there were such a homomorphism then it would suffice to define it on the generators of $\mathbb{Z}\star\mathbb{Z}$ where these would be sent to the generators of $\mathbb{Z}\times\mathbb{Z}$, but cannot quite see how to argue?

  • 10
    Hint: commutativity.2012-11-05
  • 1
    You should also note that you needn't send generators of $\mathbb{Z}\star\mathbb{Z}$ to generators of $\mathbb{Z}\times\mathbb{Z}$, they can be sent to any two elements. Although you should require that the two elements are different if you are to have any hope of making the homomorphism injective (not that such hope actually exists).2012-11-05
  • 0
    @Sanchez Maybe you want to expand your comment to an answer, so that this question gets removed from the [unanswered tab](http://meta.math.stackexchange.com/q/3138). If you do so, it is helpful to post it to [this chat room](http://chat.stackexchange.com/rooms/9141) to make people aware of it (and attract some upvotes). For further reading upon the issue of too many unanswered questions, see [here](http://meta.stackexchange.com/q/143113), [here](http://meta.math.stackexchange.com/q/1148) or [here](http://meta.math.stackexchange.com/a/9868).2013-06-15

1 Answers 1