Mihailova子群的递归表示
A recursive presentation for Mihailova's subgroup
摘要：
我们给出了一个明确的递归介绍Mihailova的子群$M(H)$的$F_n \times F_n$对应的有限，简洁和Peiffer非球面介绍$H=< x_1,..., x_n \mid R_1,..., R_m>$。这部分回答了R. I. Grigorchuk，[8，Problem 4.14].作为推论，我们构造了$Aut(F_3)$的一个递归生成的递归表示轨道不可判定子群。
英文摘要：
We give an explicit recursive presentation for Mihailova's subgroup $M(H)$ of $F_n \times F_n$ corresponding to a finite, concise and Peiffer aspherical presentation $H=< x_1,..., x_n \mid R_1,..., R_m>$. This partially answers a question of R.I. Grigorchuk, [8, Problem 4.14]. As a corollary, we construct a finitely generated recursively presented orbit undecidable subgroup of $Aut(F_3)$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
