Definition:Group of Reduced Group Words

From ProofWiki
Jump to: navigation, search

Definition

Let $S$ be a set.


The group of reduced group words on $S$ is the group $\left({F_S, \circ}\right)$ where:

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


Also see