A reduced word contains no adjacent generator and inverse-generator pair. Cancel such pairs to obtain the unique reduced representative in a free group. One proof constructs the free group itself from reduced words, with multiplication given by concatenation followed by cancellation; its action by these operations on words distinguishes distinct reduced representatives.
Articles by others on the same topic
There are currently no matching articles.