Scifaro

中文

拟凸性的检测:算法方面

群论 2008-02-03 v1

作者: Ilya Kapovich

在 arXiv 上查看 ↗ PDF ↗

摘要

本文的主要结果表明,对于任意具有带唯一代表的自动结构 $L$ 的群 $G$ ,可构造一个一致部分算法,用于检测 $L$ -有理子群并给出它们在 $L$ 中的原像。这为求解此类子群的包含问题提供了一个实用的而不仅是理论上的过程。

关键词

拟凸性自动群一致部分算法有理子群包含问题

引用

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

备注

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