[论文解读] The Frattini subgroup for subgroups of hyperbolic groups

Ilya Kapovich|ArXiv.org|Dec 31, 2001

Geometric and Algebraic Topology参考文献 15被引用 3

一句话总结

本文证明了对于任意词超曲群 G 的有限生成子群 H，其 Frattini 子群 F(H) 是有限的。证明使用了几何群论技术，包括双曲几何、拟凸性以及 Delzant 引理，表明 H 中任意无限阶元素都不能是非生成元，从而确立 F(H) 是幂零群，因此是有限的。该结果意味着在超曲群中，无法像在幂零群中那样通过 Frattini 子群简化秩问题或生成问题。

ABSTRACT

We prove that for a finitely generated subgroup $H$ of a word-hyperbolic group $G$ the Frattini subgroup $F(H)$ of $H$ is finite.

研究动机与目标

• 确立任意词超曲群 G 的有限生成子群 H 的 Frattini 子群 F(H) 是有限的。
• 证明在超曲群中，Frattini 子群无法像在幂零群中那样简化秩或生成问题。
• 分析超曲群中极大子群的结构，特别是那些不来自有限商的极大子群。
• 表明 H 中无限阶元素不能是非生成元，从而说明 F(H) 是幂零群。

提出的方法

• 使用 F(H) 由所有非生成元构成的刻画，即元素 g 满足：若 H = ⟨S⟩，则 H = ⟨S ∖ {g}⟩。
• 固定 G 的一个有限生成集 A，并考虑其 Cayley 图 X = Γ(G, A) 及其字度量 d，假设 X 是 δ-双曲的。
• 应用 Delzant 引理以控制 H 中元素乘积的几何性质，特别是涉及无限阶元素 g 的幂的乘积。
• 利用 ⟨g⟩ 在 G 中的拟凸性，建立线性增长不等式 |g^n|_A ≥ C|n|，其中 C > 0。
• 构造 H 的一个生成集 Q = {g, h₁, ..., hₜ}，使得 Q ∖ {g} 生成 H 的真子群，方法是确保所有非平凡的 h_j 乘积长度 ≥ T > T₀。
• 利用双曲几何和 Cayley 图中的三角不等式，建立 h_j 中非平凡乘积的字长下界。

实验结果

研究问题

• RQ1 词超曲群的有限生成子群的 Frattini 子群是否可能为无限？
• RQ2 此类子群中的无限阶元素是否可作为非生成元？
• RQ3 Frattini 子群在多大程度上可用于简化超曲群中的秩或生成问题？
• RQ4 超曲群中的极大子群是否主要来自有限商的拉回，还是具有更病态的性质？

主要发现

• 任意词超曲群 G 的有限生成子群 H 的 Frattini 子群 F(H) 是有限的。
• H 中任意无限阶元素都不能是非生成元，因此 F(H) 是幂零群。
• 由于超曲群中所有幂零子群都是有限的，因此 F(H) 是有限的。
• 构造表明 Q ∖ {g} 生成 H 的真子群，从而证明 g ∉ F(H)。
• 证明建立了一个关于 {h₁, ..., hₜ} 生成子群中非平凡元素字长的统一下界 T，确保该子群不等于 H。
• 该结果意味着在超曲群中，无法像在幂零群中那样通过商掉 Frattini 子群来简化秩和生成问题。