1.Previous
3.Next

given some relations.

The effect of the relations in is to make various such strings represent the same element of . In fact the relations provide a list of strings that can be either introduced where we want, or cancelled out whenever we see them, without changing the 'value', i.e. the group element that is the result of the multiplication.

For a simple example, consider the group given by the presentation . Writing for the inverse of , we have possible strings combining any number of the symbols and . Whenever we see , or

1.Previous
3.Next