Coxeter 群、2-完备化、周长归约与子群可分性
群论
2016-09-07 v1 几何拓扑
摘要
我们证明了一大类 Coxeter 群中的所有群都是局部拟凸的,并且具有可在二次时间内求解的一致成员性问题。若该类中某个群满足进一步假设,则它是子群可分的,且相关同态也可在二次时间内计算。该算法还能判定有限生成子群是否具有有限指数。
引用
@article{arxiv.math/0203020,
title = {Coxeter Groups, 2-Completion, Perimeter Reduction and Subgroup Separability},
author = {Paul E. Schupp},
journal= {arXiv preprint arXiv:math/0203020},
year = {2016}
}
备注
17 figures