首页/论文/1002.1945

arXiv 1002.19452010-02math.GR

九头蛇集团

Hydra groups

Will Dison, Tim Riley

备注：: 26 pages, 3 figures

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们给出的例子CAT（0），双自动，自由的循环，一个relator组有有限秩自由子群的巨大（阿克曼）失真。这就引出了德恩函数也是同样奢侈的群的基本例子。这种行为起源于字符串重写中赫拉克勒斯与九头蛇之战的表现。

英文摘要：

We give examples of CAT(0), biautomatic, free-by-cyclic, one-relator groups which have finite-rank free subgroups of huge (Ackermannian) distortion. This leads to elementary examples of groups whose Dehn functions are similarly extravagant. This behaviour originates in manifestations of Hercules-versus-the-hydra battles in string-rewriting.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

考克斯特团体是双自动的

Coxeter groups are biautomatic

证明了Coxeter群是双自动群。从我们的双自动结构的建设，它遵循等距群的建筑物的均匀格是双自动的。

2022-06-26math.GR

双自动群的中心行列式

Central quotients of biautomatic groups

证明了双自动群与中心子群的商是双自动的。使用的主要工具是$S^{n-1}$的Neumann-Shapiro三角测量，与${\Bbb Z}^n$上的双自动结构相关。作为应用，证明了双自动群的直接因子也是双自动的。

1994-04-26math.GR

双自动群的刻划

Characterizing Biautomatic Groups

本文纠正了Epstein等人在《组中的字处理》一书中引理2.5.5中提出的双自动组的特征。我们提出了引理的一个反例，并重新表述了引理以给出双自动组的有效特征。

2021-05-16math.GR

凯莱自动群不是凯莱双自动群

Cayley automatic groups are not Cayley biautomatic

我们表明，有凯莱自动群，不是凯莱双自动。另外，我们还证明了存在共轭问题不可判定的Cayley自动群，并且在Cayley自动群类中同构问题是不可判定的。

2011-08-13math.GR

收缩期Artin群的双自动结构

Biautomatic structures in systolic Artin groups

我们研究建设黄和Osajda是用来证明他们的biautomatics的阿廷群的几乎大的类型。我们描述了一个稍微简单的双自动结构的变体，明确描述了一些小的例子，我们检查的结构的一些属性。我们解释了如何建设可以在GAP系统编程。

2018-07-06math.GR

双自动群中阿贝尔子群的公度子

Commensurators of abelian subgroups of biautomatic groups

本文研究双自动群中有限生成阿贝尔子群的公度子，证明其必中心化有限指数子群，并据此给出非双自动群子群的 CAT(0) 群首例。

2022-12-06math.GR

更多相关论文收起更多论文

多循环的、亚阿贝尔的或可解的（FP）型$_{\infty}$群，具有有理集的布尔代数和双自动可解群，实际上是阿贝尔的

Polycyclic, metabelian or soluble of type (FP)$_{\infty}$ groups with boolean algebra of rational sets and biautomatic soluble groups are virtually abelian

设$G$是（FP）型$_{\infty}$群的循环、亚阿贝尔或可解群，使得$G$的所有有理子集的类$Rat(G)$是布尔代数.则$G$实际上是阿贝尔的。每一个可解的双自动群实际上都是阿贝尔群。

2015-11-01math.GR

高阶GBS群：非正曲率与双自动性

Higher-rank GBS groups: non-positive curvature and biautomaticity

研究高阶GBS群的非正曲率与双自动性条件

2025-09-03math.GR

HNN-扩张的非正曲率和双自动性

Commensurating HNN-extensions: non-positive curvature and biautomaticity

证明了双自动群中任意拟凸阿贝尔子群的抽象算子的有限象是小的。使用这个标准，我们展示了CAT（0）但不是双自动的组。这些工作组还解决有关《禁止酷刑和其他残忍、不人道或有辱人格的待遇或处罚公约》（0）组的其他一些问题。

2021-05-20math.GR

2-维Coxeter群是双自动群

2-dimensional Coxeter groups are biautomatic

设$W$是一个$2$维Coxeter群，即对于所有不同的$s,t,r\in S$的三元组都有$\frac{1}{m_{st}}+\frac{1}{m_{sr}}+\frac{1}{m_{tr}}\leq 1$.我们证明了$W$是双自动的。我们这样做的自然测地线语言是正规的（对于任意$W$），并满足同路人属性。因此，通过Jacek Wiswietkowski的工作，在$W$类型的建筑物上适当地和共同地作用的群也是双自动的。我们还表明，同路属性的自然语言失败的$W=\widetilde{A}_3$。

2021-02-25math.GR

正则余圈与双自动结构

Regular Cocycles and Biautomatic Structures

设$E$是群$G$通过一个可生成的阿贝尔群$A$的虚中心扩张.我们表明，$E$进行双自动结构当且仅当$G$有一个双自动结构$L$的上同调类的扩展是由$L$ -正则上循环。此外，如果上同调类的某个倍数是或它对某个有限指数子群的限制是，则上同调类是$L$ -正则的。我们还证明了富克斯群的整个二阶上同调是正则的，因此任何虚中心扩张都是双自动的。特别地，如果塞弗特纤维3-流形的基本群不是虚幂零群，则它是双自动群。ECHLPT已显示自动在这种情况下，并在未出版的1992年预印本格斯滕建造了一个双自动结构的圆束双曲曲面，并询问是否同样可以这样做，这些塞弗特纤维3流形。

1994-11-07math.GR

关于CAT(0)三角-平方群的双自动性

On the biautomaticity of CAT(0) triangle-square groups

本研究针对CAT(0)三角-平方群的双自动性问题，构造两个反例说明Gersten-Short测地线无法用于证明相关群的双自动性，同时证明了其中一个复形基本群的双自动性。

2025-10-06math.GR

Garside shadows 和 Coxeter groups 中的 biautomatic 结构

Garside shadows and biautomatic structures in Coxeter groups

McGill University（麦吉尔大学）

本文通过推广Garside shadow的概念，证明了任何有限的Garside shadow可以用于构造Coxeter群的biautomatic结构，并展示了低元素Garside shadow与原始voracious语言的一致性。

2026-02-26math.GR

CAT（0）单纯复形上的群作用

Group Actions on CAT(0) Simplicial Complexes

非正曲空间和双自动群的概念是双曲空间的几何性质和它们的基本群的计算性质的推广。鉴于这些条件的共同起源，人们可以猜想作用于非正曲空间的群是双自动的。虽然传统观点认为反例应该存在，但一些作用于非正弯曲空间的群已经被证明是双自动的。本文通过证明作用在CAT（0）单纯3-复形上的群是双自动群来增加正例列表。

2011-11-13math.GR

映射类群II的几何：一种双自动结构

Geometry of the mapping class group II: A biautomatic structure

有限型非例外定向曲面的映射类群具有双自动结构。

2009-12-01math.GRmath.GT

大型三发电机Artin机组是双自动的

Three-generator Artin groups of large type are biautomatic

本文构造了3-生成元大型Artin群的一个分段欧氏非正曲2-复形。因此，我们表明，这些群体是双自动的。稍微修改的证明表明，许多其他阿廷群也是双自动的。一般性的问题（是否所有的阿廷集团都是双自动的）仍然悬而未决。

1998-09-29math.GRmath.GT

分类空间的算法构造与双自动群的同构问题

On the algorithmic construction of classifying spaces and the isomorphism problem for biautomatic groups

我们证明了同构问题在词双曲群的中心扩张类中是可解的，并且双自动群的同构问题归结为具有有限中心的双自动群的同构问题。我们描述了一个算法，给出了一个任意的有限表示的自动组$Γ$，将构建明确的有限模型为$K(Γ,1)$的Eketa，从而计算积分的同源性和上同调的$Γ$。

2011-02-28math.GRmath.GT

自动群的广义小消去表示

Generalized Small Cancellation Presentations for Automatic Groups

通过Gersten和Short有限表示满足通常的非度量小消去条件的结果，给出了双自动群。我们证明了在所有片段的长度为1的情况下，C（3）-T（6）条件的推广产生了更大的双自动群的集合。

2014-06-28math.GR

相对双曲群的数学性质

Algorithmic Properties of Relatively Hyperbolic Groups

下面的话语是启发工程双曲组爱泼斯坦，和诺依曼/里夫斯。爱泼斯坦表明，几何有限双曲群是双自动的。Neumann/Reeves证明了词双曲群的实际中心扩展是双自动的。我们证明了以下推广：定理。设H是一个几何有限的双曲群。设σ在H ^2（H）中，并假设对H的任何抛物子群P，限制在P上的σ为零。那么H通过sigma的扩张是双自动的。我们还证明了另一个概括的结果爱泼斯坦。定理设G是相对于H的双曲型，具有有界陪集穿透性质.设H是一个双自动群，具有前缀闭正规形。G是双自动的。基于这两个结果，似乎可以合理地猜想以下问题（作者认为可以用第1节中的简单推广证明）：设G是相对于H的双曲，其中H具有前缀闭双自动结构。设sigma在H^2（G）中，并假设限制在H上的sigma为零。则G的sigma扩张是双自动的。

2003-02-20math.GRmath.GT

可公度化 HNN 扩张：分层双曲性与双自动性

Commensurating HNN-extensions: hierarchical hyperbolicity and biautomaticity

本文通过构造在双曲平面与局部有限树乘积上几何作用的 CAT(0) HHG，给出非双自动、平坦秩 2 且单射但非 Helly 的首个反例。

2023-03-02math.GRmath.GT

Hydra群的double不是剩余有限的

Hydra group doubles are not residually finite

2013年，Kharlampovich、Myasnikov和Sapir构造了第一个具有大Dehn函数的剩余有限群的例子。给定任意递归函数$f$，它们产生一个Dehn函数控制$f$的可表示剩余有限群.关于具有超指数Dehn函数的剩余有限群，还没有已知的初等例子. Dison和Riley的Hydra群可以用来构造一个群序列，使得第k个群的Dehn函数等价于第k个Ackermann函数。Kharlampovich，Myasnikov和Sapir问是否这些群体是剩余有限的。我们表明，这些建设不产生剩余有限群。

2015-07-30math.GR

双曲水螅

Hyperbolic hydra

我们给出了双曲群的例子，有限秩自由子群的巨大（阿克曼）失真。

2011-05-08math.GR

Cannon-Thurston映射、子群畸变和双曲九头蛇

Cannon-Thurston maps, subgroup distortion, and hyperbolic hydra

有一类双曲群称为双曲水螅，它包含严重扭曲的自由子群。我们证明了这些自由子群的Cannon-Thurston映射（即子群包含引起的边界的映射）的存在性。已知双曲空间边界之间的Cannon-Thurston映射即使在存在任意重（甚至非递归）失真的情况下也可以存在。双曲Hydra的例子表明，Cannon-Thurston映射可以存在，甚至双曲组边界之间的存在下，任意重的原始递归失真。

2018-06-05math.GR

驯服九头蛇：字问题和极限整数压缩

Taming the hydra: the word problem and extreme integer compression

对于一个群，字问题要求一个算法，该算法声明生成元上的字是否表示同一性。Dehn函数是通过应用定义关系直接攻击字问题的复杂性度量。Dison和Riley表明，“水螅现象”产生了具有极快增长（阿克曼）Dehn函数的新群体。在这里，我们表明，尽管如此，有效率（多项式时间）的解决方案，这些群体的字问题。我们的主要创新是一种有效地计算的手段与巨大的整数表示在压缩形式的字符串的阿克曼函数。

2015-09-08cs.CCmath.GR

由基本算子定义的群的剩余性质

Residual properties of groups defined by basic commutators

本文研究了由基本算子定义的群的剩余零值。我们证明了所谓的Hydra群以及它们的某些推广和等价群，主要是剩余无挠幂零群。作为对比，我们给出了一个由两个基本算子定义的群不是剩余无挠幂零的例子。

2013-08-28math.GR