Free product

Summary

The free product $G * H$ of two groups is the group generated by $G$ and $H$ with no relations between them. Its elements are reduced words that alternate between non-identity elements of $G$ and of $H$. It is the coproduct in the category of groups. The free group of rank $n$ is the free product of $n$ copies of $\Z$.