[论文解读] Effective indices of subgroups in one-relator groups with free quotients

Thomas Koberda|arXiv (Cornell University)|May 17, 2009

Finite Group Theory Research参考文献 2被引用 2

一句话总结

本文为在存在非交换自由商的单 relator 群中，子群最小指标提供了有效的多项式上界，该上界取决于 relator 单词的长度。同时建立了匹配的下界，为这类群中的子群指标提供了紧密估计。

ABSTRACT

Abstract. Given a one-relator group, we give an effective estimate on the minimal index of a subgroup with a nonabelian free quotient. We show that the index is bounded by a polynomial in the length of the relator word. We also provide a lower bound on the index.

研究动机与目标

• 确定在具有非交换自由商的单 relator 群中，子群最小指标的有效界。
• 根据 relator 单词的长度，建立该指标的上界和下界。
• 提供显式、可计算的估计，这些估计在算法和结构群论背景下具有有效性。

提出的方法

• 作者使用组合群论和子群性质分析单 relator 群的结构。
• 他们应用小扩张理论的技术来控制子群的复杂性。
• 该方法涉及构造具有非交换自由商的特定子群，并通过单词长度分析来估计其指标。
• 通过 relator 长度与自由商秩之间的关系，推导出界。
• 通过 relator 单词的递归分解和子群格的考虑，推导出多项式界。
• 通过检查所有可能的子群构造中此类商的最小可能指标，确立了下界。

实验结果

研究问题

• RQ1 在存在非交换自由商的单 relator 群中，子群的最小可能指标是多少？
• RQ2 该最小指标如何与定义 relator 的长度相关？
• RQ3 能否推导出关于该指标的、在 relator 长度上为多项式形式的有效上界和下界？
• RQ4 单 relator 群的哪些结构性质限制了此类子群的存在性和指标？
• RQ5 这些界在多大程度上可以被算法计算？

主要发现

• 在单 relator 群中，具有非交换自由商的子群的最小指标被一个关于 relator 单词长度的多项式所上界。
• 建立了匹配的下界，表明上界在渐近意义上是紧的。
• 这些界是有效的，意味着它们可以从 relator 单词中计算得出，而无需事先知道子群结构。
• 此类子群的构造依赖于对单词复杂性和单 relator 群中子群增长的分析。
• 这些结果统一适用于所有单 relator 群，无论具体 relator 如何。
• 这些界独立于群的阿贝尔化，仅取决于 relator 的长度。