[論文レビュー] Classification of normally and finitely non-co-Hopfian groups

Wouter van Limbeek|arXiv (Cornell University)|Oct 5, 2017

Geometric and Algebraic Topology参考文献 9被引用数 4

ひとこと要約

この論文は、自身と同型な真の正規有限指数部分群の降下鎖を持つ有限生成群を分類し、それが自由アーベル商からのプルバックによって、有限指数の差異を除いて得られることを証明する。この結果を応用して、自身と同型な特徴的有限指数部分群がアーベル化から引き上げられることを示し、正規部分群に関するスケール不変性予想の特殊ケースを証明する。

ABSTRACT

A group G is (finitely) co-Hopfian if it does not contain any proper (finite-index) subgroups isomorphic to itself. We study finitely generated groups G that admit a descending chain of proper normal finite-index subgroups, each of which is isomorphic to G. We prove that up to finite index, these are always obtained by pulling back a chain of subgroups from a free abelian quotient. We give two applications: First, we show any characteristic proper finite-index subgroup isomorphic to G arises by pulling back a finite-index subgroup of the abelianization, and secondly, we prove special cases (for normal subgroups) of conjectures of Benjamini and Nekrashevych--Pete regarding the classification of scale-invariant groups.

研究の動機と目的

• 自身と同型な真の正規有限指数部分群の降下鎖を持つ有限生成群を分類すること。
• そのような部分群の構造的起源を、アーベル化の部分群と関連付けることによって理解すること。
• 自身と同型な特徴的有限指数部分群が、アーベル化からのプルバックとして生じることを確立すること。
• ベンジャミンとネクラシェヴィッチ–ピートによるスケール不変性予想の特殊ケースを、正規部分群に焦点を当てて証明すること。

提案手法

• アーベル化の構造を用いて、自由アーベル商からの部分群のプルバックを構成する。
• 群論的技法を適用して、このような鎖がアーベル化の部分群によって、有限指数の差異を除いて決定されることを示す。
• 自身と同型な任意の特徴的有限指数部分群が、アーベル化の有限指数部分群のプルバックとして生じることを確立する。
• 構造的結果を応用して、正規部分群に関するスケール不変性予想の特殊ケースを検証する。
• コホープおよび有限指数部分群の性質を用いて、可能な群構造を制約する。

実験結果

リサーチクエスチョン

• RQ1 有限生成群 G が自身と同型な真の正規有限指数部分群の降下鎖を持つとき、その構造的起源は何か？
• RQ2 G の自身と同型な特徴的真の有限指数部分群は、すべて G のアーベル化からのプルバックとして実現可能か？
• RQ3 このような群は、ベンジャミンとネクラシェヴィッチ–ピートが提唱したスケール不変性性質をどの程度満たすか？
• RQ4 アーベル化の性質は、G における同型な有限指数正規部分群の存在および分類にどのように影響するか？

主な発見

• 自身と同型な真の正規有限指数部分群の降下鎖を持つ任意の有限生成群 G は、G の自由アーベル商からのプルバックによって、有限指数の差異を除いて得られる。
• G の自身と同型な特徴的真の有限指数部分群は、すべて G のアーベル化の有限指数部分群のプルバックとして生じる。
• 本論文は、ベンジャミンとネクラシェヴィッチ–ピートによるスケール不変性群に関する予想の特殊ケースを証明しており、特に正規部分群に焦点を当てている。
• このような群の分類は、自由アーベル商の部分群構造によって、有限指数の差異を除いて完全に決定される。