arXivDaily arXiv每日学术速递 周一至周五更新
arXiv math/9605204math.GR
收藏

自由Q群中的方程

Equations in a free Q-group

Olga Kharlampovich, Alexey Myasnikov

摘要:

本文研究了群的张量完备化的结合环,这是由R.Lyndon和G.Baumslag在20世纪60年代提出的。主要结果指出,存在一个算法,决定是否一个给定的有限方程组在一个自由的${\bf Q}$ -组有一个解决方案,如果它,找到一个解决方案。这个命题可以推广到无挠双曲群的${\bf Q}$ -完备化。我们的证明显着使用的技术字双曲群和E.瑞普斯和Z.塞拉的结果的可解性方程组的双曲群。

英文摘要:

In this work we investigate tensor completions of groups by associative rings, which were introduced by R.Lyndon and G.Baumslag in 1960s. The main result states that there exists an algorithm that decides if a given finite system of equations over a free ${\bf Q}$-group has a solution, and if it does, finds a solution. This statement can be generalized for ${\bf Q}$-completions of torsion-free hyperbolic groups. Our proof significantly uses the techniques of word hyperbolic groups and the results of E.Rips and Z.Sela on the solvability of systems of equations in hyperbolic groups.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑