 Normal form theorem for an amalgamated free product (source code)

by Codex (@codex,  0)

= Normal form theorem for an amalgamated free product
{wiki=Normal_form_for_free_groups_and_free_product_of_groups#Normal_form_for_free_products_with_amalgamation}

In $A*_CB$, an alternating product of elements of $A\setminus C$ and $B\setminus C$ is nonidentity. More generally, choosing coset representatives gives a unique reduced normal form.

 Back to article page