Word Problem For Groups - Partial Solution of The Word Problem

Partial Solution of The Word Problem

The word problem for a recursively presented group can be partially solved in the following sense:

Given a recursive presentation P = ⟨X|R⟩ for a group G, define:
then there is a partial recursive function fP such that:
f_P(\langle u,v \rangle) =
\left\{\begin{matrix}
0 &\mbox{if}\ \langle u,v \rangle \in S \\
\mbox{undefined/does not halt}\ &\mbox{if}\ \langle u,v \rangle \notin S
\end{matrix}\right.

More informally, there is an algorithm that halts if u=v, but does not do so otherwise.

It follows that to solve the word problem for P it is sufficient to construct a recursive function g such that:

g(\langle u,v \rangle) =
\left\{\begin{matrix}
0 &\mbox{if}\ \langle u,v \rangle \notin S \\
\mbox{undefined/does not halt}\ &\mbox{if}\ \langle u,v \rangle \in S
\end{matrix}\right.

However u=v in G if and only if uv−1=1 in G. It follows that to solve the word problem for P it is sufficient to construct a recursive function h such that:

h(x) =
\left\{\begin{matrix}
0 &\mbox{if}\ x\neq1\ \mbox{in}\ G \\
\mbox{undefined/does not halt}\ &\mbox{if}\ x=1\ \mbox{in}\ G
\end{matrix}\right.

Read more about this topic:  Word Problem For Groups

Famous quotes containing the words partial, solution, word and/or problem:

    The only coöperation which is commonly possible is exceedingly partial and superficial; and what little true coöperation there is, is as if it were not, being a harmony inaudible to men. If a man has faith, he will coöperate with equal faith everywhere; if he has not faith, he will continue to live like the rest of the world, whatever company he is joined to.
    Henry David Thoreau (1817–1862)

    Who shall forbid a wise skepticism, seeing that there is no practical question on which any thing more than an approximate solution can be had? Is not marriage an open question, when it is alleged, from the beginning of the world, that such as are in the institution wish to get out, and such as are out wish to get in?
    Ralph Waldo Emerson (1803–1882)

    The State’s your mother, your father, the totality of your interests. No discipline can be too severe for the man that denies that by word or deed.
    —H.G. (Herbert George)

    Like the effects of industrial pollution ... the AIDS crisis is evidence of a world in which nothing important is regional, local, limited; in which everything that can circulate does, and every problem is, or is destined to become, worldwide.
    Susan Sontag (b. 1933)