Definition:Free Product

Definition
Let $G_1$ and $G_2$ be groups with identities $e_1$ and $e_2$ respectively.

The free product of $G_1$ and $G_2$ is defined as the group of all formal products formed by the elements of $G_1$ and $G_2$.