 Free product

The free product $A\ast B$ is the amalgamated free product over the trivial group. Its nonidentity elements have unique reduced alternating normal forms.

In the context of mathematics, particularly in group theory, the **free product** is a way of combining two or more groups to form a new group. The free product of groups allows for the construction of a larger group from smaller groups while retaining the structures of the original groups.