In ^{−1}''xzz'' and ''y''^{−1}''zxx''^{−1}''yz''^{−1} are words in the set . 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

_{1},...,''s_{n}'' are elements of ''S'' 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 identity (unique) Uniqueness of identity element and inverses element can be represented by the empty word, which is the unique word of length zero.

^{−1} or ''x''^{−1}''x'') can be simplified by omitting the redundant pair:
:$y^zxx^y\backslash ;\backslash ;\backslash longrightarrow\backslash ;\backslash ;y^zy.$
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 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:
:$xzy^xx^yz^zz^yz\backslash ;\backslash ;\backslash longrightarrow\backslash ;\backslash ;xyz.$
The result does not depend on the order in which the reductions are performed.
If ''S'' is any set, the

^{2}, ..., ''r^{n-1}'', ''s'', ''sr'', ..., ''sr^{n-1}'' are a normal form for the _{''n''}.
* The set of reduced words in ''S'' are a normal form for the free group over ''S''.
* The set of words of the form ''x^{m}y^{n}'' for ''m,n'' ∈ Z are a normal form for the

group theory
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no ...

, a word is any written product of group
A group is a number
A number is a mathematical object used to counting, count, measurement, measure, and nominal number, label. The original examples are the natural numbers 1, 2, 3, 4, and so forth. Numbers can be represented in language with ...

elements and their inverses. For example, if ''x'', ''y'' and ''z'' are elements of a group ''G'', then ''xy'', ''z''free group
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

s and presentations
A presentation conveys information from a speaker to an audience. Presentations are typically demonstrations, introduction, lecture, or speech meant to inform, persuade, inspire, motivate, build goodwill, or present a new idea/product. Presenta ...

, and are central objects of study in combinatorial group theory In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and the ...

.
Definition

Let ''G'' be a group, and let ''S'' be asubset
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

of ''G''. A word in ''S'' is any expression of the form
:$s\_1^\; s\_2^\; \backslash cdots\; s\_n^$
where ''s''Notation

When writing words, it is common to useexponential
Exponential may refer to any of several mathematical topics related to exponentiation
Exponentiation is a mathematical
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and ...

notation as an abbreviation. For example, the word
:$x\; x\; y^\; z\; y\; z\; z\; z\; x^\; x^\; \backslash ,$
could be written as
:$x^2\; y^\; z\; y\; z^3\; x^.\; \backslash ,$
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
An overline, overscore, or overbar, is a typographical feature of a horizontal and vertical, horizontal line drawn immediately above the text. In old mathematical notation, an overline was called a ''vinculum (symbol), vinculum'', a notation f ...

to denote inverses of elements of ''S''. Using overline notation, the above word would be written as follows:
:$x^2\backslash overlinezyz^3\backslash overline^2.\; \backslash ,$
Words and presentations

A subset ''S'' of a group ''G'' is called agenerating set
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

if every element of ''G'' can be represented by a word in ''S''. If ''S'' is a generating set, a relation is a pair of words in ''S'' that represent the same element of ''G''. These are usually written as equations, e.g. $x^\; y\; x\; =\; y^2.\backslash ,$
A set $\backslash mathcal$ of relations defines ''G'' if every relation in ''G'' follows logically from those in $\backslash mathcal$, using the . A presentation for ''G'' is a pair $\backslash langle\; S\; \backslash mid\; \backslash mathcal\backslash rangle$, where ''S'' is a generating set for ''G'' and $\backslash mathcal$ is a defining set of relations.
For example, the Klein four-group
In mathematics, the Klein four-group is a Group (mathematics), group with four elements, in which each element is Involution (mathematics), self-inverse (composing it with itself produces the identity)
and in which composing any two of the three ...

can be defined by the presentation
:$\backslash langle\; i,j\; \backslash mid\; i^2\; =\; 1,\backslash ,j^2\; =\; 1,\backslash ,ij=ji\backslash rangle.$
Here 1 denotes the empty word, which represents the identity element.
When ''S'' is not a generating set for ''G'', the set of elements represented by words in ''S'' is a subgroup
In group theory
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ...

of ''G''. This is known as the subgroup of ''G'' generated by ''S'', and is usually denoted $\backslash langle\; S\backslash rangle$. It is the smallest subgroup of ''G'' that contains the elements of ''S''.
Reduced words

Any word in which a generator appears next to its own inverse (''xx''free group
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

over ''S'' is the group with presentation $\backslash langle\; S\backslash mid\backslash ;\backslash rangle$. That is, the free group over ''S'' is the group generated by the elements of ''S'', with no extra relations. Every element of the free group can be written uniquely as a reduced word in ''S''.
A word is cyclically reduced if and only if
In logic
Logic is an interdisciplinary field which studies truth and reasoning. Informal logic seeks to characterize Validity (logic), valid arguments informally, for instance by listing varieties of fallacies. Formal logic represents st ...

every cyclic permutation
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and th ...

of the word is reduced.
Normal forms

A normal form for a group ''G'' with generating set ''S'' is a choice of one reduced word in ''S'' for each element of ''G''. For example: * The words 1, ''i'', ''j'', ''ij'' are a normal form for theKlein four-group
In mathematics, the Klein four-group is a Group (mathematics), group with four elements, in which each element is Involution (mathematics), self-inverse (composing it with itself produces the identity)
and in which composing any two of the three ...

.
* The words 1, ''r'', ''r''dihedral group
In mathematics, a dihedral group is the group (mathematics), group of symmetry, symmetries of a regular polygon, which includes rotational symmetry, rotations and reflection symmetry, reflections. Dihedral groups are among the simplest example ...

Dihdirect product In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and the ...

of the cyclic group
In group theory
The popular puzzle Rubik's cube invented in 1974 by Ernő Rubik has been used as an illustration of permutation group">Ernő_Rubik.html" ;"title="Rubik's cube invented in 1974 by Ernő Rubik">Rubik's cube invented in 1974 by Er ...

s 〈''x''〉 and 〈''y''〉.
Operations on words

The product of two words is obtained by concatenation: :$\backslash left(xzyz^\backslash right)\backslash left(zy^x^y\backslash right)\; =\; xzyz^zy^x^y.$ Even if the two words are reduced, the product may not be. The inverse of a word is obtained by inverting each generator, and switching the order of the elements: :$\backslash left(zy^x^y\backslash right)^=y^xyz^.$ The product of a word with its inverse can be reduced to the empty word: :$zy^x^y\; \backslash ;\; y^xyz^\; =\; 1.$ You can move a generator from the beginning to the end of a word byconjugation
Conjugation or conjugate may refer to:
Linguistics
* Grammatical conjugation, the modification of a verb from its basic form
* Emotive conjugation or Russell's conjugation, the use of loaded language
Mathematics
* Complex conjugation, the chang ...

:
:$x^\backslash left(xy^z^yz\backslash right)x\; =\; y^z^yzx.$
The word problem

Given a presentation $\backslash langle\; S\backslash mid\; \backslash mathcal\; \backslash rangle$ for a group ''G'', the word problem is the algorithmic problem of deciding, given as input two words in ''S'', whether they represent the same element of ''G''. The word problem is one of three algorithmic problems for groups proposed byMax Dehn
Max Wilhelm Dehn (November 13, 1878 – June 27, 1952) was a German
German(s) may refer to:
Common uses
* of or related to Germany
* Germans, Germanic ethnic group, citizens of Germany or people of German ancestry
* For citizens of Germany, se ...

in 1911. It was shown by Pyotr Novikov
Pyotr Sergeyevich Novikov (russian: Пётр Серге́евич Но́виков; 15 August 1901, Moscow
Moscow ( , American English, US chiefly ; rus, links=no, Москва, r=Moskva, p=mɐˈskva, a=Москва.ogg) is the Capital city, ...

in 1955 that there exists a finitely presented group ''G'' such that the word problem for ''G'' is undecidable.
Notes

References

*. * * * * * *{{cite book , author=Stillwell, John , title=Classical topology and combinatorial group theory , publisher=Springer-Verlag , location=Berlin , year=1993, isbn=0-387-97970-0 Combinatorial group theory Group theory Combinatorics on words