Definition:Reduced Group Word on Set

From ProofWiki
Jump to navigation Jump to search

Definition

Let $S$ be a set.

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

Let $w = w_1 \cdots w_i \cdots w_n$ be a group word on $S$ of length $n$.


Then $w$ is reduced if and only if $w_i \ne w_{i + 1}^{-1}$ for all $i \in \set {1, \ldots, n - 1}$


Also see


Examples