[論文レビュー] On Tarski's problem for virtually free groups

Simon André|arXiv (Cornell University)|Oct 18, 2019

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

ひとこと要約

この論文は、∀∃-論理的同値性の意味で、有限生成でほぼ自由な群の完全な分類を提供し、二つの群が同じ∀∃-理論を持つための必要十分条件を確立している。その条件は、特定のHNN拡大または部分群置換を用いた同型な複数の合法的拡大が存在することに帰着される。この結果により、双曲群の同型性をテストするアルゴリズムと群論的構造不変量を組み合わせることで、有限生成表示から∀∃-論理的同値性を決定可能にするアルゴリズムが得られる。

ABSTRACT

We give a complete classification of finitely generated virtually free groups up to $\forall\exists$-elementary equivalence. As a corollary, we give an algorithm that takes as input two finite presentations of virtually free groups, and decides whether these groups have the same $\forall\exists$-theory or not.

研究の動機と目的

• 有限生成でほぼ自由な群を∀∃-論理的同値性の意味で分類すること。
• 二つの群が同じ∀∃-理論を持つための必要十分条件を特定すること。
• 有限群表示に基づいて∀∃-論理的同値性を決定する手続きを開発すること。
• 双曲群理論からの技法を、特に一階論理と量化子除去の文脈において、ほぼ自由な群へと拡張すること。

提案手法

• 有限グラフの有限群としてのほぼ自由群の特徴づけを用いて、有限部分群の正規化群と中心化群を分析する。
• 「合法的大きな拡大」を、正規化群が非初等的で、中心化群が部分群と等しい有限部分群へのHNN拡大として定義する。
• 「合法的小さな拡大」を、K_G-良い埋め込みを用いて、ほぼ巡回部分群をその上位群に置き換える操作として定義する。
• 有限部分群に対して合法的大きな拡大と合法的小さなの拡大を繰り返し適用することで、群の複数の合法的拡大を構成する。
• 二つの入力群の構成された拡大同士の同型性をテストするために、[DG11]の主要な同型性アルゴリズムを適用する。
• ∀∃-論理的同値性と、有界な複雑度の∃∀文の相互満たしの間の同値性を用いて、理論的同値性をアルゴリズム的に検証する。

実験結果

リサーチクエスチョン

• RQ1 二つの有限生成でほぼ自由な群が同じ∀∃-理論を持つのはいつか？
• RQ2 どのような構造的変形が、ほぼ自由な群における∀∃-論理的同値性を保つのか？
• RQ3 有限群表示から、∀∃-論理的同値性が決定可能か？
• RQ4 ねじれ要素と有限部分群の正規化群は、ほぼ自由な群の∀∃-理論にどのように影響を与えるか？
• RQ5 HNN拡大と部分群置換は、∀∃-論理的同値性の特徴づけにおいて果たす役割は何か？

主な発見

• 二つの有限生成でほぼ自由な群が∀∃-論理的同値であるための必要十分条件は、それらが合法的大きな拡大と合法的小さなの拡大を用いて同型な複数の合法的拡大を持つことである。
• 二つの有限群表示が同じ∀∃-理論を定義するかどうかを決定する決定可能アルゴリズムが存在し、その根拠は構成された拡大の同型性テストに依存する。
• 構成における必要な合法的拡大の数は、群の有限部分群の共役類、正規化群のランク、最大有限部分群の位数の関数として、計算可能関数で有界である。
• 分類の結果、co-Hopfianなほぼ自由群は、互いに同型でない限り、論理的に同値でないことが明らかになった。これは、非co-Hopfianな場合とは明確な対比をなす。
• 結果は双曲群へと拡張可能であり、双曲群の論理的同値性分類への広範な応用可能性を示唆している。
• ∃∀-論理的埋め込みの存在は、同じ拡大構成によって特徴づけられ、単なる理論的同値性よりも強い論理的埋め込みを提供する。