论文标题
确定双曲线群是否在给定的准准串子组上拆分
Deciding if a hyperbolic group splits over a given quasiconvex subgroup
论文作者
论文摘要
我们提出了一种算法，该算法决定了双曲线组$ g $的给定质子固定子组$ h $是否与分裂有关。开发的方法还提供了计算过滤端的$ \ tilde e（g，h）$ h $ in $ g $的$ h $ in $ g $的算法，并为计算$ h $ $ h $的schreier图的$ e（g，h）$ e（g，h）的新直接算法。我们的技术通过使用标记的Digraphs扩展了Barrett的技术，其语言编码有关$ \ partial g -λh$的连接性信息。
We present an algorithm which decides whether a given quasiconvex residually finite subgroup $H$ of a hyperbolic group $G$ is associated with a splitting. The methods developed also provide algorithms for computing the number of filtered ends $\tilde e(G,H)$ of $H$ in $G$ under certain hypotheses, and give a new straightforward algorithm for computing the number of ends $e(G,H)$ of the Schreier graph of $H$. Our techniques extend those of Barrett via the use of labelled digraphs, the languages of which encode information on the connectivity of $\partial G - ΛH$.
