具有可判定字问题的群的简单F∞超群
Simple F∞ overgroups of groups with decidable word problem
OpenAI 数学仓库收录的研究手稿。展开查看英文摘要，或标记后让我进一步解释。
具体内容
稿件声称证明每个有限生成且字问题可判定的群都可嵌入一个F∞型简单群，从而解决Boone–Higman猜想的高阶有限性加强版本。当前收录摘要未给出构造细节或证明思路。若成立，该结果将把可判定字问题与高阶有限性性质联系起来，对几何群论和算法群论有潜在意义。该手稿为AI产生，尚未经独立审查或同行评议。
- 声称每个有限生成且字问题可判定的群嵌入一个简单群。
- 嵌入目标群具有F∞型，即高阶有限性性质。
- 作者称这解决了Boone–Higman猜想的高阶有限性加强版。
AI 产生的研究手稿；收录不表示已完成独立审查或同行评议。
英文原始摘要
Every finitely generated group with decidable word problem embeds in a simple group of type F∞. This resolves the higher-finiteness strengthening of the Boone–Higman conjecture.
用户标记：未标记
固定编号：2648e471f764c47b
原文来源