Free product of groups as coproduct

Question

Wikipedia says

"The coproduct in the category of sets is simply the disjoint union with the maps ij being the inclusion maps. Unlike direct products, coproducts in other categories are not all obviously based on the notion for sets, because unions don't behave well with respect to preserving operations (e.g. the union of two groups need not be a group), and so coproducts in different categories can be dramatically different from each other. For example, the coproduct in the category of groups, called the free product, is quite complicated."

I am wondering, is it correct to say that the free product of groups is the group generated by the disjoint union of the summands with no relation? Therefore it is similar to the coproduct in the category of sets, where the coproduct is the set generated by the disjoint unions of the summands (the disjoint union itself). And in the category of abelian groups, is it correct to say the coproduct (the weak direct sum) is the abelian group generated by the disjoint union of the groups?

Answer 1

The union of the two groups involved in a free product is not quite disjoint $-$ they have to share the same identity element. But otherwise yes, $G*H$ is the free group on $G\cup H$ modulo $1_G=1_H$ and the multiplication tables already in place for $G$ and $H$. Indeed if $G=\langle X|R\rangle$ and $H=\langle Y|S\rangle$ are presentations with $X,Y$ disjoint (by fiat) then $G*H=\langle X\cup Y|R\cup S\rangle$.

In the category of abelian groups the coproduct is the direct sum. This can be obtained from the free product by imposing commutativity: (assuming $G,H$ commutative) we can interpret $G,H$ themselves as subgroups of $G*H$, and we have $G\oplus H= (G*H)/[G,H]$. This is indeed the most free abelian group generated by $G\cup H$ (modulo $1_G=1_H$).