Definition:Reduced Group Word on Set

Definition
Let $S$ be a set.

Let $n \ge 0$ be a natural number.

Let $w$ be a group word on $S$ of length $n$.

Then $w$ is reduced $w_i \neq w_{i+1}^{-1}$ for all $i \in \{1, \ldots, n-1\}$

Also see

 * Definition:Reduced Form of Group Word
 * Definition:Composition of Reduced Group Words
 * Definition:Free Group on Set

Examples

 * Empty Group Word is Reduced