complexity of the subgroup problem in free groups

From: Abi (abi_k--cut-here--_at_myrealbox.com)
Date: 07/03/04


Date: Sat, 03 Jul 2004 15:57:23 +0530

Hi *,
   I'd like to know the currently best known complexity to solve the
   subgroup problem in free groups.
 
the problem is as follows.
Let Z be a finite alphabet, and consider the free group G on {Z U Z'}
where Z' is the set of inverses of the elements of Z.

if K is a subset of G, and consider the subgroup generated by {K U K'}
where K' is the set of all the inverses of the words in U. We would
like to test membership in the subgroup of G generated by {K U K'}.

I had read about Nielsen reductions, but all this is going above my
head. I'd like to know the complexity of the best known solution to
this problem. I am trying to know whether it is in NP or not and what
is its complexity class.
Thanks,
abi.



Relevant Pages

  • complexity of the subgroup problem in free groups
    ... I'd like to know the currently best known complexity to solve the ... subgroup problem in free groups. ... if K is a subset of G, and consider the subgroup generated by ... where K' is the set of all the inverses of the words in U. ...
    (sci.math)
  • Re: complexity of the subgroup problem in free groups
    ... > where Z' is the set of inverses of the elements of Z. ... What you probably mean is the free group on Z. ... > like to test membership in the subgroup of G generated by. ... I'd like to know the complexity of the best known solution to ...
    (comp.theory)
  • Re: complexity of the subgroup problem in free groups
    ... > where Z' is the set of inverses of the elements of Z. ... What you probably mean is the free group on Z. ... > like to test membership in the subgroup of G generated by. ... I'd like to know the complexity of the best known solution to ...
    (sci.math)
  • Re: complexity of the subgroup problem in free groups
    ... from what i read about free groups and todd coxeter ... The problem of finding whether some word lies in this sub-group is ... It is solvable for a finitely generated subgroup of finite index in a group ...
    (sci.math)
  • Re: complexity of the subgroup problem in free groups
    ... >> What is the complexity of testing membership in the subgroup ... >>I do not know what the complexity is, but this problem can be solved ... >How do you construct that NFA? ... a path of arrows from s to t in N ...
    (comp.theory)