[论文解读] 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-自由群 H 中，使得 H 在 Z^n-树上作用正则，同时保持 G 的作用。当 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-词群。

提出的方法

• 该构造通过添加生成元和关系，系统性地将群 G 扩展为更大的群 H，以确保其在 Z^n-树上的作用正则。
• 该方法依赖于 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-完备化群 H，其在 Z^n-树上作用正则。
• G 在 Z^n-树上的作用在嵌入 H 后得以保持。
• 当 G 以 Z^n-词群有效表示时，完备化群 H 同样可有效表示为 Z^n-词群。
• H 的构造是算法性的，且保持了原始群的 Z^n-自由性与有限生成性。