[論文レビュー] A criterion for residual $p$-finiteness of arbitrary graphs of finite $p$-groups

Gareth Wilkes|arXiv (Cornell University)|Oct 31, 2018

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

ひとこと要約

本稿では、任意の有限または無限のp-群のグラフの基本群の残余p-有限性に関する新しい基準を、頂点群および辺群における主要系列の条件を用いて確立する。証明はBass–Serre理論を活用し、群の木への作用を分析することで、問題をより単純な主要系列を持つp指数の正規部分群に還元し、帰納法とグラフの群の基本群の普遍性を用いて、最終的に残余p-有限性を示す。

ABSTRACT

Abstract We establish conditions under which the fundamental group of a graph of finite p -groups is necessarily residually p -finite. The technique of proof is independent of previously established results of this type, and the result is also valid for infinite graphs of groups.

研究の動機と目的

• 本稿の目的は、任意の有限p-群のグラフの基本群に対する残余p-有限性の一般基準を確立することである。
• 従来の結果が有限グラフに限られたり、 wreath 積構成に依存していたという制限を克服することである。
• 有限および無限の両方のグラフの群に対して有効な統一的で直接的な証明を提供することである。
• HigmanおよびChatzidakisの結合積およびHNN拡大に関する結果を、任意のグラフの群へ一般化することである。
• 群の双対Bass–Serre木への作用に関して不変である主要系列条​​件を用いて、残余p-有限性を特徴付けることである。

提案手法

• 証明はBass–Serre理論を用いて、主要系列条件を双対Bass–Serre木への作用に翻訳する。
• 木における各点安定化子に対して、群の共役に関して不変である（条件I'）主要系列を定義する。
• 各辺写像および共役と可換する写像の族 ψ(k)_z: γ(k)(G(z)) → F_p を導入する（条件II'）。
• 基本群Gは、F_p への準同型 Φ を通じて写像され、その核Hはp指数の正規部分群である。
• Hの木への作用は、主要系列の長さが1つ短くなった新たなグラフの群の分解を誘導し、帰納法が可能になる。
• 主系列の長さに関する帰納法を用い、補題2によりHの残余p-有限性をGへと持ち上げる。

実験結果

リサーチクエスチョン

• RQ1 任意の有限p-群のグラフの基本群が、どのような条件下で残余p-有限になるか？
• RQ2 wreath 積構成に依存せずに、頂点群および辺群における主要系列条件が残余p-有限性を保証できるか？
• RQ3 グラフの群の理論を無限グラフに拡張する際、残余p-有限性を保つにはどうすればよいか？
• RQ4 双対Bass–Serre木は、残余p-有限性の均一な基準を定式化するために果たす役割は何か？
• RQ5 頂点群および辺群の主要商へのF_p上の整合的な準同型写像の観点から、残余p-有限性を特徴づけることは可能か？

主な発見

• 任意の有限p-群のグラフの基本群は、定理4の条件(I)および(II)を満たす、すべての頂点群および辺群における整合的な主要系列が存在する場合に限り、残余p-有限である。
• 証明はwreath 積構成に依存せず、有限および無限の両方のグラフの群に適用可能である。
• 基準は、双対Bass–Serre木におけるG-不変主要系列および主要商へのF_pへの整合的写像の観点から再定式化される。
• 準同型 Φ: G → F_p の核は、p指数の正規部分群Hであり、その誘導されたグラフの群の分解は、長さが1つ短くなった同じ主要系列条件を満たす。
• 主系列の長さに関する帰納法により、Hは残余p-有限である。H ⊳p G であるから、補題2によりGも残余p-有限である。
• 任意の非自明な元 g ∈ G に対して、有限部分グラフを用いてG(N)_xで商をとることで、有限の場合に還元され、この場合に基準が適用可能になる。