[论文解读] Groups with free regular length functions in Z^n

Olga Kharlampovich, Alexei Miasnikov+2 more|ArXiv.org|Jul 14, 2009

Finite Group Theory Research被引用 5

一句话总结

本文通过引入值域为 $ℤ^n$ 的稳健的正则自由长度函数框架，对作用在 $ℤ^n$-树上的有限生成群进行了完整的代数刻画。关键贡献在于通过 HNN-扩张和预群理论的结构，给出了此类作用的充要条件，表明诱导的长度函数是正则的，当且仅当该群源于具有相容中心化子和附着元素的特定 HNN 扩张。

ABSTRACT

This is the first paper in a series of three where we take on the unified theory of non-Archimedean group actions, length functions and infinite words. Our main goal is to show that group actions on Z^n-trees give one a powerful tool to study groups. All finitely generated groups acting freely on -trees also act freely on some Z^n-trees, but the latter ones form a much larger class. The natural effectiveness of all constructions for $Z^n-actions (which is not the case for R-trees) comes along with a robust algorithmic theory. In this paper we describe the algebraic structure of finitely generated groups acting freely and regularly on Z^n-trees and give necessary and sufficient conditions for such actions.

研究动机与目标

• 开发非阿基米德群作用、长度函数与无限词的统一理论，以 $ℤ^n$-树作为基础结构。
• 通过研究带有词典序的 $ℤ^n$-树上的作用，将 Bass-Serre 理论从 $ℤ$-树和 $ℝ$-树推广。
• 为有限生成群在 $ℤ^n$-树上自由且正则地作用提供充要条件。
• 建立正则自由长度函数与具有循环约化中心化子的 HNN-扩张之间的联系。
• 为通过 $ℤ^n$-作用建立群的算法与几何理论奠定基础，推广 Rips 机理与 Makanin-Razborov 方法。

提出的方法

• 引入值域为 $ℤ^n$ 的群上的正则长度函数概念，推广 Lyndon 的长度函数公理化方法。
• 使用预群理论与通用群构造 $U(P)$，将群元素建模为预群词的序列。
• 在 $ℤ[t]$-模上应用 CDR（可交换分解关系）构造，以定义 HNN-扩张中元素的规范形。
• 运用 Britton 引理与约化的 $P$-序列，证明从 $H^*$ 到 $G$ 的诱导同态的单射性，从而确保同构。
• 定义极小生成集，并使用无限词的初等变换分析 $ℤ^n$-自由群的结构。
• 建立正则自由长度函数与具有相容附着元素和中心化子的 HNN-扩张之间的对应关系。

实验结果

研究问题

• RQ1 作用在 $ℤ^n$-树上且自由正则的有限生成群的代数结构是什么？
• RQ2 一个群在 $ℤ^n$ 上具有自由正则长度函数的充要条件是什么？
• RQ3 如何通过诱导长度函数在 $ℤ^n$ 上的正则性来刻画 HNN-扩张？
• RQ4 无限词与预群结构在多大程度上捕捉了 $ℤ^n$ 上长度函数的正则性与完备性？
• RQ5 长度函数的正则性与 HNN-扩张中中心化子和附着元素的结构有何关联？

主要发现

• 有限生成群 $G$ 自由正则地作用在 $ℤ^n$-树上，当且仅当它同构于与特定 HNN 扩张相关的预群 $P$ 的通用群 $H^*$。
• 由同构 $ heta: H^* o G$ 诱导的自由长度函数 $L: G o ℤ^{n+1}$ 是正则的，当且仅当 HNN 扩张满足极小生成集与相容附着元素的条件。
• $\theta: H^* \to G$ 定义为 $\theta(g \bullet s^\nu \bullet h) = \theta(g) z^\nu \theta(h)$，可延拓为同构，从而证明 $G \to H^*$ 是双射。
• 当 $g$ 与 $h$ 的公共前缀 $c$ 可分解为 $H^*$ 中的前缀与 $H$ 中的正则部分时，换言之，$\text{com}(g,h)$ 属于 $H^*$，从而确保长度函数的正则性。
• 在 $H^*$ 中元素的规范形确保约化的 $P$-序列映射到 $G$ 中的非平凡元素，结合 Britton 引理，可推出同态的单射性。
• $ℤ^n$-自由群的结构完全由预群 $P$ 与 $ℤ[t]$-模上的 CDR 构造决定，从而实现了对这类群的完全分类。