Free product and direct sum as coproduct In the proof of the coproduct of groups being the free product, it seems that we haven't made any assumption that the groups are non-Abelian. However, we know that for Abelian groups, the coproduct is the direct sum. And I think the free product cannot be isomorphic to the direct sum. For example, the direct sum of two finite groups is finite but the free product is in general infinite.
So the question is I don't understand why the proof of coproduct being free product can't be applied to Abelian groups.
A sketch of the proof in another post of this site can be found here:
Coproducts exist in the category of groups
 A: The free product $G\ast H$ of two groups $G,H$ is defined and is the coproduct of $G$ and $H$ in the category of groups regardless of whether the groups are abelian or not. Of course, the free product $G\ast H$ a fortiori also satisfies the universal property of the coproduct when restricted to abelian target groups $A$, that is $$\text{Hom}_{\textsf{Grp}}(G\ast H,A)\cong\text{Hom}_{\textsf{Grp}}(G,A)\times\text{Hom}_{\textsf{Grp}}(H,A),\quad\quad(\ddagger)$$
but even if $G,H$ are abelian and hence $\text{Hom}_{\textsf{Grp}}(G,A)=\text{Hom}_{\textsf{Ab}}(G,A)$, $\text{Hom}_{\textsf{Grp}}(H,A)=\text{Hom}_{\textsf{Ab}}(H,A)$, this does not imply that $G\ast H$ is also the coproduct in the category of abelian groups - simply because it is not abelian if $G,H$ are nontrivial.
However, you can now use the fact that every group $G$ has an abelianization $G_{\text{ab}}$, and that $G\mapsto G_{\text{ab}}$ is left adjoint to the embedding $\textsf{Ab}\hookrightarrow\textsf{Grp}$, to rewrite the left hand side of $(\ddagger)$ as $\text{Hom}_{\textsf{Ab}}((G\ast H)_{\text{ab}},A)$, proving that the abelianization $(G\ast H)_{\text{ab}}$ of $G\ast H$ is the coproduct in the category of abelian groups. And indeed, if you look at the explicit constructions of the free group, the direct sum  and the abelianization, you'll see that the abelianization of the free product is naturally isomorphic to the direct sum.
