Definition:Group of Reduced Group Words

From ProofWiki
Jump to navigation Jump to search

Definition

Let $S$ be a set.


The group of reduced group words on $S$ is the group $\struct {F_S, \circ}$ such that:

$F_S$ is the set of reduced group words on $S$
$\circ$ denotes composition of reduced group words.


Also see


Sources