Welcome to MathOverflow

Question

5

3

Question 1. Is it known that for some free Burnside groups the word problem is undecidable?

Provided that the answer is negative, what about the following easier question.

Question 2. Is there a known example of a finitely generated (and preferably finitely presented) group $G$ and an integer $k$ such that all elements of $G$ have order at most $k$ and the word problem in $G$ is undecidable?

flag	asked Jun 2 2011 at 10:58 Łukasz Grabowski 2,771●5●16

	I am far from being an expert, but are there any examples of infinite finitely presented torsion groups? – Yiftach Barnea Jun 2 2011 at 11:38
	@Yiftach: I've just googled that this was an open question in 2002 (paragraph 3, page 3 in the article "non-amenable finitely presented torsion-by cyclic groups" by Ol'shanskii and Sapir), so perhaps such examples are still not known. – Łukasz Grabowski Jun 2 2011 at 11:50
	@Yiftach: there's also an article of M. Sapir from 2007 "Some group theory problems", where he mentions existence of finitely presented infinite torsion groups as an open problem. – Łukasz Grabowski Jun 2 2011 at 13:22
	I asked Martin Bridson in January 2010, at which point the question was still open. I have no reason to think this has changed. – Jonathan Kiehlmann Jun 20 2011 at 12:39

Al Tal · Accepted Answer · 2011-06-02 15:49:53Z UTC

Concerning question 1: for free Burnside groups of odd exponent $n\geq 665$ the decidability was shown by S.I.Adian. Lysionok proved the same in the case of even exponent $n=16k\geq 8000$. The corresponding deciding procedure is just Dehn's algorithm.

It will be interesting to know how to solve the word problem for groups $B(m,n)$ when $n=2k$, where $k\geqslant 665$ and odd. These groups are infinite (it follows from the cited result of Adian), but it seems that the decidability of the word problem for these groups is an open question.

As to the question 2:

The pure existence of non-finitely presented group with undecidable w.p. easily follows from the result of S.I.Adian who proved that there are continuum non-isomorphic periodic groups with fixed number of generators $m\geqslant 2$ satisfying the periodic law $X^n=1$ if $n$ is odd and $n \geq 665$. One should mention, that the number of "additional relations" (besides all periodic) is not necessarily finite.

Later M.Sapir constructed an example of periodic group with finite number of additional relations. The paper is "On the word problem in periodic group varieties", IJAC, 1991, V.1, No.1.

word problem in free Burnside groups (and other torsion groups)

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.