Word (group theory)

In group theory, a word is any written product of group elements and their inverses. For example, if x, y and z are elements of a group G, then xy, z−1xzz and y−1zxx−1yz−1 are words in the set {x, y, z}. Two different words may evaluate to the same value in G, or even in every group. Words play an important role in the theory of free groups and presentations, and are central objects of study in combinatorial group theory. Let G be a group, and let S be a subset of G. A word in S is any expression of the form where s1,...,sn are elements of S, called generators, and each εi is ±1. The number n is known as the length of the word. Each word in S represents an element of G, namely the product of the expression. By convention, the unique identity element can be represented by the empty word, which is the unique word of length zero. When writing words, it is common to use exponential notation as an abbreviation. For example, the word could be written as This latter expression is not a word itself—it is simply a shorter notation for the original. When dealing with long words, it can be helpful to use an overline to denote inverses of elements of S. Using overline notation, the above word would be written as follows: Any word in which a generator appears next to its own inverse (xx−1 or x−1x) can be simplified by omitting the redundant pair: This operation is known as reduction, and it does not change the group element represented by the word. Reductions can be thought of as relations (defined below) that follow from the group axioms. A reduced word is a word that contains no redundant pairs. Any word can be simplified to a reduced word by performing a sequence of reductions: The result does not depend on the order in which the reductions are performed. A word is cyclically reduced if and only if every cyclic permutation of the word is reduced. The product of two words is obtained by concatenation: Even if the two words are reduced, the product may not be.