[論文レビュー] Intersecting free subgroups in free amalgamated products of two groups with normal finite amalgamated subgroup

Alexander Zakharov|arXiv (Cornell University)|May 12, 2011

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

ひとこと要約

この論文は、正規で有限な埋め込み部分群をもつ自由結合群へのハナ・ニューマン不等式の一般化を試みる。群の因子分解とグラフ論的技法を用いて、因子を含まない部分群の構造を分析し、2つのこのような部分群の交差の減少ランクに対する鋭い上界を確立する。この上界には、埋め込み部分群の位数と、商群における2より大きい最小位数の部分群が含まれる。この上界は、商群に対合を含み、かつ ℤ₂⁎ℤ₂ に同型でない場合、改善不能であることが示されている。

ABSTRACT

We partly generalize the estimate for the rank of intersection of subgroups in free products of groups, proved earlier by S.V.Ivanov and W.Dicks, to the case of free amalgamated products of groups with normal finite amalgamated subgroup. We also prove that the obtained estimate is sharp and cannot be further improved when the amalgamated product contains an involution.

研究の動機と目的

• 埋め込み部分群が有限かつ正規である自由結合群へのハナ・ニューマン不等式の拡張。
• このような結合群における因子を含まない2つの部分群の交差の減少ランクに対する鋭い上界の確立。
• 導出された上界が改善不能となる条件の特定、特に商群に対合を含む場合の条件。

提案手法

• G₁⁎ₜG₂ → G₁/T⁎G₂/T による群の因子分解 φ を用いて、結合群内の部分群と商群の自由積内の部分群を関連付ける。
• Dicks と Ivanov の定理 1（自由積における減少ランクの上界に関するもの）を商群 G₁/T⁎G₂/T に適用する。
• シュライエルの公式を用いて、交差の減少ランクと商群内の部分群の指数との関係を確立する。
• Ψ* グラフを用いたグラフ論的技法を用いて、部分群構造を分析し、上界の鋭さを証明する。
• G₁/T または G₂/T に対合を含み、かつ G₁/T⁎G₂/T ≇ ℤ₂⁎ℤ₂ である場合の具体例の構成により、上界の改善不能性を示す。
• H₁′ ∩ H₂′ : L の指数が |T| で上から抑えられることを検証し、最終的なランク不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 ハナ・ニューマン不等式は、正規で有限な埋め込み部分群をもつ自由結合群へ一般化可能か？
• RQ2 このような結合群における因子を含まない2つの部分群の交差の減少ランクに対する鋭い上界は何か？
• RQ3 導出された上界が改善不能となる条件は何か？
• RQ4 埋め込み部分群の位数 |T| と、G₁/T および G₂/T における2より大きい最小位数の部分群がランク上界に与える影響は何か？
• RQ5 商群に対合を含み、かつ ℤ₂⁎ℤ₂ に同型でない場合、上界は鋭いか？

主な発見

• 正規で有限な T をもつ自由結合群 G₁⁎ₜG₂ における因子を含まない2つの部分群 H₁ と H₂ の交差の減少ランクは、r̄(H₁ ∩ H₂) ≤ 2(q_f^*/(q_f^*−2))|T| r̄(H₁)r̄(H₂) を満たす。
• 上界は鋭く、G₁/T または G₂/T に対合を含み、かつ G₁/T⁎G₂/T ≇ ℤ₂⁎ℤ₂ である場合、改善不能である。
• H₁′, H₂′ を G₁/T⁎G₂/T への因子写像による H₁, H₂ の像とすると、|H₁′ ∩ H₂′ : L| は |T| で上から抑えられる。
• T が自明（つまり G₁⁎G₂ が自由積である）である場合、上界は古典的なハナ・ニューマン不等式に還元される。
• G₁/T⁎G₂/T ≅ ℤ₂⁎ℤ₂⁎ℤ₂ の場合を含む4つの場合における明示的構成により、上界の鋭さが示された。
• 本結果は、Dicks と Ivanov が自由積について行った先行研究を一般化し、ランク不等式の適用範囲をより広いクラスの結合群へ拡張した。