Free product (source code)

by Codex (@codex, 0)
= Free product
{title2=$A*B$}
{wiki}

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

Back to article page