Definition:Reduction of Group Word on Set

From ProofWiki
Jump to navigation Jump to search

Definition

Let $X$ be a set.

Let $w$ be a group word on $X$.


A reduction of $w$ is a finite sequence of group words $(w^{(0)}, \ldots, w^{(n)})$ such that:


Also see