English

Detecting quasiconvexity: algorithmic aspects

Group Theory 2008-02-03 v1

Abstract

The main result of this paper states that for any group GG with an automatic structure LL with unique representatives one can construct a uniform partial algorithm which detects LL-rational subgroups and gives their preimages in LL. This provides a practical, not just theoretical, procedure for solving the occurrence problem for such subgroups.

Keywords

Cite

@article{arxiv.math/9506205,
  title  = {Detecting quasiconvexity: algorithmic aspects},
  author = {Ilya Kapovich},
  journal= {arXiv preprint arXiv:math/9506205},
  year   = {2008}
}

Comments

AMS-Tex, 7 pages, no figures. To appear in the Proceedings of the DIMACS meeting on Computational Group Theory (March 1994)