论文标题
递归组的希格曼操作和嵌入
The Higman operations and embeddings of recursive groups
论文作者
论文摘要
在递归组的希格曼嵌入到有限呈现的组中的情况下，我们提出了一种算法，该算法使用希格曼操作来明确构建在嵌入过程中产生的整数序列的特定特定递归列出的集合。这使得Higman嵌入了某些范围的小组的可行任务。引入了特定的辅助操作，以使Higman操作的工作更简单，更直观。此外，提到了可数组的建设性嵌入到2转组中的自动机制。
In the context of Higman embeddings of recursive groups into finitely presented groups we suggest an algorithm which uses Higman operations to explicitly constructs the specific recursively enumerable sets of integer sequences arising during the embeddings. This makes the constructive Higman embedding a doable task for certain wide classes of groups. Specific auxiliary operations are introduced to make the work with Higman operations a simpler and more intuitive procedure. Also, an automated mechanism of constructive embeddings of countable groups into 2-generator groups is mentioned.
