加载中…
Let be a free group of finite rank. We say that the monomorphism problem in is decidable if for any two elements and in , there is an algorithm that determines whether there exists a monomorphism of that sends to . In this paper we show that the monomorphism problem is decidable and we provide an effective algorithm that solves the problem.

生成讲解博客的中文版本

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