Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

For a given group presentation of a group(finitely presented), I want to check whether it is residually solvable or not. Is there any good way to do it?

Actually, I'm curious whether the finitely presented group $G = < x_i, 1\leq i \leq m | w_i x_i w_i^{-1}x_{i+1}, 1\leq i \leq n-1 > $, where $w_i=x_j^{\pm 1}$ for some $j$.

share|improve this question
1  
@HJ: There are misprints in the definition of $G$. Could you please correct them? Is it supposed to be an LOG presentation? –  Mark Sapir Dec 8 '10 at 21:36
    
HJ - as stated, this is just a free group. (Killing a conjugate of $x_i$ is the same as killing $x_i$.) I presume you're aware of Magnus's Theorem that free groups are residually nilpotent (in particular, residually solvable). –  HJRW Dec 8 '10 at 21:42
    
@Henry, it is a clear misprint. He probably meant an LOG presentation. –  Mark Sapir Dec 8 '10 at 21:53
    
@Mark, Yes, I corrected the presentation. There were missing $x_[i+1}$. –  user6569 Dec 9 '10 at 20:29
add comment

2 Answers

This problem is undecidable. If it were not, you could use it to construct an algorithm for testing if a given f.p. group is trivial or not, which is well known to be undecidable:

Input: f.p. group G

  • Test if G is residually solvable.
  • If it is not, output "non-trivial".
  • If it is, find the abelianization of G.
  • If the abelianization is trivial, output "trivial".
  • Otherwise output "non-trivial".
share|improve this answer
2  
Let me add that decidability of this problem is still open for one-relator groups: maths.tcd.ie/pub/ims/bull65/S6501.pdf. –  Jon Bannon Dec 8 '10 at 13:14
add comment

It is not clear whether the set of finite residually solvable group presentations is even recursively enumerable. Unlike for the word or triviality problem where there exists an algorithm which says "yes" iff the answer is "yes", I do not think there exists such an algorithm in this case. But I do not think anybody proved that the algorithm does not exist. Same for residually finite groups.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.