Normal form for free groups and free product of groups

In mathematics, particularly in combinatorial group theory, a normal form for a free group over a set of generators or for a free product of groups is a representation of an element by a simpler element, the element being either in the free group or free products of group. In case of free group these simpler elements are reduced words and in the case of free product of groups these are reduced sequences.

Source: Wikipedia — Normal form for free groups and free product of groups (CC BY-SA 4.0)