1.Previous
3.Next

solve the word problem for the fundamental group of the torus. However this group is the direct product of two infinite cyclic groups and so has a solvable word problem.

A more concrete description

In more concrete terms, the uniform word problem can be expressed as a rewriting question, for literal strings. For a presentation of a group , will specify a certain number of generators

:

for . We need to

1.Previous
3.Next