[論文レビュー] Regular completions of Z^n-free groups

Olga Kharlampovich, Alexei Miasnikov+1 more|arXiv (Cornell University)|Aug 22, 2012

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

ひとこと要約

この論文は、任意の有限生成 Z^n-自由群 G を、Z^n-木上で正則に作用するより大きな有限生成 Z^n-自由群 H に埋め込む方法を提示する。G が Z^n-語として表現される場合、H の語表現も有効に得られる。

ABSTRACT

In the present paper we continue studying regular free group actions on Z^n-trees. We show that every finitely generated Z^n-free group G can be embedded into a finitely generated Z^n-free group H acting regularly on the underlying Z^n-tree (we call H a regular Z^n-completion of G) so that the action of G is preserved. Moreover, if G is effectively represented as a group of Z^n-words then the construction of H is effective and H is effectively represented as a group of Z^n-words.

研究の動機と目的

• 有限生成 Z^n-自由群を、Z^n-木上で正則に作用するより大きな Z^n-自由群に埋め込むための方法を開発すること。
• 埋め込みが元の群の Z^n-木上の作用を保存すること。
• 元の群が Z^n-語として与えられる場合に、有効な構成を提供すること。
• 得られる完成化群 H が、Z^n-語の群として有効に表現可能であることを示すこと。

提案手法

• Z^n-木上の作用の正則性を保つために、生成子と関係式を追加することで、群 G をより大きな群 H に体系的に拡張する。
• Z^n-木の構造と Z^n-自由群の性質に依拠し、弧の安定化が自明である自由作用を維持する。
• G が Z^n-木上で作用する方法が、H における像と同型になるように埋め込みを設計する。これにより、元の力学的構造が保存される。
• G が Z^n-語の群として与えられる場合、構成は有効である。つまり、H の語問題が解き可能であり、H は計算可能な提示を持つ。
• H が有限生成であり、かつ Z^n-自由のままであることを保証する。これにより、必要な代数的・幾何的制約を満たす。

実験結果

リサーチクエスチョン

• RQ1 任意の有限生成 Z^n-自由群は、Z^n-木上で正則に作用する Z^n-自由群に埋め込めるか？
• RQ2 元の群が Z^n-語の群として与えられる場合、そのような埋め込みは有効か？
• RQ3 得られる完成化群 H は、Z^n-語の群として有効に表現可能か？
• RQ4 この構成は、元の群の Z^n-木上の作用を保存するか？

主な発見

• 任意の有限生成 Z^n-自由群 G は、Z^n-木上で正則に作用する正則な Z^n-完成化 H を持つ。
• G が Z^n-木上で作用する方法は、H への埋め込みにおいても保存される。
• G が Z^n-語の群として有効に表現される場合、完成化 H に対しても Z^n-語の群としての有効な表現が可能である。
• H の構成はアルゴリズム的であり、元の群の Z^n-自由性と有限生成性を保つ。