Finitely presented infinite group with no element of infinite order? Is there an example of a finitely presented infinite group in which every element has finite order? Or, is it known that every finitely presented infinite group has an element of infinite order?
I asked this question of math.stackexchange, thinking it might be trivial (for finitely generated groups there are numerous counterexamples...), but it seems the question is wide open. So more specifically, could someone point me to partial results, or give a good reason why this problem won't be solved any time soon?
 A: This is just an expanded version of Igor's comment. Indeed this is an open problem. The common opinion (I believe) is that such groups do exist, but the best result in this direction so far is the Olshanskii-Sapir group, which is finitely presented and (infinite torsion)-by-cyclic. 
There is a general idea, commonly attributed to Rips, which shows that such groups should exist. The idea is the following. Take the free Burnside group $B(m,n)$ on $m\ge 2$ generators and of exponent $n>>1$, so that $B(m,n)$ is infinite. Embed it into a finitely presented group $G$ by using a version of the Higman embedding theorem. Let $G=\langle x_1, \ldots , x_n\rangle$. Then take the quotient group $Q$ of $G$ by the relations 
(*)    $x_1=b_1, \ldots , x_n=b_n$, where $b_1, \ldots , b_n\in B(m,n)$. 
Clearly $Q$ is torsion being a quotient of $B(m,n)$ and is finitely presented. And it is believable that if the embedding of $B(m,n)$ in $G$ is "reasonably hyperbolic" and elements $b_1, \ldots , b_n$ are chosen randomly, then $Q$ is infinite with probability close to $1$. This idea was essentially implemented by Olshanskii and Sapir, but they managed to impose all relations of type (*) but one. (This is in fact a very rough interpretation of what they did, so Mark may correct me here.) There are even very particular choices of $b_1, \ldots , b_n$ (e.g., long aperiodic words with small cancellation), for which the group $Q$ should be infinite. So there are even particular finite presentations which should represent infinite torsion groups, but nobody knows how to prove that.
