一个通用的F∞型群
A universal group of type F∞
OpenAI 数学仓库收录的研究手稿。展开查看英文摘要，或标记后让我进一步解释。
具体内容
稿件构造了一个单一的F∞型群，作者声称它包含每个有限呈现群，且其有限生成子群在同构意义下恰好是所有有限生成递归呈现群。摘要表示这回答了Higman嵌入问题的F∞形式。该结果属于几何群论与可计算群论，若成立将统一嵌入有限呈现群与递归呈现群的框架；但作为AI产生的研究手稿，尚未经独立审查或同行评议。
- 构造单一F∞型群，作者声称包含每个有限呈现群
- 其有限生成子群同构类恰为有限生成递归呈现群
- 摘要表示回答Higman嵌入问题的F∞形式
AI 产生的研究手稿；收录不表示已完成独立审查或同行评议。
英文原始摘要
We construct a single group of type F∞ containing every finitely presented group. Its finitely generated subgroups, up to isomorphism, are exactly the finitely generated recursively presented groups. This answers the F∞ form of the higher-dimensional Higman embedding question.
用户标记：未标记
固定编号：4f7929b0fbc7bebb
原文来源