Normal form for free groups and free product of groups
= Normal form for free groups and free product of groups
{wiki}
A <normal form for free groups and free product of groups> represents elements by reduced words. In a <free group>, adjacent inverse letters cancel; in a <free product>, alternating nonidentity syllables from different factors are unique. In an <amalgamated free product>, chosen coset representatives produce the corresponding reduced form relative to the common subgroup.