[論文レビュー] 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) が torsion 群であることが示され、したがって有限である。この結果は、ノルム群におけるように、双曲群におけるランク問題や生成問題を 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) が torsion 群であることを示すこと。

提案手法

• F(H) が H のすべての非生成元からなること、すなわち、H = ⟨S⟩ ならば H = ⟨S ∖ {g}⟩ が成り立つような元 g を特徴づける。
• G の有限生成集合 A を固定し、語長距離 d を持つケイリー図 X = Γ(G, A) を考える。X が δ-双曲的であると仮定する。
• Delzant の補題を適用し、特に無限位数の元 g のべきを含む積の幾何を制御する。
• ⟨g⟩ が G において準凸であることから、|g^n|_A ≥ C|n| となるような C > 0 が存在することを示す。
• すべての非自明な h_j の積の長さが T > T₀ 以上になるように保証することで、H の生成集合 Q = {g, h₁, ..., hₜ} を構成し、Q ∖ {g} が H の真部分群であることを示す。
• 双曲幾何およびケイリー図における三角不等式を用いて、{h₁, ..., hₜ} が生成する部分群における非自明な積の語長に下界を確立する。

実験結果

リサーチクエスチョン

• RQ1 語長双曲的群の有限生成部分群の Frattini 部分群が無限である可能性はあるか？
• RQ2 このような部分群における無限位数の元が非生成元に該当するか？
• RQ3 双曲群において Frattini 部分群を用いてランク問題や生成問題をどれほど単純化できるか？
• RQ4 双曲群における極大部分群は主に有限商から引き出されるものか、それともより病理的な性質を持つのか？

主な発見

• 語長双曲的群 G の任意の有限生成部分群 H に対して、Frattini 部分群 F(H) は有限である。
• H の無限位数の元はすべて非生成元にはなり得ないため、F(H) は torsion 群である。
• 双曲群におけるすべての torsion 部分群は有限であるため、F(H) は有限である。
• 構成により、Q ∖ {g} が H の真部分群であることが示され、g ∉ F(H) であることが証明される。
• {h₁, ..., hₜ} が生成する部分群における非自明な要素の語長に一様な下界 T が確立され、それが H 全体ではないことが保証される。
• この結果は、双曲群におけるランク問題や生成問題が、ノルム群とは異なり、Frattini 部分群による商をとることで単純化できないことを示唆する。