We consider a specific method for embedding a countable group that is given by generators and relations into some 2-generated group. This embedding enables us to express the images of generators of the countable group in the 2-generated group and explicitly deduce from the defining relations of the latter those of the former which inherit some special properties. The method can be used to construct the explicit embeddings of recursive groups into finitely presented groups.

中文翻译：

---

通用词在第2级免费组中确定的嵌入

我们考虑一种将生成器和关系给出的可数组嵌入到某些2生成组中的特定方法。这种嵌入使我们能够表达2生成组中可数组生成器的图像，并从后者的定义关系中明确推断出前者继承了一些特殊属性。该方法可用于将递归组的显式嵌入构造成有限表示的组。