arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2202.04038math.GR
收藏

HNN-扩张中的指数方程

Exponent equations in HNN-extensions

Michael Figelius, Markus Lohrey

AI总结:

本文研究有限生成群中的指数方程,针对稳定字母作用平凡的HNN-扩张,证明在额外技术条件下背包半线性性从基群转移至扩张群,覆盖中心化子、双曲群拟凸子群等场景。

摘要:

我们考虑有限生成群中的指数方程,这类方程中变量作为群元素的指数出现且取值为自然数。近年来,各类群中此类方程(组)的可解性已得到深入研究。在许多情况下,指数方程的所有解集是可有效构造的半线性集,此类群称为背包半线性群。背包半线性群的例子包括双曲群、拟特殊群、上上下文无关群和自由可解群。此外,背包半线性性在许多群论构造下保持不变,例如有限扩张、图乘积、 wreath 乘积、具有有限融合子群的融合自由乘积以及具有有限关联子群的 HNN-扩张。另一方面,任意 HNN-扩张不保持背包半线性性。本文考虑 HNN-扩张的背包半线性性,其中稳定字母 $t$ 通过共轭作用在基群 $G$ 的关联子群 $A$ 上时作用平凡。我们证明在一些额外技术条件下,背包半线性性从基群 $G$ 转移到 HNN-扩张 $H$。这些额外技术条件在许多情况下成立,例如当 $A$ 是 $G$ 中的中心化子或 $A$ 是双曲群 $G$ 中的拟凸子群时。

英文摘要:

We consider exponent equations in finitely generated groups. These are equations, where the variables appear as exponents of group elements and take values from the natural numbers. Solvability of such (systems of) equations has been intensively studied for various classes of groups in recent years. In many cases, it turns out that the set of all solutions on an exponent equation is a semilinear set that can be constructed effectively. Such groups are called knapsack semilinear. Examples of knapsack semilinear groups are hyperbolic groups, virtually special groups, co-context-free groups and free solvable groups. Moreover, knapsack semilinearity is preserved by many group theoretic constructions, e.g., finite extensions, graph products, wreath products, amalgamated free products with finite amalgamated subgroups, and HNN-extensions with finite associated subgroups. On the other hand, arbitrary HNN-extensions do not preserve knapsack semilinearity. In this paper, we consider the knapsack semilinearity of HNN-extensions, where the stable letter $t$ acts trivially by conjugation on the associated subgroup $A$ of the base group $G$. We show that under some additional technical conditions, knapsack semilinearity transfers from base group $G$ to the HNN-extension $H$. These additional technical conditions are satisfied in many cases, e.g., when $A$ is a centralizer in $G$ or $A$ is a quasiconvex subgroup of the hyperbolic group $G$.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑