加载中…
Let (resp., ) be the normal closure of a finite symmetrized set (resp., ) of a finitely generated free group . It is well-known that if satisfies the condition C(6), then the conjugacy problem is solvable in . In the present paper we prove that if $R_1\cup R_2<A, \mid R_1,R_2>$ is atorical, then the conjugacy problem is solvable in . In particular, if satisfies the condition C(7) then the conjugacy problem is solvable in .

生成讲解博客的中文版本

生成AI智能校验的中文版本