{"title":"将有限表示的自相似群嵌入有限表示的简单群","authors":"Matthew C. B. Zaremsky","doi":"10.1112/blms.70022","DOIUrl":null,"url":null,"abstract":"<p>We prove that every finitely presented self-similar group embeds in a finitely presented simple group. This establishes that every group embedding in a finitely presented self-similar group satisfies the Boone–Higman conjecture. The simple groups in question are certain commutator subgroups of Röver–Nekrashevych groups, and the difficulty lies in the fact that even if a Röver–Nekrashevych group is finitely presented, its commutator subgroup might not be. We also discuss a general example involving matrix groups over certain rings, which in particular establishes that every finitely generated subgroup of <span></span><math>\n <semantics>\n <mrow>\n <msub>\n <mo>GL</mo>\n <mi>n</mi>\n </msub>\n <mrow>\n <mo>(</mo>\n <mi>Q</mi>\n <mo>)</mo>\n </mrow>\n </mrow>\n <annotation>$\\operatorname{GL}_n(\\mathbb {Q})$</annotation>\n </semantics></math> satisfies the Boone–Higman conjecture.</p>","PeriodicalId":55298,"journal":{"name":"Bulletin of the London Mathematical Society","volume":"57 4","pages":"1150-1159"},"PeriodicalIF":0.8000,"publicationDate":"2025-02-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Embedding finitely presented self-similar groups into finitely presented simple groups\",\"authors\":\"Matthew C. B. Zaremsky\",\"doi\":\"10.1112/blms.70022\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>We prove that every finitely presented self-similar group embeds in a finitely presented simple group. This establishes that every group embedding in a finitely presented self-similar group satisfies the Boone–Higman conjecture. The simple groups in question are certain commutator subgroups of Röver–Nekrashevych groups, and the difficulty lies in the fact that even if a Röver–Nekrashevych group is finitely presented, its commutator subgroup might not be. We also discuss a general example involving matrix groups over certain rings, which in particular establishes that every finitely generated subgroup of <span></span><math>\\n <semantics>\\n <mrow>\\n <msub>\\n <mo>GL</mo>\\n <mi>n</mi>\\n </msub>\\n <mrow>\\n <mo>(</mo>\\n <mi>Q</mi>\\n <mo>)</mo>\\n </mrow>\\n </mrow>\\n <annotation>$\\\\operatorname{GL}_n(\\\\mathbb {Q})$</annotation>\\n </semantics></math> satisfies the Boone–Higman conjecture.</p>\",\"PeriodicalId\":55298,\"journal\":{\"name\":\"Bulletin of the London Mathematical Society\",\"volume\":\"57 4\",\"pages\":\"1150-1159\"},\"PeriodicalIF\":0.8000,\"publicationDate\":\"2025-02-13\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Bulletin of the London Mathematical Society\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1112/blms.70022\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Bulletin of the London Mathematical Society","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1112/blms.70022","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
Embedding finitely presented self-similar groups into finitely presented simple groups
We prove that every finitely presented self-similar group embeds in a finitely presented simple group. This establishes that every group embedding in a finitely presented self-similar group satisfies the Boone–Higman conjecture. The simple groups in question are certain commutator subgroups of Röver–Nekrashevych groups, and the difficulty lies in the fact that even if a Röver–Nekrashevych group is finitely presented, its commutator subgroup might not be. We also discuss a general example involving matrix groups over certain rings, which in particular establishes that every finitely generated subgroup of satisfies the Boone–Higman conjecture.